运筹学第1章线性规划及单纯形法复习题.pptVIP

（一）、问题的提出 （二）、数学模型  1、 2、线性规划数学模型的一般形式 3、线性规划的标准形式 4、线性规划问题的解 （一）求解方法 （二）线性规划问题的解 例题 基可行解说明 maxZ=70X1+120X2 P1 P2 P3 P4 P5 9X1+4X2+X3=360 9 4 1 0 0 4X1+5X2 +x4=200 A= 4 5 0 1 0 3X1+10X2+x5 =300 3 10 0 0 1 Xj≥0 j=1,2,…,5 这里m=3,n=5。 Cmn=10 §2 图 解 法 例四、 §4 单纯形法的计算步骤 （三）求解步骤 （四）单纯形表 §5、单纯形法的进一步讨论 例题 作业 （一）、基本思想 将模型的一般形式变成标准形式，再根据标准型模型，从可行域中找一个基本可行解，并判断是否是最优。如果是，获得最优解；如果不是，转换到另一个基本可行解，当目标函数达到最大时，得到最优解。 （二）、线性规划模型的标准形式 例 一、将下列线性规划问题化为标准形式 为无约束（无非负限制） 解: 用 替换 ，且 ， 将第3个约束方程两边乘以（－1） 将极小值问题反号，变为求极大值 标准形式如下： 引入变量 找出一个初始可行解 是否最优 转移到另一个基本可行解 最优解 是 否 循 环 核心是：变量迭代 结束 例 题： (1) 构造初始基本可行解的大M法 模型1 模型2 (其中M为充分大的正数) 定理: 如果 是模型2的最优解,则当Y*=0时, X*一定是模 型1的最优解; 当Y*≠0时, 模型1没有可行解. 反之,如果X*是模型1的最优解, 则 是模型2的最 优解. 证明: 设 是模型2的最优解, 则 显然,如果X是模型1的可行解, 则(X, 0)T是模型2的可行解. 即X*是模型1的可行解;由于Z*=CX*=CX*-METY*≥CX-MET0 故X*是模型1的最优解. 如果Y*≠0,假设模型1有可行解X,则因(X, 0)T是模型2的可行解 则有W*=CX*-METY*≥CX,对于充分大的M不可能成立! 因此模型1没有可行解. 后一结论比较显然.请同学们自己证明. (2) 构造初始基本可行解的二阶段法 模型1 模型3 定理: 如果 是模型3的最优基本可行解,则当Y*=0时, X* 一定是模型1的基本可行解; 当Y*≠0时, 模型1没有可行解. 课堂思考: 1) 该定理与前一定理有何不同? 2) 如何证明? 3) 如何运用该定理求解标准形线性规划? (3) 求解标准形线性规划的流程 A, b, C -M+1/7 -1/7 -M-16/7 -50/7 0 0 -102/7 -Z 1/7 -1/7 5/7 6/7 0 1 45/7 x1 2 -1/7 1/7 2/7 1/7 1 0 4/7 x2 3 x6 x5 x4 x3 x2 x1 b xB cB -M 0 -M -5 3 2 cj 0 -M 0 -5+2M 3-4M 2+3M -Z 5 1 -1 0 1 -5 2 10 x6 -M 7 0 0 1 1 1 1 7 X4 -M x6 x5 x4 x3 x2 x1 b xB cB -M 0 -M -5 3 2 cj 0 1 0 0 x2 -4 -2/3 5/3 -10/3 x1 3 0 0 检验数 - 1/3 -1/3 0 0 -2/3 2/3 -1/3 2/3 x2 -4 40 10 -1/3 1/3 1 0 5/3 -5/3 10/3 40/3 10/3 x8 0 4 -1/3 1/3 0 1 -1/3 1/3 -5/3 4/3 x7 -M x10 x9 x8 x7 x6 x5 x3 b xB cB -M 0 0 -M 5 -5 2 cj 4M-4 3 1 1 x2 -4 3-6M -2 1 -4 x1 3 0 -M 0 0 5-3M 3M-5 2-3M 检验数 2/3 1 -1 0 0 -2 2 -1 2 x10 -M 14 \ 4 0 0 1 0 1 -1 3 14 \ 4 x8 0 2 0 0 0 1 -1 1 -2 2 x7 -M x10 x9 x8 x7 x6 x5 x3 b xB cB -M 0 0 -M 5 -5 2 cj 0 1 0 0 x2 -4 -31/2 -3/2 5/2 -15/2 x1 3 -M 0 -1/2