Strong Duality

Definition

$f(p^{\ast })=q(d^{\ast })\iff f(x^{\ast })=q({\mu }^{\ast },{\lambda }^{\ast })$

The primal optimal objective and the dual optimal objective are equal. The Duality Gap of an optimization problem is zero.

Facts

If a strong duality holds, the dual optimal $\iff$ primal optimal