运筹学课件第五 整数规划.pptVIP

运筹学 一、 割平面法（Gomory法）基本思想 松弛问题的最优单纯形表为： CB XB b 1 1 0 0 x1 x2 x3 x4 0 x3 1 -1 1 1 0 0 x4 4 3 1 0 1 σj 1 1 0 0 … … … … … … … 1 x1 3/4 1 0 -1/4 1/4 1 x2 7/4 0 1 3/4 1/4 σj 0 0 -1/2 -1/2 将 -3x3-x4+x5= -3（割平面方程）代入最优表 CB XB b 1 1 0 0 0 x1 x2 x3 x4 x5 1 x1 3/4 1 0 -1/4 1/4 0 1 x2 7/4 0 1 3/4 1/4 0 0 x5 -3 0 0 -3 -1 1 σj 0 0 -1/2 -1/2 0 1 x1 1 1 0 0 1/3 1/12 1 x2 1 0 1 0 0 1/4 0 x3 1 0 0 1 1 -1/3 σj 0 0 0 -1/3 -1/3 MaxZ=3x1-x2 3x1-2x2≤3 5x1+4x2≥10 2x1+x2≤5 x1,x2≥0 且为整数 MaxZ=3x1-x2 3x1-2x2≤3 5x1+4x2≥10 2x1+x2≤5 x1,x2≥0 例2 用割平面法求解纯整数规划 松弛规划 最终单纯形表如下： CB XB b 3 -1 0 0 0 x1 x2 x3 x4 x5 3 x1 13/7 1 0 1/7 0 2/7 -1 x2 9/7 0 1 -2/7 0 3/7 0 x4 31/7 0 0 -3/7 1 22/7 Z=30/7 σj 0 0 -5/7 0 -3/7 x1+1/7x3 + 2/7x5=13/7 x1+1/7x3 + 2/7x5=1+6/7 x1- 1 = 6/7 -（1/7x3 + 2/7x5） 6/7 -（1/7x3 + 2/7x5）≤0 -1/7x3 - 2/7x5≤- 6/7 -1/7x3 - 2/7x5≤- 6/7 -1/7x3 - 2/7x5+x6=- 6/7 CB XB b 3 -1 0 0 0 0 x1 x2 x3 x4 x5 x6 3 x1 13/7 1 0 1/7 0 2/7 0 -1 x2 9/7 0 1 -2/7 0 3/7 0 0 x4 31/7 0 0 -3/7 1 22/7 0 0 x6 -6/7 0 0 -1/7 0 -2/7 1 σj 0 0 -5/7 0 -3/7 0 CB XB b 3 -1 0 0 0 0 x1 x2 x3 x4 x5 x6 3 x1 1 1 0 0 0 0 1 -1 x2 5/4 0 1 0 -1/4 0 -5/4 0 x3 5/2 0 0 1 -1/2 0 -11/2 0 x5 7/4 0 0 0 1/4 1 -3/4 Z=7/4 σ 0 0 0 0 0 -17/4 -1/4x4 -1/4x6≤-3/4 -1/4x4 -1/4x6+x7=-3/4 -4 1 0 1 0 0 0 3 x4 0 -1 1 -2 -1 0 x7 0 CB XB b 3 -1 0 0 0 0 x1 x2 x3 x4 x5 x6 3 x1 1 1 0 0 0 0 1 -1 x2 2 0 1 0 0 0 -1 0 x3 4 0 0 1 0 0 -5 0 x5 1 0 0 0 0 1 -1 Z=-1 σj 0 0 0 0 0 -4 -1/4x4 -1/4x6+x7=-3/4 第三节 分支定界法 例1 松弛问题 (11/4,9/4) Z=31/4 (3,3/2) Z=15/2 (2,2) Z=6 无 解 无 解 (11/4,9/4) x1≤2 x1≥3 (2,2) (3,3/2) x2≤1 x2≥2 (19/6,1) Z=22/3 (3,1) Z=7 (19/6,1) x1≤3 x1≥4 1 2 3 4 3 2 1 最优值为Z=7，最优解为(3,1) 一、基本思想 （1）分支：如果松弛线性规划的最优解不符合整数要求，即至少有一个分量不是整数， 假设 则构造两个约束条件 分别加入松弛问题中，把线性规划的可行域切割成两部分，形成两个分支，分别求解这两个线性规划，如果这两个线性规划的最优解还不是整数解，分别把每一个可行域再进行分割。如此继续下去，直到获得整数规划的最优解。 不是整数， （2）定界：分支过程得到的整数解中，目标函数值最优的一个叫做整数规划目标函数值的“界”。分支过程中非整数的线性规划的最优解，如果目标函数值劣于或等于这个“界”，就停止继续分支。 一、基本思