交通运筹学课件-整数规划.pptVIP

* 第2节 分枝定界法 步骤： 1、寻找替代问题并求解 2、分枝与定界 3、剪枝 * 1、基本思路：整数规划的最优解不会优于相应的线性规划的最优解。对于极大值问题，相应线性规划的最大值成为整数规划目标函数的上界。 maxZ=CX AX=b X?0 (A) max Z=CX AX=b X?0 X为整数 (B) (B)为(A)的松弛问题。 （1）替代问题的确定 * （2）替代问题的求解 max Z=CX AX=b X?0 (B) 采用相应的方法（如图解法）求解出替代问题的最优解，观察其是否满足整数解的要求。如其最优解就为整数，则结束；如含有分数，则需要进行分支定界操作。 * （3）分支与定界—增加约束 如替代问题的解不符合整数条件，则需要对原问题进行分支。 分支方法：假设替代问题的解为[i，i+1]之间的一个数，则分成两支：一支增加约束xj≤i，另一支增加约束xj ≥ i+1； 对上述两个问题进行求解：不考虑整数问题时，求解对应的线性规划问题，观察其最优解是否是整数，如不是，则继续分支定界，直到得到全部整数解为止。 X* Xj* i+1 i (C) (D) (B) Xj ? i+1 (B) Xj ? i * max Z=40X1 + 90X2 9X1+7X2 ? 56 7X1+20X2 ? 70 X1 , X2? 0 X1 , X2为整数 例1： * 解：先解该整数规划对应的松弛问题 X* = 4.809 1.817 Z* =355.890， 上界Z* 选X1分枝 问题(2) (1) X1 ? 4 问题(3) (1) X1 ? 5 将[4,5]之间的非整数部分舍去 * 选(2)继续分枝 问题(4) (2) X2 ? 2 问题(5) (2) X2 ? 3 解为 X1 =4 X2 =2.1 Z=349.0 解为 X1 =5 X2 =1.571 Z=341.39 问题2 问题3 * (1) 4.809 1.817 355.890 (2) 4 2.1 349.0 (3) 5 1.571 341.39 (4) 4 2 340 (5) 1.428 3 340 327.12 (6) 5.444 1 340 307.76 (7) 无解 X1? 4 X1? 5 X2? 2 X2? 1 X2? 2 X2? 3 分支定界过程 * 第3节 割平面法 割平面法的基本思想： 在整数规划问题的松弛问题中依次引进线性约束条件(称Gomory约束，高莫雷约束或割平面)，使问题的可行域逐步缩小。但每次切割时，只割去问题的部分非整数解，而不切割任何整数的可行解，直到使问题的目标函数值达到最优的整数点成为缩小后可行域的一个顶点，这样就可以用求解线性规划问题的方法找出这个最优解。 * 算 法 步 骤 求放松问题的 最优基可行解 判断是否 为整数解 是停止 得到最优解 否 在单纯性表中加入 一列利用对偶单纯 性算法求最优解 * 例2 用割平面法求解整数规划问题 * 解： 首先放宽约束变量，原问题对应的松弛问题为： * 用单纯形法求解原问题的松弛问题，得到最优单纯形表，如表3-3所示： 表3-3 1 1 0 0 x1 x2 x3 x4 1 1 x2 x1 7/4 3/4 0 1 1 0 3/4 -1/4 1/4 1/4 -Z -5/2 0 0 -1/2 -1/2 * 在松弛问题最优表上，任选一个含有不满足整数条件基变量的约束方程。这里选，则含的约束方程为： (1) 将所选的约束方程中非基变量的系数及常数均拆成一个整数加一个非负的真分数之和，则(1)式变为： （2） * * * * * * * * * * * * * * * * * * * * 整数规划Integer Programming * 第一节 整数规划的引出 1、引例 某公交车队决定，驾驶员每周连续工作5天后，连续休息2天，轮流休息。根据统计，车队每天需要的驾驶员人数如表所示。车队的调度应如何安排每天上班的驾驶员人数，使车队总的驾驶员最少？ * 表3-1 所需驾驶员数统计表 星期 需要人数 星期 需要人数 一 139 五 132 二 132 六 120 三 138 日 121 四 133 * 解：设xj为休息两天后星期一到星期日开始上班的驾驶员数量，则这个问