Математические методы

1 ? i ? 3 Тогда точное решение x* содержится на отрезке [x_j-1,x_j+1]. Предполагается .

Шаг 3. Полагаем a=x_j-1, b=xj+1, x₂=x_j, y₂=y_j. Если b-a2, то и поиск заканчивается. Иначе перейти к шагу 2.

После к итераций общее число проведенных экспериментов равно N=2к+1, а длина получившегося отрезка неопределенности будет , где [z] - целая часть числа z. Следовательно, достигнутая точность будет , =1/2L_N.

36. Метод касательных

Пусть функция f(x) выпукла и дифференцируема на [a,b]. Идея метода состоит в следующем. Пусть [a,b] - отрезок неопределённости и - результаты вычислений в точках a и b. По этой информации строится аппроксимирующая функция, представляющую из себя кусочно-линейную функцию, состоящую из касательной к f(x) в точке a и касательной к f(x) в точке b.

Полученная аппроксимирующая функция есть ломанная состоящая из прямой L_a(x) на [a,c] и L_b(x) на [c,b], где с - точка пересечения касательных. Легко заметить, что при f(a)>0 и f(b)>0 минимум аппроксимирующей функции достигается в точке с. Значение точки пересечения с можно определить по формуле

В точке с производятся вычисления f(c) и f``(c). Если f``(c)=0, то решением задачи будет x^*=c. Если же f `(c)>0, то в качестве следующего отрезка неопределённости будет [a,c]. Если же f``(c)<0, то - отрезок [c,b]. Процесс повторяется до тех пор, пока f `(c)=0 или отр-к неопр-ти не достигнет заданной точности.

Схема алгоритма:

Шаг 1. Заданы a,b,е. Вычислить .

Шаг 2. Если b-a?2е, то полагаем . Поиск окончен. Если b-a>2е, то вычислить . Если z=0, то полагаем и поиск окончен. Если z<0, то . Если z>0, то . Повт-ть шаг2.

33. Метод золотого сечения

Для того чтобы уменьшить отрезок неопределённости [a,b], нам необходимо вычислить значение целевой функции f(x), по крайней мере, в двух точках на отрезке [a,b].

В результате этих двух экспериментов отрезок неопределённости сузится до отрезка [a,x₂] или [x₁,b]. Так как у нас нет никаких оснований предпочесть один из этих вариантов, то точки x₁ и x₂ должны быть симметричны относительно середины отрезка [a,b]. В этом случае длины отрезков [a,x₂] и [x₁,b] будут равны. Таким образом, остаётся вопрос как выбрать точку x₁.

В методе золотого сечения точка x₁ выбирается из соображения, что должно выполняться соотношение:

т.е. точка x₁ делит отрезок [a,b] по правилу «золотого сечения», где л - есть «золотое отношение». Точка x₂ определяется как точка симметричная к x₁ относительно середины отрезка.

В результате экспериментов у нас получается отрезок неопределённости [a,x₂], содержащий точку x₁, или отрезок неопределённости [x₁б], содержащий точку x₂. Оказывается, что остающаяся точка на суженном отрезке неопределённости делит его вновь по правилу «золотого сечения». Следовательно, чтобы, в свою очередь, уменьшить новый отрезок неопределённости, нам не достаёт одного эксперимента, а именно,

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

а)

б)

где буквы со штрихами обозначают новый отрезок неопределённости. Вариант а) соответствует случаю, если новым отрезком неопределённости будет [a,x₂], а вариант б) - отрезку [x₁,b].

В приводимой ниже схеме алгоритма остающиеся отрезки неопределённости переименовываются каждый раз как [a,b], а точки, в которых проводятся эксперименты на этом отрезке, обозначается через x₁ и x₂, причём . Кроме того, y₁ и y₂ имеют следующие значения: y₁ =f(x₁) и y₂ =f(x₂).

Схема алгоритма

Шаг1. Задаются a,b,е и л=1.618… Вычисляют .

Шаг2. а) Если , то полагают и вычисляют .

б) Если y₁>y₂, то полагают и вычисляют .

Шаг3. Если b-a>е, то переходят к шагу 2. Иначе если y₁<y₂, то полагают и если y₁?y₂, то полагают и

Закончить поиск.

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

35. Теорема об эффективности последовательных методов

Т-ма: число N задано, тогда наилучшей стратегии среди последовательных методов не существует, а метод Фибоначчи явл дельта-оптим стратегией. ; ; ; т.е метод Фибоначчи имеет самый меньший отрезок локализации, а метод зол сеч на 17%.

34. Метод чисел Фибоначчи

Этот метод применяется, когда число экспериментов N заранее задано. Метод чисел Фибоначчи, также как и метод золотого сечения относится к симметричным методам, т.е. точки, в которых выполняются два эксперимента, на основе которых происходит уменьшение отрезка неопределённости, расположены симметрично относительно середины отрезка. Вот только выбор точки x₁ происходит на основе других соотношений. Для этого используются числа Фибоначчи: , где и F₀=F₁=1.Точка x₁ определяется из соотношения:

