管理运筹学-整数规划1.pptVIP

* 分枝定界法 割平面法的原理 0-1整数规划建模 指派问题求解 本章重点 第七章 整数规划 §1 整数规划问题的提出 13 24 托运限制 10 5 4 乙 20 2 5 甲 利润 每箱（百元） 重量 每箱（百斤） 体积 每箱（m3） 货物 问如何选择甲、乙两种货物的托运数量，使获得的利润最大？ 例1 某厂拟用集装箱托运甲乙两种货物，每箱的体积、 重量、可获利润以及托运所受限制如表： 13 24 托运限制 10 5 4 乙 20 2 5 甲 利润 每箱（百元） 重量 每箱（百斤） 体积 每箱（m3） 货物 整数规划有纯整数规划、混合整数规划与0-1整数规划等类型。? 我们只研究线性整数规划，一般模型为： 去掉整数约束条件，就是线性规划问题。 其中Z为整数集合，n1 ? n。 z=90 z=96 x1 x2 (4.8,0) (4,1) IP比LP更难求解。一般不能“枚举”、不能“四舍五入”。如例1， 不考虑整数条件，最优解为x*=(4.8，0)T，z*=96。四舍五入得 x=(5，0)T， 不是可行解 x=(4，0)T， 不是最优解 而最优解是 x*=(4，1)T，z*=90 §2 分枝定界法 （Branch and Bound Method） 原问题A： 松弛问题B： 分枝定界法的基本思想： xk ≤ [xk] 和 xk≥ [xk] +1 设A有一可行解，其目标函数值 是 Z 的一个下界(定界)。从解B0开始，若其最优解符合整数条件则得到A的解，否则取此解不满足整数条件的分量，在B0问题中分别加入约束条件： 从而得到B0的两个子问题B1和B2(分枝)。分别解B1和B2，根据它们解的情况，或增大 (定界)、或继续分枝、或终止分枝。重复分枝定界过程，直至 不能增大、不能分枝为止。 其中，[xk]为xk的整数部分。? 如xk=3.5，[xk]=3；xk=-1.5，[xk]=-2。 与原问题约束共同构成B1 构成B2 (4.81,1.82) 9x1+7x2=56 7x1+20x2=70 z=40x1+90x2 B0的最优解为x1=4.81， x2=1.82，z0=356，不是A的可行解。 B1的可行域 B2的可行域 （4，2.1） （5,1.57） 由x1=4 .81产生两个约束条件x1≤4, x1≥5 注意：这样分枝并没有减少A的可行解，但增加了可能符合整数条件的顶点 1 B4的可行域 B3的可行域 （4,2） （1.42,3） 再将B1分枝，在B1中分别加x2 ? 2，x2 ? 3得到： A的可行解， z3＞ B5的可行域 （5.44,1） 更新 =340，得到新的界 。由于z4 ，知B4的可行域内不可能含有比(4，2)T更优的解，故B4不再分枝。 回到B2，由于z2 ，不排除B2的可行域中有比(4，2)T更好的整数解的可能，故要继续分枝。在B2中分别加约束条件：x2 ? 1，x2 ? 2, 得到问题B5和B6 x2?1 x2?2 B5 x1=5.44 x2=1.00 z5=308 B6 无可行解 z =340 = z* B4 x2?2 B3 x1=4.00 x2=2.00 z3=340 x1=1.42 x2=3.00 z4=327 x2?3 z =340 x1=5.00 x2=1.57 B1 x1=4.00 x2=2.10 z1=349 x1?4 x1?5 z2=341 B2 z =0 B x1=4.81 x2=1.82 z0=356 z =0 × × × 割平面法，先求解松弛问题B0，然后构造一个割平面(线性约束)，切除可行域中一块，其中不含A的可行解，切除的结果使整数解可能成为顶点。 Q1 Q2(1,1) R Q1 R’ Q2(1,1) Q3 切割前 切割后 系数为整数 注意：x1、x2为整数，x3、x4也为整数(当系数和常数项不为整数时，先将不等式变形，然后再加松弛变量)。 如何构造割平面？ 最终表为： 整数 正数 正真分数 小于0的整数 即 Q1 R’ Q2(1,1) Q4 正数 不大于bi的整数 决策变量仅取为0或1的整数规划问题。 x-i 是0-1变量的表示： xi = 0 或1