运筹学-第3版-课件-第3章 整数线性规划.ppt

整数线性规划问题 整数线性规划算法 计算软件 应用案例 §3.1 整数线性规划问题 整数线性规划的模型分类 纯整数规划模型 0-1整数规划模型 混合整数规划模型 实例 例3.1.1 投资决策问题 例3.1.3 旅行售货员问题 其他 背包问题 解整数线性规划的困难性 纯整数规划模型 0-1整数规划模型 混合整数规划模型 某财团有 万元的资金，经出其考察选中 个投资项目，每个项目只能投资一个。其中第 个项目需投资金额为 万元，预计5年后获利 （ ）万元，问应如何选择项目使得5年后总收益最大？ 变量—每个项目是否投资 约束—总金额不超过限制 目标—总收益最大 例3.1.3 旅行售货员问题（TSP） 旅游线路安排 预定景点走且只走一次 路上时间最短 配送线路—货郎担问题 送货地到达一次 总路程最短 例3.1.3 旅行售货员问题 有一旅行团从 出发要遍游城市 ，已知从 到 的旅费为 ，问应如何安排行程使总费用最小？ 3.分析： 变量—是否从i第个城市到第j个城市 约束—每个城市只能到达一次、离开一次 背包问题 背景 案例 模型 背 景 邮递包裹 把形状可变的包裹用尽量少的车辆运走 旅行背包 容量一定的背包里装尽可能的多的物品 某人出国留学打点行李，现有三个旅行包，容积大小分别为1000毫升、1500毫升和2000毫升，根据需要列出需带物品清单，其中一些物品是必带物品共有7件，其体积大小分别为400、300、150、250、450、760、190、（单位毫升）。尚有10件可带可不带物品，如果不带将在目的地购买，通过网络查询可以得知其在目的地的价格（单位美元）。这些物品的容量及价格分别见下表，试给出一个合理的安排方案把物品放在三个旅行包里。 问题分析 变量—对每个物品要确定是否带同时要确定放在哪个包裹里，如果增加一个虚拟的包裹把不带的物品放在里面，则问题就转化为确定每个物品放在哪个包裹里。如果直接设变量为每个物品放在包裹的编号，则每个包裹所含物品的总容量就很难写成变量的函数。为此我们设变量为第i个物品是否放在第j个包裹中 约束 目标函数—未带物品购买费用最小 模 型 与线性规划的关系： 最优解不一定在顶点上达到 最优解不一定是松弛问题最优解的邻近整数解 整数可行解远多于松弛问题的顶点，枚举法不可取 解ILP问题要远难于解松弛的LP问题 如果松弛的LP问题无解，显然原ILP问题无解。反之，不一定成立。 如果松弛的LP问题无界呢？可以证明原ILP问题也无界 整数线性规划算法 §3.2 Gomory割平面算法 §3.3 分支定界算法 近似算法 §3.2 Gomory割平面算法 1. 算法的基本思想： 由松弛问题的可行域向整数规划的可行域逼近 方法—利用超平面切除 要求 整数解保留 松弛问题最优值增加 割平面生成方法 条件--保留整数解删除最优解!! 下面是求松弛问题的最后一张单纯形表： 算 法 步 骤 §3.3 分支定界法 1. 算法思想 隐枚举法 求解松弛问题 条件--保留整数解删除最优解!! 下面是求松弛问题的最后一张单纯形表： 2. 分支的方法: 3. 分支方法的示意图: 定 界 当前得到的最好整数解的目标函数值 分支后计算松弛的线性规划的最优解 整数解且目标值小于原有最好解的值则替代原有最好解 整数解且目标值大于原有最好解的值则 删除该分支其中无最优解 非整数解且目标值小于原有最好解的值则继续分支 非整数解且目标值大于等于原有最好解的值则删除该分支其中无最优解 算 例 注 释 求解混合整数规划问题，只对整数变量分支，对非整数变量不分支。 对0-1整数规划分支时 计 算 软 件 整数变量定义 LinDo 一般整数变量:GIN Variable 0-1整数变量: INT Variable LinGo 一般整数变量: @GIN( variable_name); 0-1整数变量：@BIN( variable_name); 算例 算 例 max 3 x1+5 x2+4 x3 subject to 2 x1+3 x2=1500 2 x2+4 x3=800 3 x1+2 x2 +5 x3=2000 end gin x1 gin x3 应用案例分析 人力资源分配问题 应急设施选址问题 人力资源分配问题 某个中型百