
- •1. Релаксационная последовательность, Оценка сходимости.
- •2. Релаксационная последовательность, Оценка сходимости для выпуклых дифференцируемых функций.
- •3. Методы спуска. Оценка спуска для выпуклых дифференцируемых в Rn функциях.
- •4. Исчерпывающий спуск при безусловной минимизации в Rn.
- •5. Циклически покоординатный спуск. Алгоритм, оценка сходимости.
- •6. Метод сопряженных направлений. Алгоритм. Сходимость для квадратичных функций.
- •7. Алгоритмы прямого поиска. Метод регулярного симплекса. Достижение редукции.
- •8. Метод Хука-Дживса. Исследующий поиск.
- •9. Минимизация на заданном множестве. Теорема о существовании решения.
- •10. Допустимое направление. Конус допустимых направлений. Теорема о достаточном условии существования минимума дифференцируемой функции.
- •11. Минимизация при ограничениях типа равенств. Функция Логранджа.
- •12. Обобщенная функция Лагранжа. Теорема о существовании стационарной точки функции Лагранжа.
- •13. Общая задача нелинейного программирования (знп). Выпуклость области допустимых решений.
- •14. Алгоритм решения знп на выпуклом множестве.
- •15. Обобщенная функция Лагранжа для знп со смешанными ограничениями. Теорема о существовании решения (первая теорема Куна-Таккера).
- •16. Активные и неактивные ограничения, смысл коэффициентов обобщенной функции Лагранжа.
- •17. Седловая точка обобщенной функции Лагранжа. Теорема Куна-Таккера о Седловой точке.
- •18. Критерий для седловых точек функции Лагранжа.
- •20. Теоремы двойственности.
13. Общая задача нелинейного программирования (знп). Выпуклость области допустимых решений.
Найти
(1) при
(2) и
(3)
Считается что хоть
одна из функций в (1),(2),(3) - нелинейная.
Считая, что
,
,
определенные на открытом множестве
Если
непрерывны то Х замкнуто и совпадает с
Если по системе ограничений (2), (3) можно сказать, что множество допустимых решений выпукло и функция на этом множестве выпукла то задача минимизации имеет решение, причем каждая точка локального минимума является точкой глобального минимума функции цели.
Теорема:
Если
выпуклы в
то множество допустимых решений
тоже является выпуклым.
Доказательство:
Если
или
то все катит (очевидно).
Если
выпукло
имеем
Если область допустимых решений определяется только ограничениями вида (3) и каждая функция выпукла в то область допустимых решений также выпукла.
В том случае если присутствуют ограничения типа (2) то доказательство выпуклости усложняется. Однако когда линейны то в этом случае пространство разбивается на подпространства с помощью гиперплоскостей.
В этом случае экстремум функции цели будет принадлежать области пересечений ограничений типа (2) и расположенных внутри выпуклой области определенной ограничениями типа (3).
Во многих случаях общую задачу нелинейного программирования можно свести к задаче с ограничениями типа равенств записав (3) в виде
14. Алгоритм решения знп на выпуклом множестве.
Общая задача формулируется так:
f(x)→min; gi(x)=0 (i=1,m) φk(x)≤0;(k=1,s)
Во многих случаях общую ЗНП можна свести к задаче с ограничениями типа равенств записав φk(x)≤0;(k=1,s) в виде φк(х)+Z2k=0.
Стандартная методика.
f(x1,x2)≤0; φ1(x1,x2) ≤0; φ2(x1,x2) ≤0; φ3(x1,x2) ≤0;
Пусть все это выпукло.
Ищем стационарные точки (grad f(x)=0), принадлежащие U.
Решается 3 задачи поиска экстремума функции на отрезках AB, BC, AC.
Определяем наличие минимума в угловых точках A, B, C.
В найденных точках стационарности функции цели и в угловых точках A, B, C вычисляем значения функции f(x) и среди них находятся наименьшие
15. Обобщенная функция Лагранжа для знп со смешанными ограничениями. Теорема о существовании решения (первая теорема Куна-Таккера).
Рассмотрим задачу нахождения минимума функции цели при смешанных ограничениях.
(*)(этих три строки)
f(x)→min;
gi(x)=0 (i=1,m)
φk(x)≤0;(k=1,5)
Условия
регулярности (Слейтера) или условиями
смягчающей жесткости называется запись
выражения φk(x)≤0;(k=1,5)
в виде μkφk(x)=0,
причем μk
– некоторые любые числа и
(положительному
ортанту). Т.е. μk≥0.
Очевидно что μkφk(x)=0
в точках на границе области т.к φk(x)=0.
А в точках внутри области φk(x)≤0;
то μk=0.
В этом случае для (*) можно построить
обобщенную функцию Лагранжа в виде:
.(**)
Теорема о существовании решения (первая теорема Куна-Таккера).
Если
точка х* является точкой локального
минимума функции f(x) в области допустимых
решений U(x) и gi(x),φi(x)-
непрерывны и дифиринцируемые в окрестности
точки х*, то существуют такие
одновременно не равные нулю, что для
функции Лагранжа (**) выполняются
необходимые условия существования
экстремума (
)
и условие дополнительной нежесткости
μkφk(x)=0.