运筹学对偶问题课件.ppt

比较 0 , 0 1 2 5 2 5 3 . . 10 15 min 2 1 2 1 2 1 2 1 ? ? ? ? ? ? ? ? y y y y y y t s y y W 0 , 10 2 5 15 5 3 . . 2 max 2 1 2 1 2 1 2 1 ? ? ? ? ? ? ? x x x x x x t s x x F 生产问题 （要利用资源） 资源利用问题 （会影响生产） 31 第二节 对偶理论 32 定理 1 （对称性定理） ? 对偶问题（ B ）的对偶规划为线性规划（ A ） ? 对称性定理是很重要的。它表明原规划问题（ A ）和对偶 规划问题（ B ）是互为对偶的。也就是说，如果（ B ）是 （ A ）的对偶，那么（ A ）也是（ B ）的对偶。这就为以 后的讨论带来方便。不难理解，如果当 A 具有某种性质时 可以推出 B 的某些性质，于是可以无需另加证明地得到： 当 B 具有某种性质时，问题 A 也具有那些性质。 33 定理 2 （弱对偶定理） ? 当原问题 A 是求最大值 max ，而对偶问题是求 最小值时，如果 X 0 是原问题的任意可行解， Y 0 是对偶问题的任意可行解，则有以下关系式成 立： B Y CX 0 0 ? 34 定理 3 （最优性定理） ? 设 和 分别是问题 A 和 B 的可行解， 若相应于 和 ， A 和 B 的目标函数值 相等，即 ，则 和 分别是 A 和 B 的最优解。 x y x y b y x c ? y x 35 定理 4 （无界性定理） ? 如果原问题 A 的目标函数值无界，则对偶问题 B 无可行解；如果对偶问题 B 的目标函数值无 界，则原问题 A 无可行解。 36 以上三个定理可以这样记忆 ? 原问题 A 和对偶问题 B 如果有可行解，则它们的可行解区域只 可能相接，不可能相交。两个区域的交界线即是它们的最优解， 如果原问题 A 的目标函数无界，意味着可行解区域无界，向外 扩张，挤占了对偶问题 B 的可行解区域，则对偶问题无可行解， 反之同理可说明。 对偶问题 (B) minW 原问题 (A) maxZ y 0 b cx 0 b y x c ? 37 定理 5 （强对偶定理） ? 若线性规划 A 存在最优解，则对偶规划 B 也存 在最优解，并且它们的最优值相等；相反地， 若规划 B 存在最优解，则规划 A 也存在最优解， 并且它们的最优值相等。 38 定理 6 （存在性定理） ? 若线性规划 A 和 B 都存在可行解，则 A 和 B 都存 在最优解。 39 第三节 对偶单纯形法 ? 条件： ? ① b 列中至少有一个 bi0 ； ? ②原问题 A 的检验数满足符号条件。 40 例 ) 4 , 3 , 2 , 1 ( 0 2 4 2 3 2 . . 3 4 min 4 3 2 1 4 3 2 1 4 2 1 ? ? ? ? ? ? ? ? ? ? ? ? ? ? j x x x x x x x x x t s x x x Z j 41 解： min max ? 解：引入松弛变量，化为标准形式： ) 6 , , 2 , 1 ( 0 2 4 2 3 2 . . 3 4 max 6 4 3 2 1 5 4 3 2 1 4 2 1 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? j x x x x x x x x x x x t s x x x Z j 42 观察 A 矩阵 ? ? ? ? ? ? ? ? ? ? ? ? ? ? 1 0 1 4 1 2 0 1 1 1 2 1 A 43 解 ? 以上标准形式中没有完全单位向量组，我们将 约束条件进行变换，两边同乘（ -1 ）。 ? A 矩阵中存在完全单位向量组，但 bi0 ，考虑 求解。 用单纯形法求解。 ) 6 , , 2 , 1 ( 0 2 4 2 3 2 . . 3 4 max 6 4 3 2 1 5 4 3 2 1 4 2 1 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? j x x x x x x x x x x x t s x x x Z j ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? 2 4 2 3 2 6 4 3 2 1 5 4 3 2 1 x x x x x x x x x x 4