第4章整数线性规划.pptVIP

* 整数规划是数学规划的一个重要分支, 可分为: 纯整数规划(所有变量都限制为整数)、混合整数规划(一部分变量限制为整数)、0-1规划(所有变量都限制取0或1). 本章讨论纯整数线性规划(ILP)及解此规划的割平面法和分枝定界法；分配问题与匈牙利算法. 4.1 整数规划的特点及作用 4.2 分配问题与匈牙利算法 4.3 分枝定界法 4.4 割平面法 第4章 整数规划与分配问题 §4.1 整数规划的特点及作用 4.1.1 整数规划的模型分类 纯整数规划模型 0-1整数规划模型 混合整数规划模型 4.1.2 实例 投资决策问题 背包问题 4.1.3 解整数线性规划的困难性 4.1.4 逻辑变量在建模中的作用 纯整数规划模型 0-1整数规划模型 混合整数规划模型 4.1.1 整数规划的模型分类 (1)投资组合问题 1.问题 某财团有B万元的资金, 经出其考察选中n个投资项目, 每个项目只能投资一个. 其中第j 个项目需投资金额为bj万元, 预计5年后获利cj万元, 问应如何选择项目使得5年后总收益最大？ 变量 约束 目标 2.分析 3. 数学模型 4.1.2 实例 略 —总金额不超过限制 —总收益最大 1.背景 邮递包裹 把形状可变的包裹用尽量少的车辆运走 旅行背包 容量一定的背包里装尽可能的多的物品 (2)背包问题 某人出国留学打点行李, 现有三个旅行包, 容积大小分别为1000毫升、1500毫升和2000毫升, 根据需要列出需带物品清单, 其中一些物品是必带物品共有7件, 其体积大小分别为400、300、150、250、450、760、190、(单位毫升). 尚有10件可带可不带物品, 如果不带将在目的地购买, 通过网络查询可以得知其在目的地的价格(单位美元). 这些物品的容量及价格分别见下表, 试给出一个合理的安排方案把物品放在三个旅行包里. 30 20 90 200 75 50 70 100 45 15 价格 100 250 420 700 120 320 430 500 350 200 体积 10 9 8 7 6 5 4 3 2 1 物品 2.问题 3.问题分析 变量—对每个物品要确定是否带同时要确定放在哪个包裹里，设变量xij为第i个物品是否放在第j个包裹中 约束 包裹容量限制 必带物品限制 选带物品限制 目标函数 未带物品购买费用最小 模 型 特征—变量整数性要求 来源—问题本身的要求; 引入的逻辑变量的需要 性质—可行域是离散集合 4.1.3 解整数线性规划的困难性 与线性规划的关系： 整数规划 可行解是松弛问题的可行解 最优值大于等于松弛问题的最优值 松弛的线性规划问题 最优解不一定在顶点上达到. 最优解不一定是松弛问题最优解的邻近整数解. 整数可行解远多于松弛问题的顶点,枚举法不可取. 解ILP问题要远难于解松弛的LP问题. 若松弛的LP问题无解,则原ILP问题无解.反之,不一定成立. 如果松弛的LP问题无界呢? 可以证明原ILP问题也无界. 结论 4.1.4 逻辑变量在建模中的作用 1. m个约束条件中只有k个起作用 m个约束条件可表为 定义 又M为任意大的正数，则 2. 约束条件的右端项可能是r个值(b1,b2,…,br)中的某一个, 定义 上述约束条件(*)可表示为 即 3. 两组条件中满足其中一组 定义 又M为任意大的正数，则问题可表述为 4. 用以表示含有固定费用的函数 §4.2 分配问题与匈牙利算法 4.2.1 分配问题的数学模型 4.2.2 匈牙利算法 4.2.1 分配问题的数学模型 分配问题(指派问题) 假定有m项任务分配给m个人去完成, 并指定每人完成其中一项, 每项只交给其中一个人去完成, 应如何分配使总的效率最高. 效率矩阵： 利用不同资源完成不同计划活动的效率通常用表格形式表示，表格中的数字组成效率矩阵. 分配问题的数学模型: 第i人完成一项任务 第j项任务由一人完成 4.2.2 匈牙利算法 运输问题 分配问题 表上作业法 匈牙利算法 求解 求解 求解 事实： 若效率矩阵的所有元素 , 而其中存在一组位于不同行 其余的xij=0, 得到的就是问题的最优解 例 效率矩阵为 令 问题： 如何产生并寻找这组位于不同行不同列的零元素？ 不同列的零元素， 则只要另对应于这些零元素位置的xij=1, 其余的xij=0 匈牙利数学家克尼格(Konig) 基础： 两个基本定