Slater állapot

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] .

Megfogalmazás

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] .

Általánosított egyenlőtlenségek

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

és

akkor szigorú kettősség van [4] .

Jegyzetek

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

Irodalom