2线性规划的对偶理论.ppt

第二章 线性规划的 对偶理论 第一节 对偶问题的提出 任何线性规划问题都有其对偶问题 对偶问题有其明显的经济含义 设A、B资源的出售价格分别为 y1 和 y2 显然商人希望总的收购价越小越好 工厂希望出售资源后所得不应比生产产品所得少 第二节 原问题与对偶问题 标准(max,?)型的对偶变换 目标函数由 max 型变为 min 型 对应原问题每个约束行有一个对偶变量 yi，i=1,2,…,m 对偶问题约束为 ? 型，有 n 行 原问题的价值系数 C 变换为对偶问题的右端项 原问题的右端项 b 变换为对偶问题的价值系数 原问题的技术系数矩阵 A 转置后成为对偶问题的技术系数矩阵 原问题与对偶问题互为对偶 对偶问题可能比原问题容易求解 对偶问题还有很多理论和实际应用的意义 非标准型的对偶变换 对偶变换的规则 第三节 对偶问题的基本性质 弱对偶定理 弱对偶定理推论 max问题的任何可行解目标函数值是其对偶min问题目标函数值的下限； min问题的任何可行解目标函数值是其对偶max问题目标函数值的上限 如果原max(min)问题有可行解且目标函数值无界，则其对偶 min (max)问题无可行解 注：本性质的逆命题不成立，当对偶问题无可行解时，其原问题或具有无界解或无可行解 如果原max(min)问题有可行解，而其对偶 min (max)问题无可行解，则原问题为无界解 注：存在原问题和对偶问题同时无可行解的情况 最优解判别定理 [定理] 若原问题的某个可行解X0的目标函数值与对偶问题某个可行解Y0的目标函数值相等，则X0, Y0分别是相应问题的最优解。 证： 证毕 主对偶定理的证明 证： 设 X0 为原问题的最优解，它所对应的基矩阵是 B， X0= B?1 b，则其检验数满足 C ? CBB?1A ? 0 令 Y0= CBB?1，则有 Y0 A ? C。 显然Y0为对偶问题的可行解。因此有对偶问题目标函数值， g(Y0)=Y0b= CBB?1 b 而原问题最优解的目标函数值为 f(X0)=CX0= CBB?1 b 故由最优解判别定理可知Y0 为对偶问题的最优解。 证毕 该定理的证明告诉我们一个非常重要的概念：对偶变量的最优解等于原问题松弛变量的机会成本 即对偶变量的最优解是原问题资源的影子价格 互补松弛定理 [定理] 设X0, Y0分别是原问题和对偶问题的可行解，U0为原问题的松弛变量的值、V0为对偶问题剩余变量的值。X0, Y0分别是原问题和对偶问题最优解的充分必要条件是 Y0 U0 + V0 X0 = 0 证：由定理所设，可知有 A X0 + U0 = b X0, U0 ?0 (1) Y0 A ? V0 = C Y0, V0 ?0 (2) 分别以Y0左乘(1)式，以X0右乘(2)式后，两式相减，得 Y0 U0 + V0 X0 = Y0 b ? C X0 若 Y0 U0 + V0 X0 = 0，根据最优解判别定理， X0, Y0分别是原问题和对偶问题最优解。反之亦然。 证毕 例3 原问题检验数与对偶问题的解 原问题检验数与对偶问题的解 在主对偶定理的证明中我们有：对偶(min型)变量的最优解等于原问题松弛变量的机会成本，或者说原问题松弛变量检验数的绝对值 容易证明，对偶问题最优解的剩余变量解值等于原问题对应变量的检验数的绝对值 由于原问题和对偶问题是相互对偶的，因此对偶问题的检验数与原问题的解也有类似上述关系。 更一般地讲，不管原问题是否标准，在最优解的单纯型表中，都有原问题虚变量(松弛或剩余) 的检验数对应其对偶问题实变量 (对偶变量)的最优解，原问题实变量(决策变量) 的检验数对应其对偶问题虚变量 (松弛或剩余变量)的最优解。因此，原问题或对偶问题只需求解其中之一就可以了。 第四节 影子价格 以(max,?)为例 影子价格：对偶变量yi 的意义代表对一个单位第i种资源的估价，这种估价不是资源的市场价格，而是对资源在生产中做出的贡献而