Starker Dualitätssatz

Wenn die Äquivalenzen

1. Das primale Problem ist zulässig und nach unten beschränkt
2. Das duale Problem ist zulässig und nach oben beschränkt
3. Das primale Problem ist lösbar
4. Das duale Problem ist lösbar
5. Das primale Problem und das duale Problem sind beide zulässig

gelten, dann gilt auch $b^{\top }{y}^{\ast }=c^{\top }{x}^{\ast }.$ Das primale Optimum ist also das duale Optimum.