在原可行域中剔除部分非整数解.PPT

第三节 分枝定界法 分枝定界法(Branch and Bound Method) 基本思想： 先求出整数规划相应的LP(即不考虑整数限制)的最优解， 若求得的最优解符合整数要求，则是原IP的最优解； 若不满足整数条件，则任选一个不满足整数条件的变量来构造新的约束，在原可行域中剔除部分非整数解。 然后，再在缩小的可行域中求解新构造的线性规划的最优解，这样通过求解一系列线性规划问题，最终得到原整数规划的最优解。 第三节 分枝定界法 定界的含义： 整数规划是在相应的线性规划的基础上增加变量为整数的约束条件，整数规划的最优解不会优于相应线性规划的最优解。 对极大化问题来说，相应线性规划的目标函数最优值是原整数规划函数值的上界； 对极小化问题来说，相应线性规划的目标函数的最优值是原整数规划目标函数值的下界。 第三节 分枝定界法 例 max Z= 6x1 +5 x2 2x1 + x2 ≤9 5x1 +7 x2 ≤35 x1, x2 ≥0 x1, x2取整数 第一步,不考虑变量的整数约束,求相应LP(L1)的最优解： x1=28/9，x2 =25/9，Z1=293/9 第二步,定界过程 这个解不满足整数约束，这时目标函值Z1是整数规划的目标上界； 因为x1=x2=0是整数规划问题的可行解，所以下界为0。 第三步,分枝过程 将不满足整数约束的变量x1进行分枝，x1称为分枝变量，构造两个新的约束条件 ： x1≤ [28/9]=3， x1 ≥ [28/9] +1=4  (x1=28/9不符合要求，切掉3—4之间的可行域，可行域变成两块，即原有约束条件再分别附加约束条件x1 ≤3和x1 ≥4)  第三节 分枝定界法 L2：max Z= 6x1 +5 x2 L3： max Z= 6x1 +5 x2 2x1 + x2 ≤9 2x1 + x2 ≤9 5x1 +7 x2 ≤35 5x1 +7 x2 ≤35 x1≤3 x1 ≥4 x1, x2 ≥0 x1, x2 ≥0 x1, x2取整数 x1, x2取整数 第三节 分枝定界法 这样就把相应的线性规划的可行域分成两个部分，如图所示。 第三节 分枝定界法 求解相应的线性规划的最优解 L2相应的线性规划的最优解： x1=3，x2 =20/7，Z2=226/7 L3相应的线性规划的最优解： x1=4，x2 =1，Z3=29 第四步，定界过程 L3的解满足整数约束，不必再分枝，它的目标函数值是29，大于原有下界0，则新的下界为29； 现有上界为未分枝子问题中目标函数最大值，即为226/7。 L2的解仍不满足整数约束的要求，它的目标函数值226/7大于现有下界，则应继续分枝。 第五步，分枝过程 将不满足整数约束的变量x2进行分枝，构造两个新的约束条件： x2≤ [20/7]=2， x2 ≥ [20/7] +1=3 第三节 分枝定界法 L4：max Z= 6x1 +5 x2 L5： max Z= 6x1 +5 x2 s.t. 2x1 + x2 ≤9 s.t. 2x1 + x2 ≤9 5x1 +7 x2 ≤35 5x1 +7 x2 ≤35 x1≤3 x1 ≤ 3 x2≤2 x2 ≥3 x1, x2 ≥0 x1, x2 ≥0 x1, x2取整数 x1, x2取整数 第三节 分枝定界法 第三节 分