т.е. . Точка x₁ делит [a,b] на две неравные части. Отношение малого отрезка к большему равно . Точка x₂ определяется как точка, симметричная к x₁ относительно середины отрезка [a,b]. Поэтому . При этом будет выполняться условие x₁<x₂.

В результате экспериментов в точках x₁ и x₂ у нас получится отрезок неопределённости [a,x₂], содержащий точку x₁, или отрезок неопределённости [x₁,b], содержащий точку x₂. Остающаяся точка делит новый отрезок неопределённости на две неравные части в отношении: . То есть в методе Фибоначчи остающаяся точка делит отрезок на две неравные части в пропорциях определяемых числами Фибоначчи. Так на к-ом шаге это отношение равно а длины отрезков равны:

и .

Всё это показано на рисунке:

а)

б)

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

Схема алгоритма

Шаг 1. Задаются a,b,N Вычисляются числа Фибоначчи . Определяется:

Шаг 2. а) Если y₁?y₂, то полагают и вычисляют

.

б) Если y₁>y₂, то полагают и вычисляют .

Повторить шаг 2 N-2 раза.

Шаг 3. Если y₁<y₂, то полагают и . Если y₁?y₂, то полагают

и .

Закончить поиск.

Длина отрезка неопределённости в методе Фибоначчи .

37.Метод парабол

Рассмотрим алгоритм квадратичной интерполяции или метод парабол, т.е. в качестве аппроксимирующей функции используется парабола. Для однозначного задания параболы необходимы три точки. Пусть имеются три точки, для кот-х вып-ся a<c<b, f(c)f(a), f(c)f(b). Так как [a,b] - отрезок неопределенности и f(x) - унимодальная функция, то найти такую точку c нетрудно. Парабола, проходящая через три точки (a,f(a)), (c,f(c)), (b,f(b)), имеет вид

Поскольку f - унимодальная функция, то хотя бы одно из неравенств f(c)f(a), f(c)f(b) строгое и, следовательно, коэф-т при старшем члене P(x) положителен. Тогда P(x) достигает минимума в точке

,

причем (a+c)/2t(c+b)/2. Эта точка и выбирается в качестве точки очередного вычисления знач-я функции.

Если оказалось, что t=c, условимся в качестве точки очередного вычисления выбирать точку (a+c)/2. Итак, следующее вычисление проводится в точке

Определим новый отрезок неопределенности с лежащей внутри него точкой, для которой выполняются условия аналогичные условиям, которым удовлетворяла точка c.В силу унимодальности функции f и в зависимости от выполнения или невыполнения условий x<c, f(x)<f(c), f(x)=f(c) это будут отрезки с точкой внутри: [a,c] и x; [x,b] и c; [x,c] и (x+c)/2; [a,x] и c; [c,b] и x; [c,x] и (x+c)/2. Смотри рисунок. Далее строится парабола, определяется ее минимум, и т.д., до тех пор, пока длина отрезка неопределенности не удовлетворяет заданной точности.



Схема алгоритма:

Шаг 1. Задаются a,c,b и _. Вычислить y_a=f(a), y_c=f(c), y_b=f(b).

Шаг 2. Вычислить , y=f(x), где

Шаг 3. А) При x<c.

Если y<y_c, то b=c, c=x, y_b=y_c, y_c=y.

Если y>y_c, то a=x, y_a=y.

Если y=y_c, то a=x, b=c, c=(x+c)/2, y_a=y, y_b=y_c, y_c=f(c).

Б) При x>c.

Если y<y_c, то a=c, c=x, y_a=y_c, y_c=y.

Если y>y_c, то b=x, y_b=y.

Если y=y_c, то a=c, b=x, c=(x+c)/2, y_a=y_c, y_b=y, y_c=f(c).

Шаг 4. Если b-a, то закончить поиск, положив , иначе перейти к шагу 2.

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

Численные методы отыскания минимума, как правило, состоят в построении последовательности точек {x_k}, удовлетворяющих условию f(x₀)>f(x₁)>…>f(x_n)>…. Методы построения таких последовательностей называются методами спуска. В этих методах точки последовательности {x_k} вычисляются по формуле:

х_k+1 = x_k + _kp_k, k=0,1,2,…,

где p_k - направление спуска, _k - длина шага в этом направлении.

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

23. Принцип минимакса

Размещено на http://www.allbest.ru/

1)

2)

39. Метод конфигураций (метод Хука и Дживса)

Алгоритм включает в себя два основных этапа поиска.

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

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



Схема алгоритма

Шаг 1. Задаются начальное приближение (первая базисная точка) , начальный шаг h для поиска направления спуска, точность решения (предельное значение для шага h). Присваивается к=0.

Шаг 2. (Первый этап).

Определяется направление минимизации целевой функции f(x)=f(x⁽¹⁾,x⁽²⁾,…,x⁽ⁿ⁾) в базисной точке . Для этого последовательно дают приращение переменным x^(j) в точке х_к. Присвоим z=x_k. Циклически даем приращение переменным x^(j) и формируем z^(j)=x_k^(j)+h, если f(z)<f(x_k), если же нет, то z^(j)=x_k^(j)-h, если f(z)<f(x_k), иначе z^(j)=x_k^(j). Так для всех j(j=1,2,…,n).

