Slater tilstand

Slater-betingelsen er en tilstrækkelig betingelse for streng dualitet i et konveks optimeringsproblem . Tilstanden er opkaldt efter Morton L. Slater [1] . Uformelt siger Slater-betingelsen, at en gyldig region skal have et indre punkt (se detaljer nedenfor).

Slater-betingelsen er et eksempel på regularitetsbetingelser [2] . Især hvis Slater-betingelsen er opfyldt for det primære problem , så er dualitetsgabet 0, og hvis værdien af ​​det dobbelte problem er begrænset, nås den [3] .

Ordlyd

Overvej optimeringsproblemet

Minimer Med restriktioner ,

hvor er konvekse funktioner . Dette er et eksempel på et konveks programmeringsproblem .

Med andre ord siger Slater-betingelsen for konveks programmering, at stærk dualitet gælder, hvis der eksisterer et punkt , som ligger strengt inden for domænet af gennemførlige løsninger (dvs. alle begrænsninger gælder, men ikke-lineære begrænsninger gælder som strenge uligheder).

Matematisk siger Slater-betingelsen, at stærk dualitet gælder, hvis der eksisterer et punkt (hvor relint angiver det relative indre af en konveks mængde ) sådan, at

(konvekse ikke-lineære begrænsninger) [4] .

Generaliserede uligheder

Lad opgaven være givet

Minimer Med restriktioner ,

hvor funktionen er konveks og er konveks for evt . Så siger Slater-betingelsen, at i tilfældet, når eksisterer , sådan at

og

så er der streng dualitet [4] .

Noter

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

Litteratur