• 1.摘要
  • 2.基本信息
  • 3.强对偶性定理
  • 4.定理证明
  • 5.线性规划的对偶理论
  • 6.参考资料

强对偶性

若原始问题(对偶问题)有一个确定的最优解,那么对偶问题(原始问题)也有一个确定的最优解,而且这两个最优解所对应的目标函数值相等,这就是强对偶性1

基本信息

  • 中文名

    强对偶性

  • 外文名

    strong duality property

  • 所属学科

    数学

  • 所属问题

    运筹学(线性规划的对偶理论)

  • 相关概念

    线性规划最优解目标函数等

强对偶性定理

巳知原线性规划image及其对偶线性规划image,下面给出image之间关系的强对偶性定理,总假设image的标准型分别为image2

image有最优解image,则image亦有最优解image,而且image的最优解对应的目标函数值相等,即

定理证明

证明:image分别用矩阵表示。

image是用单纯形法求出的image的最优解,它对应的基为image,而且必有全体检验数image

下面把(1)化为标准形,并求全体检验数的表示式。

其中image为松弛变量构成的向量,不失一般性设image,相应地image,从而

由此可见