Шаг 3. Если z=x_k, то есть не определилось подходящее направление, то обследование окрестности базисной точки х_к повторяется, но с меньшим шагом h (например, h=h/2).

Если h>, то перейти к шагу 2, то есть повторить обследование точки х_к.

Если h, то поиск заканчивается, то есть достигнуто предельное значение для шага h и найти приемлемое направление спуска не удается. В этом случае полагается

Шаг 4. (Второй этап).

Если zx_k, то требуется найти новую базисную точку в направлении вектора z-x_k: x_k+1=x_k + (z-x_k), где - коэффициент «ускорения поиска».

Определяется такое значение =_к, при котором достигается наименьшее значение целевой функции в выбранном направлении, то есть функции

f(x_k +(z-x_k) = ().

В зависимости от способа выбора _к возможны варианты метода:

а) _к==const постоянная для всех итераций; б) задается начальное ₀=, а далее _к=_к-1, если f(x_k+1)<f(x_k), иначе дробим _к, пока не выполнится это условие; в) _к определяется решением задачи одномерной минимизации функции ().

Таким образом определяется новая базисная точка x_k+1=x_k + (z-x_k). Полагаем к=к+1 и поиск оптимального решения повторяется с шага 2.

40. Метод симплекса

Под симплексом понимается n-мерный выпуклый многогранник n-мерного пространства, имеющий n+1 вершину. Для n=2 это треугольник, а при n=3 это тетраэдр.

Идея метода состоит в сравнении значений функции в n+1 вершинах симплекса и перемещении симплекса в направлении лучшей точки. В рассматриваемом методе симплекс перемещается с помощью операций отражения. Далее принято следующее: х₀(k), х₁(k), …, х_n(k) - вершины симплекса, где к - номер итерации.

Схема алгоритма

Шаг 1. Построение начального симплекса.

Для этого задаются начальная точка х₀(0) и длина ребра симплекса l. Формируются остальные вершины симплекса:

x_i(0) = x₀(0) + l*e_i (i=1,2,…,n), где e_i - единичные векторы.

Шаг 2. Определение направления улучшения решения.

Для этого на к-й итерации вычисляются значения целевой функции в каждой точке симплекса. Пусть для всех i: f(x_min(k))f(x_i(k))f(x_max(k)), где min, max, i - номера соответствующих вершин симплекса. Опр-м центр тяжести всех точек, исключая точку x_max(k), C_k=(x_i(k))/n.

Тогда направление улучшения решения опр-ся вектором C_k-x_max(k).

Шаг 3. Построение отраженной точки.

Замена вершины x_max(k) с максимальным значением целевой функции на новую точку с помощью операции отражения, результатом которой является новая точка:

u_k=c_k+(c_k-x_max(k))=2c_k-x_max(k)

Шаг 4. Построение нового симплекса.

Вычисляем f(u_k). При этом возможен один из двух случаев:

а) f(u_k)<f(x_max(k);

б) f(u_k)f(x_max(k).

Случай а): вершина x_max заменяется на u_k, чем определяется набор вершин к+1-й итерации и к-я итерация заканчивается.

Случай б): в результате отражения получается новая точка u_k, значение функции в которой еще хуже, чем в точке x_max, то есть отражать симплекс некуда. Поэтому в этом случае производится пропорциональное уменьшение симплекса (например, в 2 раза) в сторону вершины x_min(k): x_i(k+1)=x^{^}_i=(x_i(k)+x_min(k))/2, где i=0,1,…,n.

На этом к-я итерация заканчивается.

Шаг 5. Проверка сходимости.

Если , то поиск минимума заканчивается и полагается

.

В противном случае к=к+1 и происходит переход к шагу 2.

41. Метод деформируемого симплекса (метод Нелдера - Мида)

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

В рассматриваемом методе симплекс перемещается с помощью трех основных операций над симплексом: отражение, растяжение и сжатие.

Схема алгоритма.

Шаг 1. Построение начального симплекса.

Задаются начальная точка х₀(0) и длина ребра l. Формируются остальные вершины симплекса: x_i(0)=x₀(0)+le_i (i=1,2,…,n), где e_i - единичные векторы.

Шаг 2. Определение направления улучшения решения.

Для этого на каждой итерации вычисляются значения целевой функции в каждой вершине симплекса. Пусть для всех i

f(x_min(k))? f(x_i(k)) ? f(x_m(k)) ? f(x_max(k)), где min, m, max, i-номера соответствующих вершин симплекса. Определим центр тяжести всех точек, исключая точку x_max(k),

Тогда направление улучшения решения определяется векторов C_k- x_max(k).

Шаг 3. Построение нового симплекса.

Замена вершины x_max(k) с максимальным значением целевой функции на новую точку с помощью операции отражения, результат которой является новая точка

