Stare Slater

Condiția Slater este o condiție suficientă pentru dualitate strictă într- o problemă de optimizare convexă . Condiția este numită după Morton L. Slater [1] . În mod informal, condiția Slater afirmă că o regiune validă trebuie să aibă un punct interior (vezi detaliile de mai jos).

Condiția Slater este un exemplu de condiții de regularitate [2] . În special, dacă condiția Slater este satisfăcută pentru problema primară , atunci decalajul de dualitate este 0 și, dacă valoarea problemei duale este finită, se atinge [3] .

Formulare

Luați în considerare problema de optimizare

Minimizați Cu restricții ,

unde sunt funcții convexe . Aceasta este o instanță a unei probleme de programare convexă .

Cu alte cuvinte, condiția Slater pentru programarea convexă afirmă că dualitatea puternică este valabilă dacă există un punct care se află strict în domeniul soluțiilor fezabile (adică, toate constrângerile sunt valabile, dar constrângerile neliniare sunt valabile ca inegalități stricte).

Din punct de vedere matematic, condiția Slater afirmă că dualitatea puternică este valabilă dacă există un punct (unde reluare denotă interiorul relativ al unei mulțimi convexe ) astfel încât

(constrângeri neliniare convexe) [4] .

Inegalități generalizate

Lasă sarcina să fie dată

Minimizați Cu restricții ,

unde funcția este convexă și este convexă pentru orice . Atunci condiția Slater spune că, în cazul în care există , astfel încât

și

atunci există dualitate strictă [4] .

Note

  1. Slater, 1950 .
  2. Takayama, 1985 , p. 66–76.
  3. Borwein, Lewis, 2006 .
  4. 1 2 Boyd, Vandenberghe, 2004 .

Literatură