Slaters durumu - Slaters condition - Wikipedia

İçinde matematik, Slater'in durumu (veya Slater durumu) bir yeterli koşul için güçlü ikilik beklemek dışbükey optimizasyon problemi, adını Morton L. Slater'den almıştır.^[1] Slater'ın durumu gayri resmi olarak şunu belirtir: Uygulanabilir bölge olmalı iç nokta (aşağıdaki teknik ayrıntılara bakın).

Slater'ın durumu, belirli bir kısıtlama yeterliliği.^[2] Özellikle, Slater'in durumu ilk sorun, sonra dualite boşluğu 0'dır ve ikili değer sonlu ise o zaman elde edilir.^[3]

Formülasyon

Yi hesaba kat optimizasyon sorunu

{ displaystyle { text {Simge Durumuna Küçült}} ; f_ {0} (x)}

{ displaystyle { text {konu:}} }

{ displaystyle f_ {i} (x) leq 0, i = 1, ldots, m}

{ displaystyle Ax = b}

nerede ${ displaystyle f_ {0}, ldots, f_ {m}}$ vardır dışbükey fonksiyonlar. Bu bir örnektir dışbükey programlama.

Bir deyişle, Slater'in dışbükey programlama koşulu, güçlü bir dualitenin, bir ${ displaystyle x ^ {*}}$ öyle ki ${ displaystyle x ^ {*}}$ kesinlikle mümkün (yani tüm kısıtlamalar yerine getirilir ve doğrusal olmayan kısıtlamalar katı eşitsizliklerle karşılanır).

Matematiksel olarak, Slater'ın durumu, güçlü bir dualitenin, bir ${ displaystyle x ^ {*} in operatöradı {relint} (D)}$ (burada relint, göreceli iç dışbükey kümenin ${ displaystyle D: = cap _ {i = 0} ^ {m} operatöradı {dom} (f_ {i})}$ ) öyle ki

{ displaystyle f_ {i} (x ^ {*}) <0, i = 1, ldots, m,}

(dışbükey, doğrusal olmayan kısıtlamalar)

{ displaystyle Ax ^ {*} = b. ,}

^[4]

Genelleştirilmiş Eşitsizlikler

Sorun göz önüne alındığında

{ displaystyle { text {Simge Durumuna Küçült}} ; f_ {0} (x)}

{ displaystyle { text {konu:}} }

{ displaystyle f_ {i} (x) leq _ {K_ {i}} 0, i = 1, ldots, m}

{ displaystyle Ax = b}

nerede ${ displaystyle f_ {0}}$ dışbükey ve ${ displaystyle f_ {i}}$ dır-dir ${ displaystyle K_ {i}}$ - her biri için dışbükey ${ displaystyle i}$ . Sonra Slater'in durumu, eğer varsa ${ displaystyle x ^ {*} in operatöradı {relint} (D)}$ öyle ki

{ displaystyle f_ {i} (x ^ {*}) <_ {K_ {i}} 0, i = 1, ldots, m}

ve

{ displaystyle Baltası ^ {*} = b}

o zaman güçlü dualite geçerlidir.^[4]

Referanslar

^ Slater, Morton (1950). Lagrange Çarpanları Yeniden Ziyaret Edildi (PDF). Cowles Komisyonu Tartışma Belgesi No. 403 (Bildiri). Yeniden basıldı Giorgi, Giorgio; Kjeldsen, Tinne Hoff, editörler. (2014). Doğrusal Olmayan Programlamanın İzleri ve Ortaya Çıkışı. Basel: Birkhäuser. s. 293–306. ISBN 978-3-0348-0438-7.
^ Takayama, Akira (1985). Matematiksel İktisat. New York: Cambridge University Press. pp.66–76. ISBN 0-521-25707-7.
^ Borwein, Jonathan; Lewis, Adrian (2006). Konveks Analiz ve Doğrusal Olmayan Optimizasyon: Teori ve Örnekler (2. baskı). Springer. ISBN 0-387-29570-4.
^ ^a ^b Boyd, Stephen; Vandenberghe, Lieven (2004). Dışbükey Optimizasyon (pdf). Cambridge University Press. ISBN 978-0-521-83378-3. Alındı 3 Ekim 2011.

[1] Slater, Morton (1950). Lagrange Çarpanları Yeniden Ziyaret Edildi (PDF). Cowles Komisyonu Tartışma Belgesi No. 403 (Bildiri). Yeniden basıldı Giorgi, Giorgio; Kjeldsen, Tinne Hoff, editörler. (2014). Doğrusal Olmayan Programlamanın İzleri ve Ortaya Çıkışı. Basel: Birkhäuser. s. 293–306. ISBN 978-3-0348-0438-7.

[2] Takayama, Akira (1985). Matematiksel İktisat. New York: Cambridge University Press. pp.66–76. ISBN 0-521-25707-7.

[3] Borwein, Jonathan; Lewis, Adrian (2006). Konveks Analiz ve Doğrusal Olmayan Optimizasyon: Teori ve Örnekler (2. baskı). Springer. ISBN 0-387-29570-4.

[boyd-4] Boyd, Stephen; Vandenberghe, Lieven (2004). Dışbükey Optimizasyon (pdf). Cambridge University Press. ISBN 978-0-521-83378-3. Alındı 3 Ekim 2011.

[1]

[2]

[3]

[4]