若原始问题(对偶问题)有一个确定的最优解,那么对偶问题(原始问题)也有一个确定的最优解,而且这两个最优解所对应的目标函数值相等,这就是强对偶性1。
强对偶性
strong duality property
数学
运筹学(线性规划的对偶理论)
线性规划、最优解、目标函数等
巳知原线性规划及其对偶线性规划,下面给出之间关系的强对偶性定理,总假设的标准型分别为2。
若有最优解,则亦有最优解,而且的最优解对应的目标函数值相等,即
证明:把分别用矩阵表示。
设是用单纯形法求出的的最优解,它对应的基为,而且必有全体检验数。
下面把(1)化为标准形,并求全体检验数的表示式。
其中为松弛变量构成的向量,不失一般性设,相应地,从而
由此可见