原對偶問題

T y s . t .    A

T y + s = c s ≥ 0 \max_y\;b^Ty\\s.t.\;A^Ty+s=c\\s\geq 0\tag{2}
$A \in \R^{m\times n}, s \in \R^{n}, y \in \R^{m}$

等價問題：
$\min_y\;-b^Ty\\s.t.\;A^Ty+s=c\\s\geq 0\tag{2}$
對偶問題的推導參見博文《線性規劃——對偶問題的推導》。

---

引入拉格朗日函式： $L(x,y,s) = -b^Ty +x^T(A^Ty+s-c)$
$g(x) \triangleq \inf_{y,s}L(x,y,s) \\= \inf_{y,s} \{-c^Tx +(Ax-b)^Ty +x^Ts\} \\=-c^Tx +\inf_y(A^Tx-b)^Ty +\inf_sx^Ts$

分開來看，
$\inf_y(Ax-b)^Ty \\=\left\{ \begin{array}{lr} 0, \;\;\;\;\;\;\;\;\;\;\;Ax-b=0& \\ -\infty, \;\;\;\;\;\;\;otherwise& \end{array} \right.$
$\inf_sx^Ts \\=\left\{ \begin{array}{lr} 0, \;\;\;\;\;\;\;\;\;\;\;z \geq0& \\ -\infty, \;\;\;\;\;\;\;otherwise& \end{array} \right.$
顯然，最大化 $g(x)$ 只有在其有下界時有意義。因此得到約束條件： $Ax-b=0, z \geq0。$
原對偶問題的對偶問題為： $maximize \;\;-c^Tx \\s.t.\;\;Ax-b=0\\z \geq0$等價於 $minimize \;\;c^Tx \\s.t.\;\;Ax-b=0\\z \geq0$即為線性規劃的標準形式。
得出結論： 線性規劃的對偶問題的對偶問題是原問題。