第3章整数线性规划.ppt

第3章 整数线性规划 整数线性规划问题 Gomory割平面方法 分枝定界方法 0-1规划 §3.1 整数线性规划问题 引例——建立整数线性规划模型 整数线性规划的数学模型 整数线性规划问题的求解 应用案例 投资组合问题 旅游售货员问题 背包问题 投资组合问题 背 景 实 例 模 型 背 景 证券投资：把一定的资金投入到合适的有价证券上以规避风险并获得最大的利润。 项目投资：财团或银行把资金投入到若干项目中以获得中长期的收益最大。 案 例 某财团有 万元的资金，经出其考察选中 个投资项目，每个项目只能投资一个。其中第 个项目需投资金额为 万元，预计5年后获利 （ ）万元，问应如何选择项目使得5年后总收益最大？ 模 型 变量—每个项目是否投资 约束—总金额不超过限制 目标—总收益最大 旅游售货员问题 背景 案例 模型 背 景 旅游线路安排 预定景点走且只走一次 路上时间最短 配送线路—货郎担问题 送货地到达一次 总路程最短 案 例 有一旅行团从 出发要遍游城市 ，已知从 到 的旅费为 ，问应如何安排行程使总费用最小？ 模 型 变量—是否从i第个城市到第j个城市 约束 每个城市只能到达一次、离开一次 避免出现断裂 每个点给个位势 除了初始点外要求前点比后点大 目标—总费用最小 背包问题 背景 案例 模型 背 景 邮递包裹 把形状可变的包裹用尽量少的车辆运走 旅行背包 容量一定的背包里装尽可能的多的物品 实 例 某人出国留学打点行李，现有三个旅行包，容积大小分别为1000毫升、1500毫升和2000毫升，根据需要列出需带物品清单，其中一些物品是必带物品共有7件，其体积大小分别为400、300、150、250、450、760、190、（单位毫升）。尚有10件可带可不带物品，如果不带将在目的地购买，通过网络查询可以得知其在目的地的价格（单位美元）。这些物品的容量及价格分别见下表，试给出一个合理的安排方案把物品放在三个旅行包里。 问题分析 变量—对每个物品要确定是否带同时要确定放在哪个包裹里，如果增加一个虚拟的包裹把不带的物品放在里面，则问题就转化为确定每个物品放在哪个包裹里。如果直接设变量为每个物品放在包裹的编号，则每个包裹所含物品的总容量就很难写成变量的函数。为此我们设变量为第i个物品是否放在第j个包裹中 约束 目标函数—未带物品购买费用最小 模 型 割平面算法 算法思想 算法步骤 算例 算 法 思 想 由放松问题的可行域向整数规划的可行域逼近 方法—利用超平面切除 要求 整数解保留 放松问题最优值增加 割平面生成方法 条件--保留整数解删除最优解 算 法 步 骤 问题P和P0的关系： ?P的可行区域是P0的可行区域的子集； ?如果P0无可行解，则P无可行解； ?P0的最优值是P的最优值的一个下界； ?若P0的最优解为整数向量，则它也是P的最优解； （P） （p0） 整数可行解 最优基可行解 正则解 求放松问题的 最优基可行解 判断是否 为整数解 是停止 得到最优解 否 在单纯性表中加入 一列利用对偶单纯 性算法求最优解 算 例 (1,1.5) §3.3 分枝定界方法 分枝定界方法的基本思想 分枝定界方法的实现——例题 1 分枝定界方法的基本思想 ?如果松弛问题(P0)无解，则(P)无解； ?如果(P0)的解为整数向量，则也是(P)的解； ?如果(P0)的解含有非整数分量，则对问题分枝：将ILP问题(P)分为几个子问题，试图做到：要么找到某个子问题的最优解，要么判断原问题(P)的最优解一定不在子问题的可行区域内。 2 分枝定界方法的实现——例题 例： 0 x1 x2 x0 x1 x2 x3 x5 例： 解：1、先解其松弛问题： 易得其最优解为(3/2,5/2),最优值为-4 2、由于最优解为非整向量，取非整分量x1=3/2,引进两个约束 (它们将x1=3/2排除在外)，得到两个子问题： 3、分别解这两个子问题的松弛问题： 最优解为(1,3/2), 最优值为-5/2 最优解为(2,3/2), 最优值为-7/2 均需进一步分枝，称为“活点” 接下来怎么做？ 4、选取目标函数较优(-7/2)的那个点先分枝 (即第二个子问题)，引进 得： 5、解这两个子问题的松弛问题： 最优解为(2.25,1), 最优值为-3.25 无解 树叶 继续分枝 接下来呢？ 6、对第一个子问题继续分枝，引进约束条