Решение задач - методы спуска

Решение задач - методы спуска

Методы спуска

Общая схема.

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

Решается задача минимизации функции j(x) на всём пространстве E_n. Методы спуска состоят в следующей процедуре построения последовательности {x_k}. Â качестве начального приближения выбирается любая точка x₀ÎE_n. Последовательные приближения x₁, x₂, … строятся по следующей схеме:

1) в точке x_k выбирают направление спуска - S_k;

2) находят (k+1)-е приближение по формуле x_k+1=x_k-p_kS_k.

Направление S_k выбирают таким образом, чтобы обеспечить неравенство j(x_k+1)<j(x_k) по крайней мере для малых значений величины p_k. На вопрос, какому из способов выбора направления спуска следует отдать предпочтение при решении конкретной задачи, однозначного ответа нет.

Число p_k определяет расстояние от точки x_k до точки х_k+1. Это число называется длиной шага или просто шагом. Основная задача при выборе величины b_k - это обеспечить выполнение неравенства j(x_k+1)<j(x_k). Одним из элементарных способов выбора шага является способ удвоения шага.

Выбирают b_k=b_k-1. Если при этом j(x_k+1)<j(x_k), то либо переходят к следующей (k+2)-й итерации, либо выбирают b_k=2b_k-1. Если значение j(х) меньше его предыдущего значения, то процесс удвоения можно продолжать до тех пор, пока убывание не прекратится. Если j(x_k+1)³j(x_k), то выбирают b_k=0.5b_k-1. Если j(x_k-0.5b_k-1S_k)<j(x_k), то полагают x_k+1=x_k-0.5b_k-1S_k и переходят к следующей (k+2)-й итерации. Если же j(x_k-0.5b_k-1S_k)³j(x_k), то выбирают b_k=0.25b_k-1 и т.д.

Метод градиентного спуска.

Одним из самых распространённых методов минимизации, связанных с вычислением градиента, является метод спуска по направлению антиградиента минимизируемой функции. В пользу такого выбора направления спуска можно привести следующие соображения. Поскольку антиградиент, то есть j’(x_k) в точке x_k указывает направление наискорейшего убывания функции, то естественным представляется сместиться из точки x_k по этому направлению.

Метод спуска, в котором S_k=j’(x_k), называется методом градиентного спуска.

Величина b_k в методе градиентного спуска традиционно вычисляется путём применения одного из методов одномерной минимизации функции y(b)=j(x_k-bj’(x_k)), что не исключает применение и других способов отыскания b_k.

Если в качестве b_k выбирают точку одномерного минимума функции y(b)=j(x_k-bS_k) релаксационный процесс называется методом наискорейшего спуска: x_k+1=x_k-b_kj’(x_k), b_k=arg min {y(b)=j(x_k-bS_k) | b³0}.

Метод покоординатного спуска.

Одним из наиболее простых способов определения направления спуска является выбор в качестве S_k одного из координатных векторов ±e₁, ±e₂, …, ±e_n, вследствие чего у x_k на каждой итерации изменяется лишь одна из компонент.

Существуют многочисленные варианты покоординатного спуска. Но в любом из этих методов выбирают в качестве -S_k то из двух направлений, +e_j, -e_j, которому соответствует неравенство

 [j’(x_k), S_k] > 0.

В случае, если =0, полагают x_k+1=x_k и переходят к следующей итерации.

Опишем первый цикл метода, состоящий из n итераций. В произвольной точке x₀ выбирают S₀=±e, и определяет величину b₀ способом удвоения так, чтобы было j(x₁)=j(x₀-b₀S₀)<j(x₀). Затем выбирают S₁=±e₂ и, полагая b=b₀, удвоением вычисляют b₁ и так далее. При этом на каждой итерации стремятся определение величины шага методом удвоения осуществлять с наименьшим числом вычислений значений функции j(х). Цикл заканчивается при k=n-1, после чего начинают следующий цикл, полагая S_n=±e₁ и т.д.

На практике нам нужно было найти минимум функции z(x)=x²+y²-xy-3y c точностью e, используя описанные выше методы.

Нахождение минимума моей функции с помощью метода покоординатного спуска.

Для нахождения минимума моей функции с помощью метода покоординатного спуска я использовал программу, представленную ниже. Входными параметрами этой программы являются координаты начальной точки (я взял х=10, y=10), начальный шаг по х и по y (я взял Dх=0.5 и Dy=0.5), а так же точность (e=10^-5; большую точность брать не имеет смысла, поскольку во время выполнения программы накапливается ошибка и искажает данные такой точности). Итак, взяв в качестве начальных условий эти значения я получил координаты точки минимума:

х= 1,00000977

y= 1,99999931

z=-3,00000142

Для получения результата программой было выполнено 24 итерации.

Нахождение минимума с помощью метода градиентного спуска.

Программа, использованная мной для выполнения этой задачи представлена ниже.

Поскольку входные параметры этой программы совпадают со входными параметрами задачи №1, то я взял их такие же, что и для первой задачи, чтобы, сравнив полученные результаты и количество итераций, необходимых для поиска минимума, я смог сделать какие-либо выводы о преимуществах и недостатках обеих задач из практики.

Итак, взяв те же начальные условия я получил следующие результаты:

x= 1,00000234

y= 2,00000119

z=-3,00000094

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

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

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