原問題

對偶問題

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

推導

引入拉格朗日函式: $L(x,\lambda,\mu) = c^Tx+\lambda^T(Ax-b)-\mu^T x$要求 $\mu >0$， $\lambda$隨意。容易驗證： $\sup_{\lambda,\mu} L(x,\lambda,\mu) = c^Tx$因而原問題就等價於： $\inf_{x\in D}\sup_{\lambda,\mu} L(x,\lambda,\mu), \tag{P}$其中可行域 $D=\{x| Ax=b, x \geq 0\}$。下面我們構造對偶問題：
$\sup_{\lambda,\mu}\inf_{x} L(x,\lambda,\mu). \tag{D}$
先對 x 取下界：
$\inf_{x} L(x,\lambda,\mu) \\= -\lambda^Tb + \inf_x{(c+A^T\lambda -\mu)^Tx} \\=\left\{ \begin{array}{lr} -\lambda^Tb, \;\;\;\;c+A^T\lambda -\mu=0& \\ -\infty, \;\;\;\;\;\;\;otherwise& \end{array} \right.$
顯而易見，對偶問題 (D) 值有當 $c+A^T\lambda -\mu=0$ 時才有意義。所以對偶問題寫成： $\max_\lambda\;-b^T\lambda\\s.t.\; A^T\lambda-\mu+c=0\\\mu\geq 0$令 $y = -\lambda, s=\mu$ 即變成問題 (2)。