4-2整数规划-分支定界习题.pptVIP

例 maxZ= 6x1 +5 x2 2x1 + x2 ≤9 5x1 +7 x2 ≤35 x1, x2 ≥0 x1, x2取整数 第一步,不考虑变量的整数约束,求相应LP(问题1)的最优解： x1=28/9，x2 =25/9，Z1=293/9 第二步,定界过程 这个解不满足整数约束，这时目标函值Z1是整数规划的目标上界； 因为x1=x2=0是整数规划问题的可行解，所以下界为0。 第三步,分枝过程 将不满足整数约束的变量x1进行分枝，x1称为分枝变量，构造两个新的约束条件： x1≤ [28/9]=3， x1 ≥ [28/9] +1=4  这样就把相应的线性规划的可行域分成两个部分，如图所示。 求解相应的线性规划的最优解 问题2相应的线性规划的最优解：x1=3，x2 =20/7，Z2=226/7 问题3相应的线性规划的最优解：x1=4，x2 =1，Z3=29 第四步，定界过程 LP3的解满足整数约束，不必再分枝，它的目标函数值是29，大于原有下界0，则新的下界为29； 现有上界为未分枝子问题中目标函数最大值，即为226/7。 LP2的解仍不满足整数约束的要求，它的目标函数值226/7大于现有下界，则应继续分枝。 第五步，分枝过程 将不满足整数约束的变量x2进行分枝，构造两个新的约束条件： x2≤ [20/7]=2， x2 ≥ [20/7] +1=3 求解相应的线性规划的最优解 问题4相应的线性规划的最优解： x1=3，x2 =2，Z4=28 问题5相应的线性规划的最优解：x1=14/5，x2 =3，Z5=159/5 第六步，定界过程 LP4的解满足整数约束，不必再分枝，它的目标函数值是28，小于原有下界29，则下界仍为29； 现有上界为未分枝子问题中目标函数最大值，即为159/5。 LP5的解仍不满足整数约束的要求，它的目标函数值159/5大于现有下界29，则应继续分枝。 第七步，分枝过程 将不满足整数约束的变量x1进行分枝，构造两个新的约束条件： x1≤ [14/5]=2，x1≥ [14/5] +1=3 求解相应的线性规划的最优解： 问题6相应的线性规划的最优解： x1=2，x2 =25/7，Z6=209/7 问题7相应的线性规划的最优解：无最优解 第八步，定界过程 LP7的无最优解，不必再分枝，下界仍为29； 现有上界为未分枝子问题中目标函数最大值，即为209/7。 LP6的解仍不满足整数约束的要求，它的目标函数值209/7大于现有下界29，则应继续分枝。 第九步，分枝过程 将不满足整数约束的变量x2进行分枝，构造两个新的约束条件： x2≤ 3， x2≥ 4 求解相应的线性规划的最优解 问题8相应的线性规划的最优解： x1=2，x2 =3，Z8=27 问题9相应的线性规划的最优解：x1=7/5，x2 =4，Z9=142/5 第十步，定界过程 LP8的最优解，满足整数约束，不必再分枝，下界仍为29； 现有上界为未分枝子问题中目标函数最大值，即为29。 虽然LP9的解仍不满足整数约束的要求，它的目标函数值142/5小于现有下界29，则不再继续分枝。 上界=下界，得整数规划问题的最优解： x1=4，x2 =1，Z=29 分枝定界过程 上海财经大学国际工商管理学院 * SHUFE * 上海财经大学国际工商管理学院 SHUFE * 上海财经大学国际工商管理学院 SHUFE 分枝定界法是20世纪60年代由Land-Doig和Dakin等人提出的。这种方法既可用于纯整数规划问题，也可用于混合整数规划问题，而且便于用计算机求解，所以很快成为解整数规划的最主要的方法。 分枝定界法 设有最大化的整数规划问题R，与它相应的线性规划问题为R0，分枝定界法的做法是： (1)用观察法求R的一个可行解，其目标值便是R的最优目标值z*的一个下界z。 (2)求解R0，得R0的最优解x(0)和最优值z0。若x(0)符合R的整数条件，则显然x(0)也是R的最优解，结束；否则，以R0作为一个分枝标明求解的结果，z0是问题R的最优目标值z*的一个上界z。 (3)分枝。取目标函数值最大的一个枝Rs，在Rs的解中任选一不符合整数条件的变量xj，其值为bj，构造两个约束条件xj≤[bj]和xj≥[bj]+1。将两个约束条件分别加入问题Rs，得两个后继规划问题Rs1和Rs2。不考虑整数条件求解这两个后继问题，以每个后继问题为一分枝标明求解的结果。 (4)定界。在各分枝中找出目标函数值最大者作为新的上界z；从已符合