Бар’ерная функцыя

Пры аптымізацыі з абмежаваннямі бар'ерная функцыя — гэта бесперапынная функцыя, значэнне якой у кропцы імкнецца да бясконцасці пры набліжэнні кропкі да мяжы вобласці дапушчальных рашэнняў (Nocedal, Wright, 1999). Бар'ерная функцыя выкарыстоўваецца як штрафны член пры парушэнні абмежаванняў. Двума найбольш выкарыстоўванымі тыпамі бар'ерных функцый з'яўляюцца зваротныя бар'ерныя функцыі і лагарыфмічныя бар'ерныя функцыі. Аднаўленне цікавасці да лагарыфмічных бар'ерных функцый выклікана іх сувяззю з дваіста-прамымі метадамі ўнутранай кропкі.

Калі шукаецца аптымальнае значэнне функцыі f(x), тэмпература $x$ можа быць абмежаваная значэннем, строга меншым, чым некаторая канстанта $b$, шляхам замены на аптымізацыю функцыі $f(x)+g(x,b)$. Тут $g(x,b)$ — бар'ерная функцыя.

Лагарыфмічная бар'ерная функцыя

Для лагарыфмічных бар'ерных функцый $g(x,b)$ вызначаецца як $-\log (b-x)$ для $x<b$ і $\mathrm{\infty }$ ў адваротным выпадку (у памернасці 1. Глядзіце ніжэй для больш высокіх памернасцяў). Пры такім вызначэнні абапіраюцца на той факт, што $\log (t)$ імкнецца да мінус бясконцасці, калі $t$ імкнецца да 0.

Гэта дае вялікія значэнні градыенту для функцыі, якую аптымізуюць, паблізу $b$, у той час як змены функцыі удалечыні ад $b$ мала змяняюцца.

Замест лагарыфмічнай бар'ернай функцыі можа быць зручней выкарыстоўваць зваротную бар'ерную функцыю, якая мае меншую вылічальную складанасць, але гэта залежыць ад функцыі, якую аптымізуюць.

Высокія памернасці

Пашырэнне да высокіх памернасцяў адбываецца проста, абслугоўваючы кожную памернасць асобна. Для кожнай зменнай $x_i$, якая павінна быць строга абмежаваная значэннем $b_i$, дадаем $-\log (b_i-x_i)$.

Фармальнае вызначэнне

Мінімізаваць ${𝐜}^{T}x$ пры ўмовах ${𝐚}_i^{T}x\le b_i,i=1,\dots ,m$

Прымаем строгія абмежаванні: $\{𝐱|Ax<b\}\ne \mathrm{\varnothing }$

Вызначым лагарыфмічны бар'ер $\mathrm{\Phi }(x)=\{\begin{array}{c}\sum _{i=1}^m-\log (b_i-a_i^{T}x),Ax<b\\ +\mathrm{\infty },Ax\ge b\end{array}$

Літаратура

• Шаблон:Кніга
• Lecture 14: Barrier method from Professor Lieven Vandenberghe of UCLA