第5节 整数规划(2012使用版).ppt

第五章 整数规划（Integer Programming, IP） 5.1 整数线性规划问题的提出 5.2 分支定界法 5.3 指派问题(Assignment problem) */21 5.1 整数线性规划问题的提出 一、基本概念 要求所有 xj 的解为整数，称为纯(全)整数规划 要求部分 xj 的解为整数，称为混合整数规划 对应没有整数解要求的线性规划称之为松弛问题 整数规划的最优解不会优于其松弛问题的最优解 */21 二、几个常见整数规划问题的例子 合理下料问题 现要做100套钢架。如何下料，使用的原材料最省。 设 xj 分别代表按方案1～5下料的原材料根数。 */21 二、几个常见整数规划的例子 选址问题 有n个城市，需要某种物资的数量为dj , j=1,…,n ,现计划要建造m座工厂。在各个城市建厂的规模、建设费用以及两城市之间的单位运价见表，问m座工厂应设在何处，使得既能满足需求，又使总投资最省？ 单位运价 销地  厂址 B1 B2 … Bn 生产 能力 建设 费用 A1 c11 c12 … c1n S1 F1 A2 c21 c22 … c2n S2 F2 … … … An cn1 cn2 … cnn Sn Fn 销量 d1 d2 … dn */21 二、几个常见整数规划的例子 选址问题 分析：引入逻辑变量表示在某个城市是否建厂。 0－1变量发挥的作用。（《运筹学》0－1规划） */21 二、几个常见整数规划的例子 背包问题 一个背包的容积为v，现有n种物品可装，物品j的重量为wj，体积为vj ,（j＝1,…,n）。问如何配装，使得既不超过背包的容积，又使装的总重量最大？ 注：目标可以是物品所起作用（或价值）最大。应用例子有人造卫星内的物品装载问题、运输中货物装载问题。《运筹学》动态规划部分介绍求解方法。 */21 5.2 分支（枝）定界法 5.2.1 思路与解题步骤 只解松弛问题 1、在全部可行性域上解松弛问题 若松弛问题最优解为整数解，则其也是整数规划的最优解 2、分支过程 若松弛问题最优解中某个 xk= bk不是整数，令 [bk] 为 bk 的整数部分(小于bk 的最大整数) 构造两个新的约束条件 xk? [bk] 和 xk? [bk] +1，分别加于原松弛问题，形成两个新的整数规划 3、求解分支的松弛问题 — 定界过程 设两个分支的松弛问题分别为问题 1 和问题 2 ，它们的最优解有如下情况 整数线性规划问题的常见解法：分支定界法、 割平面法。 */21 表5.2.1 分支问题解可能出现的情况 情况 2, 4, 5 找到最优解 情况 3 在缩减的域上继续分支定界法 情况 6 问题 1 的整数解作为界被保留，用于以后与问题 2 的后续分支所得到的解进行比较，结论如情况 4 或 5 */21 5.2.2 分枝定界法举例 例5.2.1 解：松弛问题的最优解为 x1=2.5, x2=2, z 0 =23 由 x1=2.5 得到两个分支如下： */21 表5.2.2 分支问题的松弛解 问题II的解即原整数问题的最优解 可能存在两个分支都是非整数解的情况，可先分支目标函数值较大的（目标实现最大化）那个（也可同时分支），直到有整数解出现，就可以进行定界过程。 当存在很多变量有整数约束时，分支即广又深，在最坏情况下相当于组合所有可能的整数解。 一般整数规划问题属于一类未解决的难题，NP-complete，只有少数特殊问题有好的算法，如任务分配问题（指派问题）。 */21 5.3 指派问题（分派、分配问题） 例5.3.1 有四个熟练工人，他们都是多面手，有四项任务要他们完成。若规定每人必须完成且只完成一项任务，而每人完成每项任务的工时耗费如表所示，问如何分配任务使完成四项任务的总工时耗费最少？ */21 一、 指派问题的数学模型 模型中：xij 为第 i 个工人分配去做第 j 项任务； aij 为第 i 个工人为完成第 j 项任务时的工时消耗； {aij}m?m 称为效率矩阵 指派问题是整数规划问题，是0?1规划的特例，也是运输问题的特例。 指派问题有2m个约束条件，但有且只有m个非零解，是自然高度退化的。 指派问题的解矩阵中的元素非0即1，且是位于不同行、不同列的m个1。 指派问题的求解方法：著名的匈牙利法。 */21 二、 指派问题的求解方法——匈牙利法 定理 1 如果从效率矩阵{aij}m?m中每行元素分别减去一个常数 ui，从每列元素分别减去一个常