Bariyer işlevi - Barrier function

Kısıtlı olarak optimizasyon, bir alan matematik, bir bariyer işlevi bir sürekli işlev nokta sınırına yaklaştıkça bir noktadaki değeri sonsuza yükselen Uygulanabilir bölge bir optimizasyon problemi.[1][2] Bu tür işlevler eşitsizliği değiştirmek için kullanılır kısıtlamalar Amaç işlevinde ele alınması daha kolay olan cezalandırıcı bir terim ile.

En yaygın iki bariyer işlevi türü şunlardır: ters bariyer fonksiyonları ve logaritmik bariyer fonksiyonları. Logaritmik bariyer işlevlerine olan ilginin yeniden başlaması, bunların primal-dual ile olan bağlantılarıyla motive edildi. iç nokta yöntemleri.

Motivasyon

Aşağıdaki kısıtlanmış optimizasyon problemini düşünün:

küçültmek f(x)
tabi xb

nerede b sabittir. Eşitsizlik kısıtlamasının kaldırılması istenirse, sorun şu şekilde yeniden formüle edilebilir:

küçültmek f(x) + c(x),
nerede c(x) = ∞ Eğer x < b, aksi takdirde sıfır.

Bu problem birincisine eşdeğerdir. Eşitsizlikten kurtulur ama ceza işlevinin cve dolayısıyla amaç işlevi f(x) + c(x), dır-dir süreksiz, kullanımını engellemek hesap çözmek için.

Artık bir bariyer işlevi, sürekli bir yaklaşımdır g -e c sonsuzluğa meyillidir x yaklaşımlar b yukardan. Böyle bir işlevi kullanarak, yeni bir optimizasyon problemi formüle edilir, yani.

küçültmek f(x) + μ g(x)

nerede μ > 0 ücretsiz bir parametredir. Bu sorun orijinal sorunla eşdeğer değil, μ sıfıra yaklaşırsa, her zamankinden daha iyi bir yaklaşım haline gelir.[3]

Logaritmik bariyer işlevi

Logaritmik bariyer fonksiyonları için, olarak tanımlanır ne zaman ve aksi takdirde (1 boyutta. Daha yüksek boyutlarda bir tanım için aşağıya bakın). Bu esasen şu gerçeğe dayanır: negatif sonsuzluğa meyillidir 0 eğilimindedir.

Bu, optimize edilmekte olan işleve, daha az aşırı değerleri destekleyen bir gradyan sağlar. (bu durumda daha düşük değerler ), bu aşırılıklardan uzakta işlev üzerinde nispeten düşük etkiye sahipken.

Logaritmik bariyer fonksiyonları, hesaplama açısından daha ucuz olanlara göre tercih edilebilir ters bariyer fonksiyonları Optimize edilen işleve bağlı olarak.

Daha yüksek boyutlar

Her boyutun bağımsız olması koşuluyla, daha yüksek boyutlara genişletmek basittir. Her değişken için kesinlikle daha düşük olacak şekilde sınırlandırılmalıdır , Ekle .

Resmi tanımlama

küçültmek tabi

Kesinlikle uygulanabilir olduğunu varsayın:

Tanımlamak logaritmik bariyer

Ayrıca bakınız

Notlar

Referanslar

  1. ^ Nesterov, Yurii (2018). Dışbükey Optimizasyon Dersleri (2 ed.). Cham, İsviçre: Springer. s. 56. ISBN  978-3-319-91577-7.
  2. ^ Nocedal, Jorge; Wright, Stephen (2006). Sayısal Optimizasyon (2 ed.). New York, NY: Springer. s. 566. ISBN  0-387-30303-0.
  3. ^ Vanderbei, Robert J. (2001). Doğrusal Programlama: Temeller ve Uzantılar. Kluwer. s. 277–279.

Dış bağlantılar