Русская Википедия:Барьерная функция

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Барьерная функция — непрерывная функция, значение которой в точке стремится к бесконечности при приближении точки к границе области допустимых решений.

Барьерная функция используется в задачах оптимизации как поправочный член чтобы гарантировать наличие решений в допустимой области. Например, когда ищется оптимальное значение функции <math>f(x)</math>, переменная <math>x</math> может быть ограничена значением, строго меньшим, чем некоторая константа <math>b</math>, путём замены функции на

<math>f(x)-\log(b-x).</math>

При этом функция

<math>x\mapsto -\log(b-x)</math>

играет роль барьерной функции.

Двумя наиболее используемыми типами барьерных функций являются обратные барьерные функции и логарифмические барьерные функции. Возобновление интереса к логарифмическим барьерным функциям вызвано их связью с двойственно-прямыми методами внутренней точки.

Логарифмическая барьерная функция

Для логарифмических барьерных функций <math>g(x,b)</math> определяется как <math>-\log(b-x)</math> для <math>x < b</math> и <math>\infty</math> в противном случае (в размерности 1. Смотрите ниже для более высоких размерностей). При таком определении опираются на факт, что <math>\log(t)</math> стремится к минус бесконечности, когда <math>t</math> стремится к 0.

Это даёт большие значения градиента для оптимизируемой функции вблизи <math>b</math>, в то время как изменения функции вдали от <math>b</math> мало изменяются.

Вместо логарифмической барьерной функции может быть удобнее использовать обратную барьерную функцию, имеющую меньшую вычислительную сложность, но это зависит от оптимизируемой функции.

Если переменных несколько, то следует добавить по барьерной функции для каждой переменной <math>x_i</math>, которая должна быть строго ограничена значением <math>b_i</math>, добавляем <math>-\log(b_i-x_i)</math>.

Формальное определение

Минимизировать <math> \mathbf c^Tx</math> при условиях <math>\mathbf a_i^T x \le b_i, i = 1,\ldots,m</math>

Принимаем строгие ограничения: <math> \{\mathbf x|A x < b\}\ne\emptyset </math>

Определим логарифмический барьер <math>\Phi(x) = \begin{cases}

\sum_{i=1}^m -\log(b_i - a_i^Tx), Ax<b \\ +\infty, Ax \ge b \end{cases}</math>

Литература

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

Шаблон:Math-stub