[管理学]第一章 线性规划C3.ppt

§4 单纯形法的进一步讨论(第5讲) 1、人工变量法（大M法） 前面对于约束条件是“≤”的线性规规划求解问题，我们已经做了研究。 当约束条件是“≥ ”的情况下，可先在不等式左端减去一个大于等于零的剩余变量（也可称为松弛变量）化为等式，然后再添加一个人工变量 ；对于等式的可直接加人工变量。 小结 在线性规划问题的约束条件是“=”或“≥”的情况下： 1、添加人工变量，构造单位矩阵作为初始可行基。 当约束条件为“≥”时，需要添加剩余变量和人工变量。 当约束条件为“=”时，而系数矩阵又不含单位阵，直接添加人工变量。 2、将人工变量在目标函数中对应的系数设为-M（M为任意大的正数） 注意： 人工变量与松弛变量、剩余变量不同。松弛变量和剩余变量可以取零值或正值，而人工变量只能取零值。 当检验数都满足最优条件，但基变量中仍有人工变量，说明原线性规划问题无可行解。 用大M法处理人工变量，用手工计算求解时不会碰到麻烦。但用计算机求解时，由于计算机计算时取值上的误差，有可能使计算结果发生错误。 为了克服这个困难，可以对添加人工变量后的问题求解分两个阶段来计算，故称之为“两阶段法”。 第二阶段是从上面最后一个表中将人工变量 去掉，则目标函数改为： 继续利用单纯形法求解，见下表 3、关于解的判别 1、无穷多最优解 当所有的σj≤0， 又对某个非基变量xk有σk =0，且按公式 可以找到Θ＞ 0，这表明可找到另一基本可行解使目标函数值也达到最大，则有无穷多最优解。 2、无界解 如果单纯形表中，存在某个σj＞ 0，但对应列向量pj中所有分量aij ≤0，这时线性规划问题存在无界解。 3、无可行解：当线性规划问题中添加了人工变量，问题满足最优性条件时，基变量仍含有人工变量，表明问题无可行解。 下面对图解法中已求解过的几个例子，再用单纯形法计算，对比一下各种解在单纯形表中的出现形式。 练习题： 练习题： 练习题： 综合习题：下表是某求极大化线性规划问题得到的单纯形表，表中无人工变量，a1,a2,d,c1,c2为待定的常数，试说明这些常数分别取何值时，以下结论成立。 【例4】用单纯形法求解线性规划问题 。 【解】在图解法中已知这个例子属无可行解。先将其化为标准形式  用大M法求解，过程见如下单纯形表： 此时，所有бj≤0，但人工变量仍留在基变量中且不为零，故问题无可行解。 0 0 0 c2 c1 Cj-zj 0 0 1 x5 0 1 0 x4 1 0 0 x3 a1 -5 -3 x2 4 -1 a2 x1 x3 d x4 2 X5 3 1、表中解为唯一最优解。2、表中解为最优解，但存在无穷多最优解。3、该线性规划问题具有无界解。4、表中解非最优解，为对解改进，换入变量为x1，换出变量为x5。5、该线性规划问题无可行解。 * 【例1】用单纯形法求解线性规划问题  解：先标准化。在约束条件 中添加松弛变量，在 中添加剩余变量后得： 而此时 A= 上式中不存在单位矩阵，这给用前面熟悉的方法带来了困难：一是若从中确定一个基，却难以保证找到相应的基本可行解；二是即使找出了基本可行解，仍难以建立初始单纯形表。因此需要把A转化为含有单位矩阵的系数阵。 为此在上式中人为地添加人工变量，以人为造出单位阵 从而，系数矩阵变为：   但是，加人工变量的约束条件和未加人工变量的约束条件决定的可行域可能不同，而线性规划问题，就是在一个固定的目标函数下，在一个固定的区域上寻优。 若可行域变了，目标函数不变，原问题的最优解一般也要变。但是当 时，变化后的约束条件和原问题约束条件是同解的，即：可行域是一致的，且在最优解中人工变量取值必须为零。为此，我们令目标函数为：  这里M是一个任意大的正数，所以只要当人工变量的取值不为零，目标函数就不可能极大化。若检验数 ，而 不为零，则原问题无最优解。 从而问题变为： 这种用添加M来处理人工变量的方法称为大M法。在用单纯形法求解时，M 可看作一个代数符号一起参加运算。 对应的单纯形表如下： 单 纯 形 表 (表一、表二) 单 纯 形 表 (表三、表四) 2、两阶段法  基本思想（步骤）是： （1）第一阶段先求解一