A Slater feltétel elégséges feltétele a szigorú dualitásnak egy konvex optimalizálási feladatban . Az állapot Morton L. Slater nevéhez fűződik [1] . Informálisan a Slater feltétel kimondja, hogy egy érvényes régiónak belső ponttal kell rendelkeznie (a részleteket lásd alább).
A Slater feltétel egy példa a szabályossági feltételekre [2] . Konkrétan, ha a Slater-feltétel teljesül az elsődleges feladatra , akkor a dualitási rés 0, és ha a duális probléma értéke véges, akkor elérjük [3] .
Tekintsük az optimalizálási problémát
Minimalizálja Korlátozásokkal ,hol vannak a konvex függvények . Ez egy konvex programozási probléma példája .
Más szavakkal, a konvex programozás Slater-feltétele kimondja, hogy az erős kettősség akkor érvényesül, ha létezik olyan pont , amely szigorúan a megvalósítható megoldások tartományán belül van (azaz minden megszorítás érvényes, de a nemlineáris megszorítások szigorú egyenlőtlenségekként érvényesek).
Matematikailag a Slater-feltétel kimondja, hogy az erős dualitás akkor érvényesül, ha létezik egy pont (ahol a relint egy konvex halmaz relatív belsejét jelöli ), így
(konvex nemlineáris kényszerek) [4] .Adott legyen a feladat
Minimalizálja Korlátozásokkal ,ahol a függvény konvex és konvex bármely . Ekkor a Slater feltétel azt mondja, hogy abban az esetben, ha létezik , olyan, hogy
ésakkor szigorú kettősség van [4] .