Градиентный спуск

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

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

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

Пусть целевая функция имеет вид:

${\displaystyle F({\vec {x}}):\;\mathbb {X} \to \mathbb {R} }$.

И задача оптимизации задана следующим образом:

${\displaystyle F({\vec {x}})\to \min _{{\vec {x}}\in \mathbb {X} }}$

В случае, когда требуется найти максимум, вместо ${\displaystyle F({\vec {x}})}$ используется ${\displaystyle -F({\vec {x}})}$

Основная идея метода заключается в том, чтобы идти в направлении наискорейшего спуска, а это направление задаётся антиградиентом ${\displaystyle -\nabla F}$:

${\displaystyle {\vec {x}}^{[j+1]}={\vec {x}}^{[j]}-\lambda ^{[j]}\nabla F\left({\vec {x}}^{[j]}\right)}$

где ${\displaystyle \lambda ^{[j]}}$задает скорость градиентного спуска и может быть выбрана

• постоянной (в этом случае метод может расходиться);
• убывающей в процессе градиентного спуска;
• гарантирующей наискорейший спуск:
  1. Для поиска минимума ${\displaystyle F\left({\vec {x}}\right)}$ получаем ${\displaystyle \lambda ^{[j]}=\mathrm {argmin} _{\lambda }F\left({\vec {x}}^{[j+1]}\right)=\mathrm {argmin} _{\lambda }\,F\left({\vec {x}}^{[j]}-\lambda \nabla F\left({\vec {x}}^{[j]}\right)\right)}$
  2. Для поиска максимума ${\displaystyle F\left({\vec {x}}\right)}$ получаем ${\displaystyle \lambda ^{[j]}=\mathrm {argmax} _{\lambda }F\left({\vec {x}}^{[j+1]}\right)=\mathrm {argmax} _{\lambda }\,F\left({\vec {x}}^{[j]}+\lambda \nabla F\left({\vec {x}}^{[j]}\right)\right)}$

1. Задают начальное приближение и точность расчёта ${\displaystyle {\vec {x}}^{0},\varepsilon }$
2. Рассчитывают ${\displaystyle {\vec {x}}^{[j+1]}={\vec {x}}^{[j]}-\lambda ^{[j]}\nabla F\left({\vec {x}}^{[j]}\right)}$, где ${\displaystyle \lambda ^{[j]}=\mathrm {argmin} _{\lambda }\,F\left({\vec {x}}^{[j]}-\lambda \nabla F\left({\vec {x}}^{[j]}\right)\right)}$
3. Проверяют условие остановки:
   • Если ${\displaystyle \left|{\vec {x}}^{[j+1]}-{\vec {x}}^{[j]}\right|>\varepsilon }$, ${\displaystyle \left|F\left({\vec {x}}^{[j+1]}\right)-F\left({\vec {x}}^{[j]}\right)\right|>\varepsilon }$ или ${\displaystyle \left\|\nabla F\left({\vec {x}}^{[j+1]}\right)\right\|>\varepsilon }$ (выбирают одно из условий), то ${\displaystyle j=j+1}$ и переход к шагу 2.
   • Иначе ${\displaystyle {\vec {x}}={\vec {x}}^{[j+1]}}$ и остановка.

Для квадратичной функции вида ${\displaystyle {\frac {x^{T}\Gamma x}{2}}+c^{T}x,\Gamma ^{T}=\Gamma }$ метод наискорейшего градиентного поиска сходится из любой начальной точки ${\displaystyle x_{0}}$ со скоростью геометрической прогрессии (линейно) со знаменателем, не превосходящим значение ${\displaystyle q}$. При этом справедливы следующие оценки:

${\displaystyle \exists a=a(x_{0}),T>0:0\leq a\leq q={\frac {\left(\lambda _{min}/\lambda _{max}-1\right)^{2}}{\left(\lambda _{min}/\lambda _{max}+1\right)^{2}}}}$,

${\displaystyle f(x_{k})-f(x^{*})\leq a^{k}(f(x_{0})-f(x^{*}))}$,

${\displaystyle \|x_{k}-x^{*}\|\leq Ta^{k/2}\|x_{0}-x^{*}\|}$,