u_k=C_k+*(C_k-x_max(k)), где -коэффициент отражения.Шаг 4. Построение нового симплекса.

Вычисляем f(u_k), при этом возможно один из трех случаев:

а) f(u_k)< f(x_min(k));

б) f(u_k)>f(x_m(k));

в) f(x_min(k))? f(u_k) ? f(x_m(k));

Случай а): отражённая точка является точкой с наилучшим значением целевой функции. Поэтому направление отражение является перспективным и можно попытаться растянуть симплекс в этом направлении. Для этого строиться точка

V_k= C_k+*(u_k-C_k), где >1 -коэффициент расширения.

Если f(v_k)<f(u_k), то вершина x_max(k) заменяется на v_k, в противном случае на u_k и k-ая итерация заканчивается.

Случай б): в результате отражения получается новая точка u_k, которая, если заменить x_max(k), сама станет наихудшей. Поэтому в этом случае производится сжатие симплекса. Для этого строится точка v_k:

Размещено на http://www.allbest.ru/

где 0<<1 -коэффициент сжатия.

Если f(v_k)<min{f(x_max(k)),f(u_k)}, то вершина x_max(k) заменяется на v_k.

В противном случае вершинам x_i(k+1) (i=0,1,2,..,n) присваивается значение: и на этом k-ая итерация заканчивается.

в) вершина x_max(k) заменяется на u_k, чем определяется набор вершин k+1-й итерации и k -ая итерация заканчивается.

Шаг 5. Проверка сходимости.

Если то поиск минимума заканчивается и полагается В противном случае к=к+1 и происходит переход к шагу 2.

Опыт использования описанного алгоритма показывает, что целесообразно брать следующие значения параметров: =1, =2, =0.5.

42. Градиент

Градиент функции в некоторой точке x_k направлен в сторону наискорейшего локального возрастания функции и перпендикулярен линии уровня (поверхность постоянного значения функции f(x), проходящей через точку x_k). Вектор, противоположный градиенту , называется антиградиентом, который направлен в сторону наискорейшего убывания функции f(x). Выбирая в качестве направления спуска p_k антиградиент - в точке x_k, мы приходим к итерационному процессу вида: x_k+1 = x_k - _k f'(x_k), _k>0, k=0,1,2,….

В координатной форме этот процесс записывается следующим образом:

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

43. Об ортогональности градиента к линии уровня целевой функции

Градиент функции в некоторой точке x_k направлен в сторону наискорейшего локального возрастания функции и перпендикулярен линии уровня (поверхность постоянного значения функции f(x), проходящей через точку x_k). Вектор, противоположный градиенту , называется антиградиентом, который направлен в сторону наискорейшего убывания функции f(x). Выбирая в качестве направления спуска p_k антиградиент - в точке x_k, мы приходим к итерационному процессу вида:

x_k+1 = x_k - _k f'(x_k), _k>0, k=0,1,2,….

В координатной форме этот процесс записывается следующим образом: Градиент всегда перпендикулярен линии уровня

-скалярное произведение

Док -во

