运筹学03_整数规划1.ppt

运筹学 第三章整数规划Integer Programming  整数规划(IP)是一类要求部分或全部变量取整数值的数学规划，根据变量的取值性质，可以分为： 纯整数规划 Pure integer programming 混合整数规划 Mixed integer programming 0-1 整数规划 0-1 integer programming 纯整数规划模型 混合整数规划模型 0-1整数规划模型 整数规划最优解不能按照实数最优解简单取整而获得。 maximize z = 3x + 4y subject to 5x + 8y ? 24 x, y ? 0, 整数 如何求最优解呢？ 可行域 整数规划与松弛线性规划的关系 注释 最优解不一定在顶点上达到 最优解不一定是松弛问题最优解的邻近整数解 整数可行解远多余于顶点，枚举法不可取 松弛线性规划不可行，则原问题也不可行 实际应用时，割平面法往往从最终单纯型表选择具有最大分数部分的非整分量所在行构造割平面约束，来提高切割效果，减少切割次数。 割平面法往往会遇到收敛很慢的情形，实际使用时，常常和分支定界法配合使用。 分支定界法的基本思想 分支定界法的基本思想 例 max z = 8 x1 + 5 x2 s.t. x1 + x2 ≤ 6 9 x1 + 5 x2 ≤ 45 x1 , x2 ≥ 0，整数 解 Solution of the LP relaxation: z = 165/4, x1 = 15/4, x2 = 9/4 分支定界树 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 x1,x2 ? 0 ,x1 ? 1, x2 ? 2整数 用单纯形法可解得相应的（P3）的最优解（1，2） Z=10 （P1）两个子问题： （P4）Max Z=4x1+3x2 s.t. 3x1+4x2 ? 12 4x1+2x2 ? 9 x1,x2 ? 0 ,x1 ? 1, x2 ? 3整数 用单纯形法可解得相应的（P4）的最优解（0，3） Z=9 X1 ? 2 X2 ? 2 X1 ? 1 X2 ? 3 P1:(1,9/4) Z=10(3/4) P4: (0,3) Z=9 P2:(2,1/2) Z=9(1/2) P3: (1,2) Z=10 P:(6/5,21/10) Z=111/10 原问题的最优解（1，2） Z=10 例 用分枝定界法求解： 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 x1,x2 ? 0 x1 ? 3 整数 用单纯形法可解得（P1）的最优解（3，3/2）Z=9 （P2） Min Z= x1+4x2 s.t. 2x1+ x2 ? 8 x1+2x2 ? 6 x1,x2 ? 0 x1 ? 4 整数 无可行解。 0 1 2 3 4 5 6 8 7