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] .
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] .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
șiatunci există dualitate strictă [4] .