第一章线性规划20140313四川大学.ppt

《运筹学》Ⅱ史慧萍 * * (2)无穷多最优解 BV Eq z x1 x2 x3 x4 右边 比值θ z (0) 1 -1 -1 0 0 0 — x3 (1) 0 1 -1 1 0 1 1 x4 (2) 0 1 1 0 1 2 2 《运筹学》Ⅱ史慧萍 * * BV Eq z x1 x2 x3 x4 右边 比值θ z (0) 1 0 -2 1 0 1 — x1 (1) 0 1 -1 1 0 1 — x4 (2) 0 0 2 -1 1 1 1/2 BV Eq z x1 x2 x3 x4 右边 比值θ z (0) 1 0 0 0 1 2 — x1 (1) 0 1 0 1/2 1/2 3/2 3 x2 (2) 0 0 1 -1/2 1/2 1/2 — 检验数σi≥0，故是最优解。 最优解：x(1)=(3/2，1/2） x(2)=(0，2），最优值为2。 《运筹学》Ⅱ史慧萍 * * BV Eq z x1 x2 x3 x4 右边 z (0) 1 0 0 0 1 2 x3 (1) 0 2 0 1 1 3 x2 (2) 0 1 1 0 1 2 最优解：x(1)=(3/2，1/2） x(2)=(0，2） 是最优解 检验数中非基变量的系数中有零,可能存在无穷多最优解 右边的值与上步单纯形法结果相比一样 《运筹学》Ⅱ史慧萍 * * 当所有检验数均小于或等于零且某个非基变量的检验数等于零并且对应变量的系数中有正数，则表明该线性规划问题有无穷多最优解； 《运筹学》Ⅱ史慧萍 * * 《运筹学》Ⅱ史慧萍 * * （3）无界解 用单纯形法求解下列线性规划问题： 《运筹学》Ⅱ史慧萍 * * BV Eq z x1 x2 x3 x4 x5 右边 比值 z （0） 1 -4 -1 0 0 0 0 x3 (1) 0 -1 1 1 0 0 2 - x4 (2) 0 1 -4 0 1 0 4 4 x5 (3) 0 1 -2 0 0 1 8 8 （0） 1 0 -17 0 4 0 16 x3 (1) 0 0 -3 1 1 0 6 - x1 (2) 0 1 -4 0 1 0 4 - x5 (3) 0 0 2 0 -1 1 4 2 （0） 1 0 0 0 -9/2 17/2 50 x3 (1) 0 0 0 1 -1/2 3/2 12 x1 (2) 0 1 0 0 -1 2 12 x2 (3) 0 0 1 0 -1/2 1/2 2 存在σj0, 但此时迭代中无换出变量，则目标函数值可任意大。 《运筹学》Ⅱ史慧萍 * * -x1+x2=2 x1-4x2=4 x1-2x2=8 x1 x2 无界解 0 2 4 8 可行域 《运筹学》Ⅱ史慧萍 * * 从两次迭代的单纯形表中，得到约束方程组： 经验证，该组解是可行解，此时目标函数 z=4x1+x2=50+4.5M 由于M可以是任意大的正数，因此目标函数值无界解。 《运筹学》Ⅱ史慧萍 * * 无界解线性规划的软件实现过程 如果存在某个正的检验数，而相应变量的系数中没有正数，则表明该线性规划问题有无界解。 《运筹学》Ⅱ史慧萍 * * （4）无可行解 《运筹学》Ⅱ史慧萍 * * 基变量中含有非零的人工变量。这时无可行解。 《运筹学》Ⅱ史慧萍 * * 大M法 大M法首先将线性规划问题化为标准型。如果约束方程组中包含有一个单位矩阵I，那么已经得到了一个初始可行基。否则在约束方程组的左边加上若干个非负的人工变量，使人工变量对应的系数列向量与其它变量的系数列向量共同构成一个单位矩阵。以单位矩阵为初始基，即可求得一个初始的基本可行解。 　 为了求得原问题的初始基本可行解，必须尽快通过迭代过程把人工变量从基变量中替换出来成为非基变量。为此可以在目标函数中赋予人工变量一个绝对值很大的负系数-Ｍ。这样只要基变量中还存在人工变量，目标函数就不可能实现极大化。 以后的计算与单纯形表解法相同，Ｍ只需认定是一个很大的正数即可。假如在单纯形最优表的基变量中还包含人工变量，则说明原问题无可行解。否则最优解中剔除人工变量的剩余部分即为原问题的初始基本可行解。 《运筹学》Ⅱ史慧萍 * * 用大M法求解下面的线性规划问题: 解： 首先将原问题化为标准型 《运筹学》Ⅱ史慧萍 * * 0 1 -1/2 -1/2 0 1/2 1/2 3/2 x2 2 1 0 -1/2 1/2 0 1/2 -1/2 1/2 x1 -1 - -1 1 0 -1 0 0 1 1 x2 2 1/2