运筹学分支定界法0-1整数规划课件解析.pptVIP

它的可行域为图中OABCDE（示意图），并设最优解位于C。如果这个最优解中所有的变量都是整数，则已经得到整数规划的最优解。如果其中某一个变量Xr不是整数，则在可行域中除去一块包含这个最优解但不包含任何整数解的区域IrXrIr+1（其中Ir是变量Xr的整数部分），线性规划的可行域被划分成不相交的两部分，分别以这两部分区域作为可行域，用原来的目标函数，构造两个子问题Sub1和Sub2： Sub1 Sub2 由于这两个子问题的可行域都是原线性规划问题可行域的子集，这两个子问题的最优解的目标函数值都不会比原线性规划问题的最优解的目标函数值更大。如果这两个问题的最优解仍不是整数解，则继续选择一个非整数的变量，继续将这个子问题分解为两个更下一级的子问题。这个过程称为“分支（Branch）”。 每一次分支得到的子问题最优解的目标函数值，都小于或等于分支前问题的最优解的目标函数值。非整数解的最大值作为新的上界。 如果某一个子问题的最优解是整数解，就作为整数规划最优目标函数值的下界。多个时取最大值。最后的下界为整数规划的最优解。 如果某一个子问题的解还不是整数解，但这个非整数解的目标函数值已经小于这个下界，那么这个子问题就不必再进行分支。不然需重复进行分支。 确定整数解目标函数值上下界并不断更新 ，“剪除”目