运筹学整数规划教学课件PPT.ppt

* l1 E D F B G O 1 2 3 4 5 6 7 A8 9 10 11 12 10 9 8 7 6 5 4 3 2 1 X1 X2 l1: x1+ x2 =10 割去非整数部分FBG * E D H F B G l2 O 1 2 3 4 5 6 7 A8 9 10 11 12 10 9 8 7 6 5 4 3 2 1 X1 X2 l2: x1+2x2 =12 割去非整数部分HDGF * E H G O 1 2 3 4 5 6 7 A8 9 10 11 12 10 9 8 7 6 5 4 3 2 1 X1 X2 形成新的凸可行域OAGHE（整点凸包），它的极点G（方格点）是原规划（IP）的最优解（8，2） Z=22。 * 约束条件： l1: x1+ x2 ? 10 l2: x1+2x2 ? 12 称为割平面。 问题是如何寻找割平面？ * 整数规划的求解：分枝定界法 分枝定界法是求整数规划的一种常用的有效的方法，既能解决纯整数规划的问题，也能解决混合整数规划的问题。 * x y 0 1 2 3 4 0 1 2 3 1 初始：求解松弛问题 求线性规划松弛的最优解 x* = ( x1*, x2*, …, xn* )， 如果它是整数，则它就是整数规划的最优解。如果不可行，则整数规划无可行解。 2 分支： 否则，从不满足整数条件的基变量中取一个xj*，分别增加约束 xj ? [xj*] 和 xj ? [xj*] +1， 生成两个子问题，取代原整数规划 分支定界法的基本思想 * x y 0 1 2 3 4 0 1 2 3 3 定界： 把各分枝松弛问题的最优目标函数值作为原整数规划的上（下）界，用它来判断分枝是保留还是剪枝。 分支xj ? [xj*]中若相应的松弛问题最优解为Zr，那么原整数规划的解不会优于Zr，所以Zr可以作为该分支的上界 分支定界法的基本思想 * x y 0 1 2 3 4 0 1 2 3 4 剪枝： 把那些子问题的最优值与界值比较，凡不优或不能更优的分枝全剪掉，直到每个分枝都查清为止。 分支xj ? [xj*]中已经得到符合整数要求的解，最优值为Zr,那么另外一个分支中松弛问题的最优值不超过Z0,那么就可以剪掉那一支 分支定界法的基本思想 * 例 用分枝定界法求解： Max Z=4x1+3x2 s.t. 3x1+4x2 ? 12 4x1+2x2 ? 9 x1, x2 ? 0 整数 用单纯形法可解得相应的松驰问题的最优解 （6/5，21/10），Z=111/10为各分枝的上界。 * 0 1 2 3 4 4 3 2 1 x1 x2 分枝：X1 ? 1,x1 ? 2 P1 P2 * 两个子问题： （P1）Max Z=4x1+3x2 s.t. 3x1+4x2 ? 12 4x1+2x2 ? 9 x1,x2 ? 0 ， x1 ? 1 ，整数 用单纯形法可解得相应的（P1）的最优解（1，9/4） Z=10(3/4) * （P2）Max Z=4x1+3x2 s.t. 3x1+4x2 ? 12 4x1+2x2 ? 9 x1,x2 ? 0 ， x1 ? 2 ，整数 用单纯形法可解得相应的（P2）的最优解（2，1/2） Z=9(1/2) * 0 1 2 3 4 4 3 2 1 x1 x2 再对（P1）分枝：X1 ? 1 （P3） x2 ? 2 （P4） x2 ? 3 P1 P2 P3 P4 * （P1）两个子问题： （P3）Max Z=4x1+3x2 s.t. 3x1+4x2 ? 12 4x1+2x2