●对偶(min型)变量的最优解等于原问题松弛变量检验数的 对偶(min型 变量的最优解等于原问题松弛变量检验数的 松弛变量 绝对值 ●对偶问题最优解的剩余变量解值等于原问题对应变量的 对偶问题最优解的剩余变量解值等于原问题对应变量的 对应变量 检验数的绝对值 ●由于原问题和对偶问题是相互对偶的,因此对偶问题的 由于原问题和对偶问题是相互对偶的, 检验数与原问题的解也有类似上述关系. 检验数与原问题的解也有类似上述关系. ●更一般地讲,不管原问题是否标准,在最优解的单纯型 更一般地讲,不管原问题是否标准, 都有原问题虚变量 松弛或剩余) 虚变量( 表中,都有原问题虚变量(松弛或剩余) 的检验数对应其 对偶问题实变量 对偶变量)的最优解,原问题实变量 实变量( 对偶问题实变量 (对偶变量)的最优解,原问题实变量(决 策变量) 的检验数对应其对偶问题虚变量 策变量) 的检验数对应其对偶问题虚变量 (松弛或剩余变 的最优解.因此, 量)的最优解.因此,原问题或对偶问题只需求解其中之 一就可以了. 一就可以了.
n
* j
,
∑b y
i =1 n i j =1 m
m
* i
≤ ∑ bi yi
i =1
m
∑ c j x j = ∑ bi yi ,
∴
∑cjxj ≤
* *
∑ bi yi
i =1 m i =1
m
*
∑c x = ∑c x
j =1 j j j =1 j
j
=
∑b y
i =1 i
* i
= ∑ bi yi
3.强对偶性(对偶定理) 强对偶性(对偶定理) 强对偶性 定理 如果原问题和对偶问题都有可行解, 定理 如果原问题和对偶问题都有可行解,则它们都有最优 且它们的最优解的目标函数值相等. 解,且它们的最优解的目标函数值相等. 证:第一步,证明都有最优解.原问题和对偶问题都有可 第一步,证明都有最优解. 行解,由弱对偶定理推论1可知 原问题目标函数有上界, 可知, 行解,由弱对偶定理推论 可知,原问题目标函数有上界, 对偶问题的目标函数有下界,故一定存在最优解. 对偶问题的目标函数有下界,故一定存在最优解. 第二步,证明最优解的目标函数值相等.根据单纯形 第二步,证明最优解的目标函数值相等. 法的矩阵描述,原问题有最优解,对偶问题为可行解, 法的矩阵描述,原问题有最优解,对偶问题为可行解,且 二者的目标函数值相等,根据最优性定理, 二者的目标函数值相等,根据最优性定理,二者的解均为 最优解. 最优解.