运筹学整数规划讲解.ppt

第五章 整数规划Integer Programming (IP) 第一节 整数规划问题的提出 第二节 分枝定界法 （Branch and Bound Method） 第三节 割平面法 （Comory Cutting Plain Algorithm） 第四节 0-1整数规划 第五节 指派问题 1、逐行检查，若该行只有一个未标记的零，对其加?标记，将?标记元素同行同列上其它的零打上/标记。若该行有二个以上未标记的零，暂不标记，转下一行检查，直到所有行检查完； step 2：试求最优指派方案 2、逐列检查，若该列只有一个未标记的零，对其加?标记，将?标记元素同行同列上其它的零打上/标记。若该列有二个以上未标记的零，暂不标记，转下一列检查，直到所有列检查完； 3、重复1、2后，可能出现三种情况： a. 每行都有一个?，显然已找到最优解，令对应?位置的 xij=1，停止计算； b. 仍有零元素未标记，此时，一定存在某些行和列同时有多个零，称为僵局状态，因为无法采用 1、 2 中的方法继续标记，转入4； c. 所有零都已标记，但标有?的零的个数m小于矩阵阶数n，进入step 3。 4、打破僵局。令未标记零对应的同行同列上其它未标记零的个数为该零的指数，选指数最小的先标记 ? ；采用这种方法直至所有零都被标记，或出现 情况 a，或 情况 c 。 Step 3：检查step 2是否有误 实施该定理的具体方法：寻找能覆盖所有0元素的最少直线数。 关于系数矩阵中0元素的定理：系数矩阵中独立0元素的最多个数等于能覆盖所有0元素的最少直线数。 通过该定理判断某系数矩阵拥有独立0元素的最多个数，从而检查step 2是否有误，同时为step 4打下基础。 寻找过程： ? 对没有标记 ?的行打?； ? 对打? 行上所有其它零元素对应的列打 ?； ? 再对打 ? 列上有 ?标记的零元素对应的行打 ?； ? 重复以上步骤 ，直至无法继续； ? 对没有打 ? 的行划横线，对所有打 ? 的列划竖线 。 ? ? ? 划线后会出现两种情况： (1) 标记?的零的个数m小于直线数k，说明矩阵中已存在 k个独立的零元素，但打破僵局时选择不合理，没能找到。回到 step 2的b中重新标记； (2) m=kn，转入step 4； Step 4：进一步变换系数矩阵，增加0元素 返回step 2 ? 在未划线的元素中找最小者，设为 ? ? 对未被直线覆盖的各元素减去 ? ? 对两条直线交叉点覆盖的元素加上 ? ? 只有一条直线覆盖的元素保持不变 答：最优分配方案为 x13= x21= x34 = x42 =1，其余为0， 即甲?C，乙?A，丙?D，丁?B，OBJ=20 由于xj为非负整数，故上式左边为整数，而右边与之相等，故也必为整数。那么右边是个怎样的整数呢？由于右边第1项1,括号内≥0，故右边是1的整数，那这个整数就只可能以0为上限（即可能的整数是0，-1，-2，...）。上述结论是在xj 为整数条件下得出的。 三、计算步骤 All xi 为整数 ? 结束 写出Gomory约束 Y N 解松弛问题 例5 解： 0 0 -28/11 -15/11 -63 ?j 0 1 7/22 1/22 1 0 -1/22 3/22 7/2 9/2 9 x2 7 x1 x1 x2 x3 x4 CB xB b 7 9 0 0 Cj 0 x5 -1/2 0 0 -7/22 -1/22 1 x5 0 0 0 0 解：由单纯形法计算得最优表 0 0 0 -1 -8 -59 ?j 0 1 0 0 1 1 0 0 1/7 -1/7 0 0 1 1/7 -22/7 3 32/7 11/7 9 x2 7 x1 0 x3 x1 x2 x3 x4 x5 CB xB b 7 9 0