运筹学分支定界法0-1整数规划总结.pptVIP

它的可行域为图中OABCDE（示意图），并设最优解位于C。如果这个最优解中所有的变量都是整数，则已经得到整数规划的最优解。如果其中某一个变量Xr不是整数，则在可行域中除去一块包含这个最优解但不包含任何整数解的区域IrXrIr+1（其中Ir是变量Xr的整数部分），线性规划的可行域被划分成不相交的两部分，分别以这两部分区域作为可行域，用原来的目标函数，构造两个子问题Sub1和Sub2： Sub1 Sub2 由于这两个子问题的可行域都是原线性规划问题可行域的子集，这两个子问题的最优解的目标函数值都不会比原线性规划问题的最优解的目标函数值更大。如果这两个问题的最优解仍不是整数解，则继续选择一个非整数的变量，继续将这个子问题分解为两个更下一级的子问题。这个过程称为“分支（Branch）”。 每一次分支得到的子问题最优解的目标函数值，都小于或等于分支前问题的最优解的目标函数值。非整数解的最大值作为新的上界。 如果某一个子问题的最优解是整数解，就作为整数规划最优目标函数值的下界。多个时取最大值。最后的下界为整数规划的最优解。 如果某一个子问题的解还不是整数解，但这个非整数解的目标函数值已经小于这个下界，那么这个子问题就不必再进行分支。不然需重复进行分支。 确定整数解目标函数值上下界并不断更新 ，“剪除”目标函数值小于下界的分支的过程，称为定界（Bound）。 整数规划问题的求解方法 分支定界法图解整数规划 不同的搜索策略会导致不同的搜索树，一般情况下，同一层的两个子问题，先搜索目标函数比较大的较有利（如果是极小问题，则应先搜索目标函数值小的较为有利）。这样可能得到数值比较大的下界，下界越大被剪去的分支越多。 分支定界算法对于混合整数规划特别有效，对没有整数要求的变量就不必分支，这将大大减少分支的数量。 第四节 0—1型整数规划 一、0-1变量及其应用 某些特殊问题，只做是非选择，故变量设置简化为0或1， 1代表选择，0代表不选择。 一、0—1规划数学模型 例：固定费用问题 有三种资源被用于生产三种产品，资源量、产品单件费用、 资源消耗量以及生产产品的固定费用。要求制定一个生产计 划，总收益最大。 例 选址问题 某公司在城市的东、西、南三区建立门市部。拟议 中有 7 个位置（地点）Ai（i=1，2，…，7）可供选择。公司规定 在东区，由 A1，A2，A3 三个点中至多选两个； 在南区，由 A4，A5 两个点中至少选一个； 在西区，由 A6，A7 两个点中至少选一个。 如果选用 Ai 点，设备投资估计为 bi 元，每年可获利润估计为 ci元，但投资总额不能超过 B 元。问公司选择哪几个点可使年总利润最大？ 建立模型 引入 0-1 变量 练习2：使用一等价的整数规划表述下面的问题 小结: 1、分支定界法的计算步骤。 2、0-1型整数规划的应用。 作业: 5.4 (2) (用分支定界法) 5.5 (1) * 运筹学教程 * 第三节 分支定界法 （Branch and Bound， 简称BB） 基本思想如下： 首先不考虑变量的整数约束，求解相应的线性规划问题，得到线性规划的最优解。 设线性规划问题： 最优解为Z。则Z为IP问题解Z*的上界，Z*≤Z。 E D C B Sub1 Sub2 Ir Xr Ir+1 A X2 O X1 分枝 松弛问题 Max Z = X1 + X2 14X1 + 9X2 ≤ 51 - 6X1 + 3X2 ≤ 1 X1 ， X2 ≥ 0 该整数规划松弛问题的解为： （X1 ，X2 ）= （3/2 ，10/3） Z1 = 29/6 松弛问题 Max Z = X1 + X2 14X1 + 9X2 ≤ 51 - 6X1 + 3X2 ≤ 1 X1 ， X2 ≥ 0 （3/2 ，10/3） Z1 = 29/6 B1 Max Z = X1 + X2 14X1 + 9X2 ≤ 51