Satz: Komplementärer Schlupf

Seien ein allgemeines Optimierungsproblem und ein zugehöriges duales Problem geben.
Sei eine optimale Lösung des primalen Problems.
Sei eine optimale Lösung des dualen Problems.

Gilt zwischen den beiden Problemen starke Dualität, so folgt mit dem Satz über den komplementären Schlupf (auch Komplementaritätsbedingung):

Das heißt:

  • gilt , so muss für den entsprechenden Lagrangemultiplikator gelten ,
  • gilt , so muss für den entsprechenden Lagrangemultiplikator gelten .