4运筹学整数规划【企业经营管理推荐】.ppt

若松驰问题有最优解，但其各分量不全是整数，则这个解不是原整数规划的最优解，转下一步。 若松驰问题有最优解，但其各分量不全是整数，则这个解不是原整数规划的最优解，转下一步。 从不满足整数条件的基变量中任选 一个xi进行分枝，它必须满足xi ?[xi ] 或xi ?[xi ] +1中的一个，把这两个约束条件加进原问题中，形成两个互不相容的子问题（二分法）。 定界：把满足整数条件各分枝的最优目标函数值作为上（下）界，用它来判断分枝是保留还是剪枝。 定界：把满足整数条件各分枝的最优目标函数值作为上（下）界，用它来判断分枝是保留还是剪枝。 剪枝：把那些子问题的最优值与界值比较，凡不优或不能更优的分枝全剪掉，直到每个分枝都查清为止。 例5-6 用分枝定界法求解： Max Z=4x1+3x2 s.t. 3x1+4x2 ? 12 4x1+2x2 ? 9 x1,x2 ? 0 整数 用单纯形法可解得相应的松驰问题的最优解（1.2，2.1）Z=11.1为各分枝的上界。 0 1 2 3 4 4 3 2 1 x1 x2 分枝： 选X1 =1.2分枝，有 X1 ? 1，x1 ? 2 P1 P2 两个子问题： （P1）Max Z=4x1+3x2 s.t. 3x1+4x2 ? 12 4x1+2x2 ? 9 x1 ? 1 x1,x2 ? 0 用单纯形法可解得相应的（P1）的最优解（1，2.25） Z=10.75 （P2）Max Z=4x1+3x2 s.t. 3x1+4x2 ? 12 4x1+2x2 ? 9 x1 ? 2 x1，x2 ? 0 用单纯形法可解得相应的（P2）的最优解（2，0.5） Z=9.5 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 ? 9 x2 ? 2 x1 ? 1 x1,x2 ? 0 , 用单纯形法可解得相应的（P3）的最优解（1，2） Z=10 （P1）两个子问题： （P4）Max Z=4x1+3x2 s.t. 3x1+4x2 ? 12 4x1+2x2 ? 9 x1 ? 1 x2 ? 3 x1,x2 ? 0 用单纯形法可解得相应的（P4）的最优解（0，3） Z=9 X1 ? 2 X2 ? 2 X1 ? 1 X2 ? 3 P1:(1,9/4) Z=10.75 P4: (0,3) Z=9 P2:(2,1/2) Z=9.5 P3: (1,2) Z=10 P:(6/5,21/10) Z=11.1 原问题的最优解（1，2） Z=10 例5-7 用分枝定界法求解： Min Z= x1+4x2 s.t. 2x1+ x2 ? 8 x1+2x2 ? 6 x1,x2 ? 0 整数 用单纯形法可解得相应的松驰问题的最优解（10/3，4/3）Z=26/3为各分枝的下界。 0 1 2 3 4 5 6 8 7 6 5 4 3 2 1 x1 x2 p 0 1 2 3 4 5 6 8 7 6 5 4 3 2 1 x1 x2 p 选 x1进行分枝： (P1) x1 ? 3 (P2) x1 ? 4 为空集 P1 （P1） Min Z= x1+4x2 s.t. 2x1+ x2 ? 8 x1+2x2 ? 6