运筹学11-整数规划I.pptVIP

School of Business ECUST 3、对当前问题进行分枝和定界： 对当前子问题进行考察，若不需再进行计算，则称之为剪枝。遇到下列情况之一，便可以剪枝： ① 该子问题无可行解； ② 该子问题的最优解已经满足整数约束； ③ 该子问题的最优值低于下界z 。 通过比较，若子问题不剪枝则返回 2 。 当所有子问题都剪枝了，即没有需要处理的子问题时，整个问题计算完毕。 School of Business ECUST 例 求解问题A Max z=40x1+90x2 9x1+7x2 ≤ 56 7x1+20x2≤70 x1,x2≥0, 整数 B: z0=356 x1=4.81 x2=1.82 B1:z1=349 x1=4.00 x2=2.10 B2:z2=341 x1=5.00 x2=1.57 B12: z12=327 x1=1.42 x2=3.00 x2≥3 B11: z11=340 x1=4.00 x2=2.00 B21: z21=308 x1=5.44 x2=1.00 B22: 无可 行解 x1 ≤4 x2 ≤1 x1≥5 x2≥2 问题B为: Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2≤70 x1,x2≥0 问题B2为: Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2 ≤ 70 x1 ≥ 5 x1,x2 ≥ 0 问题B1为: Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2 ≤ 70 x1 ≤4 x1,x2≥0 x2 ≤2 问题B11为: Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2 ≤ 70 x1 ≤4 x2 ≤2 x1,x2≥0 问题B12为: Max z=40x1+90x2 9x1+7x2≤56 7x1+20x2 ≤ 70 x1 ≤4 x2 ≥3 x1,x2 ≥ 0 * School of Business ECUST (2) 构造割平面： 首先，根据最优单纯形表，可以得到下面两个约束方程： 这两个右端项为分数的约束方程都可以用作产生割平面的源行(source row)，任选其中的一个，例如x2方程，将该方程中的每一个非整数系数分解成整数和非负真分数之和： 将方程中所有整数部分移到方程左边，所有的分数部分移到方程右边： School of Business ECUST 由于x3，x4都是非负的，所以必然有 另外，由于x2为整数，所以 x2-3 也是整数，所以方程的右端 一定也是整数，因此，有 即 加入松弛变量x5： 割平面I的方程 School of Business ECUST (3) 将割平面约束加入最优单纯形表，继续求解； 利用对偶单纯形法，可求得 School of Business ECUST 最优解中，x2为整数，但x1和x3仍然不是整数，还需要再构造割平面对问题的可行域进行切割。任选x1的约束方程为源行，有 由x4, x5为非负值，得 又因为x1, x5为整数，所以 一定是整数，因此有 注：在使用这种分数型割平面法时， 有一条重要的假设，即所有的变量 (包括松弛变量和剩余变量)都是整数 型的。这就意味着这种割平面法只能 处理纯整数规划问题。 School of Business ECUST 加入松弛变量x6： 将割平面约束加入单纯形表： 割平面II的方程 School of Business ECUST 利用对偶单纯形法，得到 至此，我们得到了原整数规划问题的最优解： School of Business ECUST 例5：用割平面法求解整数规划问题 解：先求解松弛问题，增加松弛变量x3和x4 ，得到(LP)的初始单纯形表和最优单纯形表： Cj 0 1 0 0 CB XB b x1 x2 x3 x4 0 x3 6 3 2 1 0 0 x4 0 -3 2 0 1 检验数 0 1 0 0 Cj 0 1 0 0 CB XB b x1 x2 x3 x4 0 x1 1 1 0 1