运筹学第8-9讲.ppt

证明：设X*、Y*分别为LP(max)与 DP(min)的可行解，则 【定理3.3】 无界性: 若原问题（对偶问题）为无界解则其对偶问题（原问题）为无可行解。 【定理3.4】最优性定理: 设X*与Y*分别是(LP)与(DP)的可行解，且C X*= Y*b ，则X*、Y*分别为(LP)与(DP)的最优解。 证：由定理2任意X由CX≤bY* =CX*，故X*为最优解，同理,Y*为最优解。 Cj → X XB b CB C 0 XB ?j =cj - zj θi XS CB B-1A B-1 C-CBB-1A -CBB-1 回顾单纯形表的结构： 引入m个松弛变量（Xs）将其标准化 给定LP的任意一个基B, 对应的基变量组成的向量记为XB（m维） B对应的单纯性表为： 设 对称形式LP B-1b Cj → XB XB b CB CB CN 0 XB ?j =cj - zj θi XN XS CB B-1N B-1 E 0 CN-CBB-1N -CBB-1 若进一步将B对应的基变量组成的向量记为XB（m维） 而由非基变量组成的向量记为XN（n-m维） 由松弛变量组成的向量记为XS（m维） 则B对应的单纯性表亦可表示为： B-1b 【例3.5】 线性规划 (1) 用单纯形法求最优解； (2) 用基的逆矩阵验证单纯形表的结构 【解】(1) 加入松弛变量x4、x5后，单纯形迭代 如下表所示。 Cj → x1 x2 x3 x4 XB b CB 2 -1 2 1 0 1 0 4 0 1 6 -2 1 0 0 24 x4 x5 0 0 cj - zj 6 -2 1 0 2/2= 1 4/1= 4 0 1/2 3 -1/2 1 x1 x5 3 cj - zj 0 1 -5 0 0 6 0 6 1 0 4 0 1 x1 x2 4 cj - zj 0 0 -11 -2 - 2 6 -2 θi x5 0 1 1 -1/2 1 1/2 0 6 0 1 6 -1 2 原问题最优解为：（4，6,0）T，max z=12 Cj → X XB b CB C 0 XB ?j =cj - zj θi XS CB B-1A B-1 C-CBB-1A -CBB-1 B-1b 观察最优表，可得到基B为最优基的最优性条件： B-1b≥0 C-CBB-1A≤ 0, -CBB-1≤0 【定理3.5】强对偶定理：若互为对偶的两个问题其中 一个有最优解，则另一个也有最优解，且最优值相同。 证明：设X*是原问题对应于基B的最优解， 则对应于B，必有C-CBB-1A≤0， -CBB-1≤0 令Y* = CBB-1≥0， CX*= CBB-1b= Y* b， 所以Y*为最优解 即对偶问题也有最优解。 （此为构造性证明—由原问题的最优解X*， 构造出对偶问题的最优解Y*） 由定理5可得另一结论：若(LP)与(DP)都有可行解，则两者都有最优解，若一个问题无最优解，则另一问题也无最优解。 由定理5的证明过程可得推论：若X*是原问题的最优解，B为最优基，则Y*= CBB-1为对偶问题的最优解。 【定理3.6】兼容性定理 LP(max)的检验数对应于其 DP(min)的一个基本解，其对应关系如下 注：应用定理6 的前提是线性规划为对称形式，而定理1-5则对所有形式线性规划有效。