交通运筹学第3章整数规划.pptxVIP

1 第三章 整数规划Integer Programming 2 主要内容 第一节 整数规划的性质 第二节 整数规划的解法 第三节 分支定界法 第四节 割平面法 第五节 0-1规划 3 第一节 整数规划的引出 1、引例 某公交车队决定，驾驶员每周连续工作5天后，连续休息2天，轮流休息。根据统计，车队每天需要的驾驶员人数如表所示。车队的调度应如何安排每天上班的驾驶员人数，使车队总的驾驶员最少？ 4 表3-1 所需驾驶员数统计表 星期 需要人数 星期 需要人数 一 139 五 132 二 132 六 120 三 138 日 121 四 133 5 解：设xj为休息两天后星期一到星期日开始上班的驾驶员数量，则这个问题的线性规划模型为： 6 2、 整数规划的特点与分类 （1）在很多实际问题中，全部或部分变量的取值必须是整数，如人或机器设备等不可分割。 （2）此外还有一些问题，如要不要在某地建设工厂或指派某人去做某事，可选用一个逻辑变量x，令x=1表示在该地建厂或指派某人做事，x=0表示不在该地建厂或不指派某人做事，逻辑变量也是只允许取整数值的一类变量。 7 3、整数规划的分类 （1）纯整数线性规划（IP）： 在一个线性规划中要求全部变量取整数值，或简称纯整数规划。 （2）混合整数(线性)规划（MIP）： 在一个线性规划中只要求一部分变量取整数值。 8 4、用“凑整法”求解是否可行？ 有同学会认为，对整数规划问题的求解可以先不考虑对变量的整数约束，作为一般线性规划问题来求解，当解为非整数时可用四舍五入或凑整方法寻找最优解。 是否合适？ 是否可行？ 9 例题： 求下述整数规划问题的最优解 10 2x1+3x2=14 x1+0.5x2=4.5 2x1+3x2=14 11 如果不考虑x1、x2取整数的约束，用图解法求得最优解为(3.25，2.5)。由于x1、x2必须取整数值，实际上问题的可行解集只是图中可行域内的那些整数点。用凑整法来解时需要比较四种组合，但(4，3)、(4，2)、(3，3)都不是可行解，(3，2)虽属可行解，但代入目标函数得z=13，并非最优。实际上问题的最优解应该是(4，1)，z*=14。 注意：(4，1)不是可行域的顶点，因此直接用图解法或单纯形法都无法找出整数规划问题的最优解来。 这就要求研究解整数规划问题的特殊方法。 12 5 小 结 整数规划的可行域包含在其对应的一般线性规划可行域之内； 整数规划的最优解可能不是其对应的一般线性规划的顶点； 整数规划需要专门的求解方法； 整数规划的最优解不会优于其对应的线性规划的最优解； 既然不能通过凑整来求解，可以逐步将对应线性规划可行域中的非整数部分舍去。 13 第2节 分枝定界法 步骤： 1、寻找替代问题并求解 2、分枝与定界 3、剪枝 14 1、基本思路：整数规划的最优解不会优于相应的线性规划的最优解。对于极大值问题，相应线性规划的最大值成为整数规划目标函数的上界。 (B)为(A)的松弛问题。 （1）替代问题的确定 15 （2）替代问题的求解 采用相应的方法（如图解法）求解出替代问题的最优解，观察其是否满足整数解的要求。如其最优解就为整数，则结束；如含有分数，则需要进行分支定界操作。 16 （3）分支与定界—增加约束 如替代问题的解不符合整数条件，则需要对原问题进行分支。 分支方法：假设替代问题的解为[i，i+1]之间的一个数，则分成两支：一支增加约束xj≤i，另一支增加约束xj ≥ i+1； 对上述两个问题进行求解：不考虑整数问题时，求解对应的线性规划问题，观察其最优解是否是整数，如不是，则继续分支定界，直到得到全部整数解为止。 17 max Z=40X1 + 90X2 例1： 18 解：先解该整数规划对应的松弛问题 选X1分枝 将[4,5]之间的非整数部分舍去 19 选(2)继续分枝 问题2 问题3 20 分支定界过程 21 第3节 割平面法 割平面法的基本思想： 在整数规划问题的松弛问题中依次引进线性约束条件(称Gomory约束，高莫雷约束或割平面)，使问题的可行域逐步缩小。但每次切割时，只割去问题的部分非整数解，而不切割任何整数的可行解，直到使问题的目标函数值达到最优的整数点成为缩小后可行域的一个顶点，这样就可以用求解线性规划问题的方法找出这个最优解。 22 算 法 步 骤 23 例2 用割平面法求解整数规划问题 24 解： 首先放宽约束变量，原问题对应的松弛问题为： 25 用单纯形法求解原问题的松弛问题，得到最优单纯形表，如表3-3所示：