Пусть мы выбрали направление (м.б. не совпадающее с направлением f'(x) )

Тогда нужно найти

Скалярное произведение:

-f'(x) -антиградиент



44. Градиент и направление роста целевой функции

Градиент функции в некоторой точке x_k направлен в сторону наискорейшего локального возрастания функции и перпендикулярен линии уровня (поверхность постоянного значения функции f(x), проходящей через точку x_k). Вектор, противоположный градиенту , называется антиградиентом, который направлен в сторону наискорейшего убывания функции f(x). Выбирая в качестве направления спуска p_k антиградиент - в точке x_k, мы приходим к итерационному процессу вида:

x_k+1 = x_k - _k f'(x_k), _k>0, k=0,1,2,….

В координатной форме этот процесс записывается следующим образом:

45. Градиентные методы

Градиент функции в некоторой точке x_k направлен в сторону наискорейшего локального возрастания функции и перпендикулярен линии уровня (поверхность постоянного значения функции f(x), проходящей через точку x_k). Вектор, противоположный градиенту , называется антиградиентом, который направлен в сторону наискорейшего убывания функции f(x). Выбирая в качестве направления спуска p_k антиградиент - в точке x_k, мы приходим к итерационному процессу вида:

x_k+1 = x_k - _k f'(x_k), _k>0, k=0,1,2,….

В координатной форме этот процесс записывается следующим образом:

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

Град методы-общ вид: Х_к

46. Градиентный метод с постоянным шагом

Основная проблема в градиентных методах - это выбор шага _k. Достаточно малый шаг _k обеспечивает убывание функции, то есть выполнение неравенства: f(x_k - _kf `( x<sub>k</sub>))) < f(x<sub>k</sub>), но может привести к неприемлемо большому количеству итераций, необходимых для достижения точки минимума. С другой стороны, слишком большой шаг может вызвать неожиданный рост функции (невыполнение условия убывания) либо привести к колебаниям около точки минимума. Однако проверка усл-я убывания на каждой итерации является довольно трудоемкой, поэтому в методе град-го спуска с постоянным шагом задают =<sub>k</sub> пост-м и дост-но малым, чтобы можно было использовать этот шаг на любой итерации. При этом приходится мириться с возможно большим кол-вом итераций. Утешением является лишь то, что трудоемкость каждой итерации, в этом случае, минимальна (нужно вычислять только градиент f`(x_k).

Схема алгоритма

Шаг 1.Задаются начальное приближение х0, постоянный шаг , условия останова алгоритма 3. Вычисляется значение градиента f`(x_k) - направление поиска. Присваивается к=0.

Шаг 2. Определяется точка очередного эксперимента: хк+1 = хк - f'(xk), или, в координатной форме:

Шаг 3. Вычисляется значение градиента в точке хк+1:

, или, в координатной форме:

Шаг 4.Если || f ` (xk+1) ||3, то поиск заканчивается, при этом:

Иначе к=к+1 и переходим к шагу 2.

47. Градиентный метод с дроблением шага

В методе градиентного спуска с дроблением шага величина шага к выбирается так, чтобы было выполнено неравенство: f(xk-k)-f(xk)-k|| f ` (xk) ||2, где 0<<1 - произвольно выбранная постоянная (одна и та же для всех итераций). Это требование на выбор шага к более жесткое, чем условие убывания, но имеет тот же смысл: функция должна убывать от итерации к итерации. Однако при выполнении неравенства функция будет уменьшаться на гарантированную величину, определяемую правой частью неравенства.

Процесс выбора шага протекает следующим образом. Выбираем число >0, одно и то же для всех итераций. На к-й итерации проверяем вып-е нер-ва при к=. Если оно выполнено, полагаем к= и переходим к след-ей итерации. Если нет, то шаг к дробим, напр-р уменьшаем каждый раз в два раза, до тех пор, пока оно не выполнится.

Схема алгоритма

Шаг 1. Задаются х0, 3, и начальное значение шага . Вычисляется значение градиента f`(x 0) - направление поиска. Присваивается к=0.

Шаг 2. Проверяется условие: f(xk-)-||||2. Если выполняется, то переходим к шагу 3, иначе дробим значение (=/2) и повторяем шаг 2.

Шаг 3. Определяется точка очередного эксперимента: хк+1 = хк - f`(x_k).

Шаг 4. Вычисляется значение градиента в точке хк+1: f `(хк+1).

Шаг 5. Если || f`(xk+1) ||3, то поиск заканчивается, при этом:

Иначе к=к+1 и переходим к шагу 2.

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

В градиентном методе с постоянным шагом величина шага, обеспечивающая убывание функции f(x) от итерации к итерации, оказывается очень малой, что приводит к необходимости проводить большое количество итерации для достижения точки минимума. Поэтому методы спуска с переменным шагом являются более экономными. Алгоритм, на каждой итерации которого шаг _к выбирается из условия минимума функции f(x) в направлении движения, то есть называется методом наискорейшего спуска. Разумеется, этот способ выбора _к сложнее ранее рассмотренных вариантов.

Реализация метода наискорейшего спуска предполагает решение на каждой итерации довольно трудоемкой вспомогательной задачи одномерной минимизации. Как правило, метод наискорейшего спуска, тем не менее, дает выигрыш в числе машинных операций, поскольку обеспечивает движение с самым выгодным шагом, ибо решение задачи одномерной минимизации связано с дополн-ми вычислениями только самой функции f(x), тогда как основное машинное время тратится на вычисление ее градиента f ` (x_k).

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

Схема алгоритма

Шаг 1. Задаются х₀, ₃. Вычисляется градиент f `(x₀), направление поиска. Присваивается к=0.

Шаг 2.Опр-тся точка очередного эксперимента:

х_к+1 = х_к - _к f``(x_k), где _к - минимум задачи одномерной минимизации:

Шаг 3.Вычисляется значение градиента в точке х_к+1: f`(x_k+1)..

Шаг 4. Если ||||₃, то поиск точки минимума заканчивается и полагается: Иначе к=к+1 и переход к шагу 2.

49. Характер движения в методе наискорейшего спуска

В градиентном методе с постоянным шагом величина шага, обеспечивающая убывание функции f(x) от итерации к итерации, оказывается очень малой, что приводит к необходимости проводить большое количество итерации для достижения точки минимума. Поэтому методы спуска с переменным шагом являются более экономными. Алгоритм, на каждой итерации которого шаг _к выбирается из условия минимума функции f(x) в направлении движения, то есть: называется методом наискорейшего спуска. Разумеется, этот способ выбора _к сложнее ранее рассмотренных вариантов.

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

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

50. Овражные методы (Метод Гельфанда)

Вторая эвристическая схема, предложенная И.М. Гельфандом, состоит в следующем.

Пусть х₀ и - две произвольные близкие точки. Из х₀ совершают обычный градиентный спуск с постоянным шагом и после нескольких итераций с малым шагом попадем в точку u₀. Тоже самое делаем для точки, получая точку. Две точки u, лежат в окрестности «дна оврага». Соединяя их прямой, делаем «большой шаг» в полученном направлении, перемещаясь «вдоль дна оврага» (шаг называют овражным шагом). В результате получаем точку х₁. В ее окрестности выбираем точку и повторяем процедуру.

Схема овражного метода 1.

Шаг 1. Вводятся начальное приближение х₀, точность решения ₁ и ₃, шаг для градиентного спуска, начальное значение для овражного шага. Из точки х₀ осуществляется градиентный спуск с постоянным шагом на дно оврага. В результате получается точка u₀. Полагается к=0.

Шаг 2. В окрестности х_к берется точка и из нее осуществляется градиентный спуск. В результате получается точка.

Шаг 3. Новая точка х_к+1 определяется следующим образом. По формуле или вычисляется точка x'_k+1.

Из нее осуществляется градиентный спуск и мы получаем точку u`(x<sub>k+1</sub>). Если f(u`(x_k+1))<f(u_k), то полагаем x_k+1= x`<sub>k+1</sub> и u<sub>k+1</sub>= u`_k+1.

Иначе уменьшаем овражный шаг (например в 2 раза =/2)и повторяем шаг 3.Шаг 4. Если ||u_k+1-u_k||₁ и || f `(u_k+1) ||₃, то полагаем: и поиск минимума на этом заканчивается, иначе к=к+1 и переходим к шагу 2.

Рассмотрим другую реализацию той же идеи.

Пусть х₀ и х₁ - две произвольные близкие точки. Как и в предыдущем случае, из каждой точки осуществим градиентные спуски с постоянным шагом . Получим точки u₀ и u₁, лежащие в окрестности «дна оврага». Соединяя их прямой, делаем «большой шаг» в полученном направлении. В результате получим точку х₂. Из этой точки осуществим градиентный спуск и получим точку u₂. А вот далее, для того чтобы осуществить «овражный шаг», берем предпоследнюю точку u₁. Соединяя прямой точки u₂ и u₁, делаем шаг в полученном направлении и определяем х₃. Дальше аналогичным образом вычисляются х₄,х₅, ….

Схема овражного метода 2

Шаг 1. Задаются начальное приближение х₀, точность решения ₁ и ₃, шаг для градиентного спуска, начальное значение для овражного шага.

Из точки х₀ осуществляется градиентный спуск с постоянным шагом на «дно оврага». В результате получается точка u'₀.

В окрестности х₀ берется точка х₁, из которой тоже осуществляется градиентный спуск на «дно оврага». В результате получается точка u'₁. Полагается к=1. Если f(u'₀)<f(u'₁), то полагаем u₀=u'₁, u₁=u'₀. Если f(u'₀)>f(u'₁), то u₀=u'₀, u₁=u'₁.

Шаг 2. Новая точка х_к+1 определяется следующим образом. По формуле: вычисляется точка x'_k+1. Из нее осуществляется градиентный спуск и мы получаем точку u`<sub>k+1</sub>. Если f(u`_k+1)<f(u_k), то полагаем x_k+1= x`<sub>k+1</sub> и u<sub>k+1</sub>= u`_k+1.

Иначе уменьшаем овражный шаг (например в 2 раза =/2)и повторяем шаг 2.

Шаг 3.

Если ||u_k+1-u_k||₁ и | f `(u_k+1) ||₃, то полагаем: и поиск минимума на этом заканчивается, иначе к=к+1 и переходим к шагу 2.

51. Эвристические алгоритмы

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

Первая эвристическая схема содержит два основных этапа. Оба этапа представляют собой аналоги градиентного спуска с постоянным шагом. Только вместо градиента f ` (x<sub>k</sub>) используется вектор g(x), формируемый из координат f ` (x_k), но на каждом из этапов по разным правилам.

На первом этапе задается малое число ₁<<1 и используется градиентный спуск, где вместо градиента f ` (x_k) берется вектор (x)={g⁽¹⁾(x),…,g⁽ⁿ⁾(x)}, который определяется следующим образом:

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

На втором этапе задается некоторое большое число ₂>>1 и используется процедура спуска, где вместо градиента f ` (x_k) берется вектор g(x)={g⁽¹⁾(x),…,g⁽ⁿ⁾(x)}, который определяется следующим образом:

В этом случае перемещение происходит по «берегу» оврага вдоль его «дна». Как и на первом этапе, спуск продолжается до тех пор, пока метод не зациклится.

После выполнения первого и второго этапов принимается решение о завершении работы или продолжении. Для этого сравнивается норма разности предыдущей точки, то есть точки, которую мы имели до применения первого и второго этапов, с текущей точкой, то есть полученной после применения с точностью решения задачи ₁.Если эта норма меньше ₁ и норма градиента в текущей точке меньше ₃, то поиск заканчивается и последняя вычисленная точка принимается за приближенное решение задачи. Иначе для текущей точки вновь повторяем первый и второй этапы и т. д.

Схема алгоритма

Шаг 1. Задаются х₀, ₁, ₃,₁,₂,₁ - постоянный шаг пункта 1 и ₂ - постоянный

Шаг пункта 2 (₁<₂). Присваивается к=0.

Шаг 2. (Первый этап).

Из точки х_к осуществляется спуск на «дно оврага» с постоянным шагом ₁. При спуске вычисление очередной точки осуществляется с использованием формул: x_j+1 = x_j - ₁g(x_j), где g(x)={g⁽¹⁾(x),…,g⁽ⁿ⁾(x)},

Пусть этот процесс остановится в точке x_l.

Шаг 3. (Второй этап).

Из точки x_l осуществляется спуск вдоль «дна оврага» с постоянным шагом ₂. При спуске используются формулы: x_j+1 = x_j - ₂g(x_j), где g(x)={g⁽¹⁾(x),…,g⁽ⁿ⁾(x)},

Пусть этот процесс остановился в точке x_m.

Шаг 4. Если ||x_k - x_m|| ₁ и || f ` (x_m) || ₃, то полагаем: и поиск минимума заканчивается.

Иначе k=m и переходим к шагу 2.

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

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

Пусть - нач-ое приближение. Вычислим частную производную по первой координате и примем: где е₁={1,0,…,0}^T - единичный вектор оси х⁽¹⁾. Следующая итерация состоит в вычислении точки х₂ по формуле: где е₂={0,1,0,…,0}^T - единичный вектор оси х⁽²⁾ и т. д.

Таким образом, в методах координатного спуска мы спускаемся по ломанной, состоящей из отрезков прямых, параллельных координатным осям.

Спуск по всем координатам составляет одну «внешнюю» итерацию. Пусть к - номер очередной внешней итерации, а j - номер той координаты, по которой производится спуск.

Тогда формула, определяющая следующее приближение к точке минимума, имеет вид: где к=0,1,2,… ; j=1,2,…n.

В координатной форме формула выглядит так:

После j=n счетчик числа внешних итераций к увеличивается на единицу, а j принимает значение равное единице.

Величина шага _к выбирается на каждой итерации аналогично тому, как это делается в градиентных методах. Например, если _к= постоянно, то имеем покоординатный спуск с постоянным шагом.

53. Метод покоординатного спуска с постоянным шагом

Схема алгоритма покоординатного спуска с постоянным шагом

Шаг 1. При к=0 вводятся исходные данные х₀, ₁, .

Шаг 2. Осуществляется циклический по j (j=1,2,…,n) покоординатный спуск из точки х_kn по формуле:

Шаг 3. Если ||x_(k+1)n - x_kn||₁, то поиск минимума заканчивается, причем:

Иначе к=к+1 и переходим к шагу 2.

Если же шаг _к выбирается из условия минимума функции:

то мы получаем аналог метода наискорейшего спуска, называемый обычно методом Гаусса - Зейделя.

54. Метод Гаусса-Зейделя

Схема метода Гаусса-Зейделя

Шаг 1. При к=0 вводятся исходные данные х₀, ₁.

Шаг 2. Осуществляется циклический по j (j=1,2,…,n) покоординатный спуск из точки х_kn по формулам:

где _kn+j-1 является решением задачи одномерной минимизации функции:

Шаг 3.Если ||x_(k+1)n - x_kn||₁, то поиск минимума заканчивается, причем:

Иначе к=к+1 и переходим к шагу 2.

55. Метод Ньютона

В методе Ньютона последовательность точек спуска определяется формулой (4). Для текущей точки x_k направление и величина спуска определяется вектором p_k = - (f ''(x_k)) ^-1·f '(x_k). Хотя в

определении вектора p_k фигурирует обратная к f ''(x_k) матрица (f ''(x_k)) ^-1, на практике нет необходимости вычислять последнюю, так как направление спуска p_k можно найти как решение системы линейных уравнений

f ''(x_k)·p_k = - f '(x_k) (5) каким-нибудь из методов.

Схема алгоритма:

Шаг 1. На первой итерации, при k=0, вводятся начальное приближение x₀ и условие останова е₃. Вычисляются градиент f '(x₀) и матрица f ''(x₀).

Шаг 2. Определяется направление спуска p_k, как решение системы линейных уравнений

f ''(x_k)·p_k = - f '(x_k) (например, методом исключений Гаусса).

Шаг 3. Определяется следующая точка спуска:

x_k+1 = x_k + p_k.

Шаг 4. Вычисляются в этой точке x_k+1 градиент f '(x_k+1) и матрица f ''(x_k+1).

Шаг 5. Если ||f '(x_k+1)|| е₃, то поиск на этом заканчивается и полагается и . Иначе k = k + 1 и переход к шагу 2. Особенностью метода Ньютона является то, что для квадратичной целевой функции он находит минимум за один шаг, независимо от начального приближения x₀ и степени овражности.

В общем случае, когда минимизируемая функция не квадратична, вектор p_k = - (f ''(x_k)) ^-1·f '(x_k) не указывает в точку её минимума, однако имеет большую составляющую вдоль оси оврага и значительно ближе к направлению на минимум, чем антиградиент. Этим и объясняется более высокая сходимость метода Ньютона по сравнению с градиентными методами при минимизации овражных целевых функций.

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

56. Геометрическая интерпретация метода Ньютона

В методе Ньютона последовательность точек спуска определяется формулой (4). Для текущей точки x_k направление и величина спуска определяется вектором p_k = - (f ''(x_k)) ^-1·f '(x_k). Хотя в определении вектора p_k фигурирует обратная к f ''(x_k) матрица (f ''(x_k)) ^-1, на практике нет необходимости вычислять последнюю, так как направление спуска p_k можно найти как решение системы линейных уравнений

Особенностью метода Ньютона является то, что для квадратичной целевой функции он находит минимум за один шаг, независимо от начального приближения x₀ и степени овражности.

В общем случае, когда минимизируемая функция не квадратична, вектор p_k = - (f ''(x_k)) ^-1·f '(x_k) не указывает в точку её минимума, однако имеет большую составляющую вдоль оси оврага и значительно ближе к направлению на минимум, чем антиградиент. Этим и объясняется более высокая сходимость метода Ньютона по сравнению с градиентными методами при минимизации овражных целевых функций.

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

57. Методы с регулировкой шага (методы Ньютона - Рафсона)

Удачный выбор начального приближения x₀ гарантирует сходимость метода Ньютона. Однако отыскание подходящего начального приближения - далеко не простая задача. Поэтому необходимо как-то изменить формулу (4), чтобы добиться сходимости независимо от начального приближения. Доказано, что в некоторых предположениях для этого достаточно в методе Ньютона кроме направления движения (f ''(x)) ^-1·f '(x) выбирать и длину шага вдоль него. Такие алгоритмы называются методами Ньютона с регулировкой шага (методами Ньютона - Рафсона) и выглядят так:

x_k+1 = x_k - _k(f ''(x_k)) ^-1·f '(x_k).(6)

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

f(x_k + _kp_k ) - f(x_k) ·_k(f '(x_k), p_k),(7)

где p_k = - (f ''(x_k)) ^-1·f '(x_k) - направление спуска, а 0 < < Ѕ - некоторое заданное число, общее для всех итераций. Если это неравенство выполнено при _k = 1, то шаг принимается равным единице и осуществляется следующая итерация. Если нет - дробится до тех пор, пока оно не выполнится.

58. Схема метода Ньютона - Рафсона с дроблением шага

Шаг 1. На первой итерации, при k = 0, вводятся исходные данные x_0, , е₃. Вычисляются значения градиента f '(x₀) и матрица f ''(x₀).

Шаг 2. Присваивается = 1. Определяется направление спуска p_k, как решение системы линейных уравнений f ''(x_k)·p_k = - f '(x_k).

Шаг 3. Проверяется условие: f(x_k + _kp_k ) - f(x_k) ·_k(f '(x_k), p_k).

Если выполняется, то переход к шагу 4.

Иначе дробим значение шага (например, = /2) и повторяем шаг 3.

Шаг 4. Определяется следующая точка: x_k+1 = x_k + ·p_k.

Шаг 5. Вычисляются значение градиента f '(x_k+1) в точке x_k+1.

Шаг 6. Если ||f '(x_k+1)|| е₃, то поиск на этом заканчивается и полагается и .Иначе k = k + 1 и переход к шагу 2.

Второй метод определения шага _k в схеме (6), как и в методе наискорейшего спуска состоит в минимизации функции:

59. Схема метода Ньютона - Рафсона с выбором оптимального шага

Второй метод определения шага _k в схеме (6), как и в методе наискорейшего спуска состоит в минимизации функции

f(x_k + _kp_k ) = min f(x_k + _kp_k ).

Схема метода Ньютона - Рафсона с выбором оптимального шага. б?0

Схема метода Ньютона - Рафсона с выбором оптимального шага.

Шаг 1. При k = 0, вводятся x₀, е₃. Вычисляются f '(x₀) и f ''(x₀).

Шаг 2. Определение направления спуска p_k, как решение системы линейных уравнений f ''(x_k)·p_k = - f '(x_k).

Шаг 3. Определяется следующая точка спуска:

x_k+1 = x_k + p_k, где - решение задачи одномерной оптимизации: .

Шаг 4. Вычисляются в точке x_k+1: f '(x_k+1) и f ''(x_k+1).

Шаг 5. Если ||f '(x_k+1)|| е₃, то поиск заканчивается и полагается и . Иначе k = k + 1 и переход к шагу 2.

61. Общая, стандартная и каноническая формы лин. прогр.(ЗЛП)

Делятся на задачи линейного и нелинейного программирования.

Линейное программирование: Общая форма задачи линейного программирования.

В общем случае задача линейного программирования (ЗЛП) формулируется следующим образом: найти величины х₁,…, х_n, доставляющие минимум (максимум) линейной целевой функции

f(x) = c₁x₁ + c₂x₂ +…+ c_nx_n

и удовлетворяющие ограничениям, которые могут быть только равенствами и неравенствами вида