Сильна двоїстість

Сильна двоїстість — випадок у математичній оптимізації, коли пряма і двоїсті цільові значення рівні. Існує подібний випадок, слабка двоїстість, коли пряма задача має оптимальне значення не менше за двоїсту, тобто, розрив двоїстості більший або рівний нулю.

Лінійне програмування

Пряма задача		Двоїста задача
максимізувати	$c^{T}x$	мінімізувати	$b^{T}y$
за умов	$\begin{array}{c}Ax\le b\end{array}$	за умов	$\begin{array}{c}{A}^{T}y=c\\ y\ge 0\end{array}$

Теорема про сильну двоїстість: Якщо пряма і двоїсті задачі розв'язні, тоді оптимальні точки $x,y$ задовольняють $c^{T}x=y^{T}b$.

Доведення: Розглянемо таке рівняння

$\left[\begin{array}{cc}A& 0\\ -c^T& b^T\\ 0& A^T\\ 0& -A^T\\ 0& -I\end{array}\right]\left[\begin{array}{c}x\\ y\end{array}\right]\le \left[\begin{array}{c}b\\ 0\\ c\\ -c\\ 0\end{array}\right]$

Якщо існують $x,y$, що задовольняють цьому рівнянню, тоді $Ax\le b$, отже $x$ допустимий розв'язок, $y\ge 0$ і $A^{T}y=c$, отже $y$ також допустимий розв'язок. Тоді оскільки $-c^{T}x+b^{T}y\le 0$ та за принцип слабкої двоїстості маємо, що $c^{T}x=y^{T}b$ і на цьому доведення закінчено. Інакше, згідно з наслідком леми Фаркаша, існує вектор $[y^T\lambda x_p^T{x}_m^T{w}^T]\ge 0$, що задовольняє

$\left[\begin{array}{ccccc}{y}^T& \lambda & x_p^T& x_m^T& w^T\end{array}\right]\left[\begin{array}{cc}A& 0\\ -c^T& b^T\\ 0& A^T\\ 0& -A^T\\ 0& -I\end{array}\right]=0$ і $\left[\begin{array}{ccccc}{y}^T& \lambda & x_p^T& x_m^T& w^T\end{array}\right]\left[\begin{array}{c}b\\ 0\\ c\\ -c\\ 0\end{array}\right]<0$

З цього маємо таке

1. $y^{T}A=\lambda c^T$ і $y\ge 0$
2. $\lambda b+A(x_m-x_p)-w=0$, тобто $A(x_p-x_m)\le \lambda b$
3. $y^{T}b<c^T(x_p-x_m)$

Якщо $\lambda >0$, тоді можна помножити вектор $\left[\begin{array}{ccccc}{y}^T& \lambda & x_p^T& x_m^T& w^T\end{array}\right]$ на $1/\lambda$ і вважати, що $\lambda =1$. Однак, тоді пункти 1 і 2 показують, що $x_p-x_m$ і $y$ допустимі для прямої і двоїстої задач відповідно, а пункт 3 суперечить слабкій двоїстості.

Інакше, якщо $\lambda =0$, то з пункту 3 випливає, що або $y^T<0$, або $c^T(x_p-x_m)>0$. У першому випадку двоїста програма необмежена, що суперечить розв'язності прямої. Це можна побачити так: припустимо, що $y_f$ — допустимий розв'язок двоїстої програми, оберемо довільне $\mu >0$ і розглянемо $y_f+\mu y$. Ця сума також є допустимим розв'язком двоїстої програми, оскільки $y_f+\mu y\ge 0$ і $(y_f+\mu y{)}^{T}A=y_f^{T}A+\mu y^{T}A=b^T$ і можна зробити $(y_f+\mu y{)}^T$ як завгодно великим вибравши відповідне $\mu$. Якщо $c^T(x_p-x_m)>0$, то аналогічні доводи показують, що пряма задача необмежена, що також дає суперечність. $◻$

Див. також

• Умова Слейтера