где ${\displaystyle \lambda _{min}}$ и ${\displaystyle \lambda _{max}}$ — минимальное и максимальное собственные числа матрицы вторых производных ${\displaystyle \nabla ^{2}f(x)=\Gamma }$.

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

Применим градиентный метод к функции ${\displaystyle F(x,y)=\sin \left({\frac {1}{2}}x^{2}-{\frac {1}{4}}y^{2}+3\right)\cos(2x+1-e^{y})}$. Тогда последовательные приближения будут выглядеть так:

Это типичный пример овражной функции. Градиентный метод «прыгает» с одного склона оврага на другой и обратно, иногда почти не двигаясь в нужном направлении, что существенно замедляет сходимость. Другим примером тестовой овражной функции является функция Розенброка.

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

Метод градиентного спуска наиболее простой в реализации из всех методов локальной оптимизации. Имеет довольно слабые условия сходимости, но при этом скорость сходимости достаточно мала (линейна). Шаг градиентного метода часто используется как часть других методов оптимизации, например, метод Флетчера — Ривса.

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

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

Метод градиентного спуска с некоторой модификацией широко применяется для обучения перцептрона и в теории искусственных нейронных сетей известен как метод обратного распространения ошибки. При обучении нейросети типа «персептрон» требуется изменять весовые коэффициенты сети так, чтобы минимизировать среднюю ошибку на выходе нейронной сети при подаче на вход последовательности обучающих входных данных. Формально, чтобы сделать всего один шаг по методу градиентного спуска (сделать всего одно изменение параметров сети), необходимо подать на вход сети последовательно абсолютно весь набор обучающих данных, для каждого объекта обучающих данных вычислить ошибку и рассчитать необходимую коррекцию коэффициентов сети (но не делать эту коррекцию), и уже после подачи всех данных рассчитать сумму в корректировке каждого коэффициента сети (сумма градиентов) и произвести коррекцию коэффициентов «на один шаг». Очевидно, что при большом наборе обучающих данных алгоритм будет работать крайне медленно, поэтому на практике часто производят корректировку коэффициентов сети после каждого элемента обучения, где значение градиента аппроксимируются градиентом функции стоимости, вычисленном только на одном элементе обучения. Такой метод называют стохастическим градиентным спуском или оперативным градиентным спуском. Стохастический градиентный спуск является одной из форм стохастического приближения. Теория стохастических приближений даёт условия сходимости метода стохастического градиентного спуска.

• J. Mathews. Module for Steepest Descent or Gradient Method.
• Метафорическая интерактивная демонстрация метода Наискорейший Пью

• Поляк Б. Т. Введение в оптимизацию. — М.: Наука. Главная редакция физико-математической литературы, 1983. — 384 с.
• Нестеров Ю. Е. Методы выпуклой оптимизации. — М.: Издательство МЦНМО, 2010. — 281 с.
• Гасников А. В. Современные численные методы оптимизации. Метод универсального градиентного спуска : учебное пособие. — М.: МФТИ, 2018. — 291 с. — ISBN 978-5-7417-0667-1.
• Акулич И. Л. Математическое программирование в примерах и задачах. — М.: Высшая школа, 1986. — С. 298-310.
• Гилл Ф., Мюррей У., Райт М. Практическая оптимизация = Practical Optimization. — М.: Мир, 1985.
• Коршунов Ю. М., Коршунов Ю. М. Математические основы кибернетики. — М.: Энергоатомиздат, 1972.
• Максимов Ю. А., Филлиповская Е. А. Алгоритмы решения задач нелинейного программирования. — М.: МИФИ, 1982.
• Максимов Ю. А. Алгоритмы линейного и дискретного программирования. — М.: МИФИ, 1980.
• Корн Г., Корн Т. Справочник по математике для научных работников и инженеров. — М.: Наука, 1970. — С. 575-576.
• Городецкий С. Ю., Гришагин В. А. Нелинейное программирование и многоэкстремальная оптимизация. — Нижний Новгород: Издательство Нижегородского Университета, 2007. — С. 357-363.