陈宝林《最优化理论与算法》超详细学习笔记 (四)————第四章 对偶理论
1. 对偶问题的提出
什么是对偶?
对同一事物(或问题),从不同的角度(或立场)提出相对的两种不同的表述。
例如:在平面内,矩形的面积与其周长之间的关系,有两种不同的表述方法。
周长一定,面积最大的矩形是正方形。
面积一定,周长最短的矩形是正方形。
这种表述有利于加深对事物的认识和理解。
线性规划问题也有对偶关系。
2. 线性规划的对偶理论
2.1 原问题与对偶问题的关系
原问题(LP):
max z = c 1 x 1 + c 2 x 2 + ⋯ + c n x n ( a 11 a 12 ⋯ a 1 n ⋮ ⋮ ⋱ ⋮ a m 1 a m 2 ⋯ a m n ) ( x 1 x 2 ⋮ x n ) = ( b 1 ⋮ b m ) x 1 , x 2 , ⋯ , x n ≥ 0 \begin{array}{cccc} \text { max } z & =c_{1} x_{1}+c_{2} x_{2}+\cdots+c_{n} x_{n} & \\ \left(\begin{array}{cccc} a_{11} & a_{12} & \cdots & a_{1 n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m 1} & a_{m 2} & \cdots & a_{m n} \end{array}\right)\left(\begin{array}{c} x_{1} \\ x_{2} \\ \vdots \\ x_{n} \end{array}\right)=\left(\begin{array}{c} b_{1} \\ \vdots \\ b_{m} \end{array}\right) \\ x_{1}, x_{2}, \cdots, x_{n} \geq 0 \end{array} max z⎝⎜⎛a11⋮am1a12⋮am2⋯⋱⋯a1n⋮amn⎠⎟⎞⎝⎜⎜⎜⎛x1x2⋮xn⎠⎟⎟⎟⎞=⎝⎜⎛b1⋮bm⎠⎟⎞x1,x2,⋯,xn≥0=c1x1+c2x2+⋯+cnxn
对偶问题(DP)
min ω = y 1 b 1 + y 2 b 2 + ⋯ + y m b m ( y 1 , y 2 , ⋯ , y m ) ( a 11 a 12 ⋯ a 1 n ⋮ ⋮ ⋱ ⋮ a m 1 a m 2 ⋯ a m n ) ≥ ( c 1 , c 2 , ⋯ , c n ) y 1 , y 2 , ⋯ , y n ≥ 0 \begin{array}{l} \min \omega=y_{1} b_{1}+y_{2} b_{2}+\cdots+y_{\mathrm{m}} b_{m} \\ \left(y_{1}, y_{2}, \cdots, y_{m}\right)\left(\begin{array}{cccc} a_{11} & a_{12} & \cdots & a_{1 n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m 1} & a_{m 2} & \cdots & a_{m n} \end{array}\right) \geq\left(c_{1}, c_{2}, \cdots, c_{n}\right) \\ y_{1}, y_{2}, \cdots, y_{n} \geq 0 \end{array} minω=y1b1+y2b2+⋯+ymbm(y1,y2,⋯,ym)⎝⎜⎛a11⋮am1a12⋮am2⋯⋱⋯