运筹学对偶问题.pptVIP

比较 生产问题 （要利用资源） 资源利用问题 （会影响生产） 第二节 对偶理论 定理1（对称性定理） 对偶问题（B）的对偶规划为线性规划（A） 对称性定理是很重要的。它表明原规划问题（A）和对偶规划问题（B）是互为对偶的。也就是说，如果（B）是（A）的对偶，那么（A）也是（B）的对偶。这就为以后的讨论带来方便。不难理解，如果当A具有某种性质时可以推出B的某些性质，于是可以无需另加证明地得到：当B具有某种性质时，问题A也具有那些性质。 定理2（弱对偶定理） 当原问题A是求最大值max，而对偶问题是求最小值时，如果X0是原问题的任意可行解，Y0是对偶问题的任意可行解，则有以下关系式成立： 定理3（最优性定理） 设 和 分别是问题A和B的可行解，若相应于 和 ，A和B的目标函数值相等，即 ，则 和 分别是A和B的最优解。 定理4（无界性定理） 如果原问题A的目标函数值无界，则对偶问题B无可行解；如果对偶问题B的目标函数值无界，则原问题A无可行解。 以上三个定理可以这样记忆 原问题A和对偶问题B如果有可行解，则它们的可行解区域只可能相接，不可能相交。两个区域的交界线即是它们的最优解，如果原问题A的目标函数无界，意味着可行解区域无界，向外扩张，挤占了对偶问题B的可行解区域，则对偶问题无可行解，反之同理可说明。 对偶问题(B) minW 原问题(A) maxZ y0b cx0 定理5（强对偶定理） 若线性规划A存在最优解，则对偶规划B也存在最优解，并且它们的最优值相等；相反地，若规划B存在最优解，则规划A也存在最优解，并且它们的最优值相等。 定理6（存在性定理） 若线性规划A和B都存在可行解，则A和B都存在最优解。 第三节 对偶单纯形法 条件： ①b列中至少有一个bi0； ②原问题A的检验数满足符号条件。 例 解： min max 解：引入松弛变量，化为标准形式： 观察A矩阵 解 以上标准形式中没有完全单位向量组，我们将约束条件进行变换，两边同乘（-1）。 A矩阵中存在完全单位向量组，但bi0，考虑求解。 用单纯形法求解。 步骤1 判断对偶单纯形法的条件是否满足。 段 Cj ↓ → 基 0 b -1 P1 -4 P2 0 P3 -3 P4 0 P5 0 P6 注 1 0 x5 -3 -1 -2 1 -1 1 0 0 x6 -2 2 1 -4 -1 0 1 Cj-Zj → - -1 -4 0 -3 0 0 θj → 步骤2 在对偶单纯形表中，检验数是b列。 当b0时，得到最优解。 否则，进行换基迭代 段 Cj ↓ → 基 0 b -1 P1 -4 P2 0 P3 -3 P4 0 P5 0 P6 注 1 0 x5 -3 -1 -2 1 -1 1 0 0 x6 -2 2 1 -4 -1 0 1 Cj-Zj → - -1 -4 0 -3 0 0 θj → 步骤3：换基迭代 （1）找主元行：找到b列中绝对值最大者所在行为主元行，记为Pi*，主元行对应的变量Xi*为调出变量。 段 Cj ↓ → 基 0 b -1 P1 -4 P2 0 P3 -3 P4 0 P5 0 P6 注 1 0 x5 -3 -1 -2 1 -1 1 0 0 x6 -2 2 1 -4 -1 0 1 Cj-Zj → - -1 -4 0 -3 0 0 θj → （2）计算θj： 找出主元行Pj*中所有负分量，计算 注：若主元行中没有负分量，则问题无解。 段 Cj ↓ → 基 0 b -1 P1 -4 P2 0 P3 -3 P4 0 P5 0 P6 注 1 0 x5 -3 -1 -2 1 -1 1 0 0 x6 -2 2 1 -4 -1 0 1 Cj-Zj → - -1 -4 0 -3 0 0 θj → - 1 2 - 3 - - （3）找主元列 θj中绝对值最小者所在的列为主元列，记为Pj*，主元列所对应的变量xj*为调入变量。 段 Cj ↓ → 基 0 b -1 P1 -4 P2 0 P3 -3 P4 0 P5 0 P6 注 1 0 x5 -3 -1 -2 1 -1 1 0 0 x6 -2 2 1 -4 -1 0 1 Cj-Zj → - -1 -4 0 -3 0 0 θj → - 1 2 - 3 - - （4）找主元素 主元行与主元列相交处的元素即主元素，记为Pi*j*。 段 Cj ↓ → 基 0 b -1 P1 -4 P2 0 P3 -3 P4 0 P5 0 P6 注 1 0 x5 -3 (-1) -2 1 -1 1 0 0 x6 -2 2 1 -4 -1 0 1 Cj-Zj → - -1 -4 0 -3 0 0 θj → - 1 2