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] .
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] .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
også er der streng dualitet [4] .