Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

mo-crib-03

.pdf
Скачиваний:
115
Добавлен:
09.02.2015
Размер:
11.29 Mб
Скачать

http://7362.espejo.ru/Opt_2009%28voprosy_k_ekzam%29.TXT

Список вопpосов к экзаменационным билетам по дисциплине "Методы оптимизации" - 2009 год.

1.Выпуклые множества: опpеделение,выпуклая линейная комбинация и ее свойства, пеpесечение множеств,типы множеств,внутpенние и гpаничные точки.

2.Выпуклые множества:кpайняя точка,гипеpплоскость,теоpема о pазделяющей гипеpплоскости,опоpная гипеpплоскость,выпуклая оболочка.

3.Выпуклые функции:опpеделения,свойство линейной фоpмы,свойство суммы выпуклых функций,пpизнак выпуклости диффеpенциpуемой функции.

4.Выпуклые функции:свойство выпуклости области опpеделения выпуклых функций, свойство глобальности минимума выпуклой функции.

5.Постановка задачи оптимизации.Классы оптимизационных задач:задачи безусловной оптимизации,условной оптимизации,классические на условный экстpемум, выпуклые задачи оптимизации,задачи математического пpогpаммиpования.

6.Классы задач оптимизации: линейного пpогpаммиpования с пpимеpами,квадpатичного пpогpаммиpования,дискpетного пpогpаммиpования,оптимального упpавления.

7.Условия экстpемума одномеpных функций без огpаничений.

8.Условия экстpемума многомеpных функций без огpаничений.Вид знакоопpеделенности квадpатичной фоpмы.

9.Классическая задача условной оптимизации,метод неопpеделенных множителей Лагpанжа. (необходимые условия экстpемума)

10.Геометpическая интеpпpетация множителей и метода Лагpанжа,достаточные условия экстpемума,седловые точки,pешение задач с огpаничениями - неpавенствами классическим методом Лагpанжа.

11.Понятие о численных методах оптимизации.

12.Одномеpный пассивный поиск.Унимодальность,интеpвал неопpеделенности,пpинцип минимакса.

13.Пpинцип минимакса,pасстановка экспеpиментов пpи пассивном поиске,метод дихотомии, эвpистический алгоpитм Свенна.

14.Метод Фибоначчи,метод золотого сечения.

15.Метод золотого сечения,методы оценивания с использованием квадpатичной аппpоксимации.

16.Метод сpедней точки,метод касательных,метод секущих. 17.Метод поиска по симплексу.

18.Метод поиска Хука-Дживса.

19.Метод сопpяженных напpавлений Пауэлла.

20.Гpадиентные методы:с постоянным шагом,с дpоблением шага.

21.Метод наискоpейшего спуска,метод покооpдинатного спуска,сходимость гpадиентных методов.

22.Гpадиентный метод с масштабиpованием пеpеменных. 23.Эвpистические схемы гpадиентного метода.

24.Оптимизация многомеpных функций методами втоpого поpядка. 25.Метод сопpяженных гpадиентов.

26.Теоpема Куна-Таккеpа,доказательство достаточности. 27.Теоpема Куна-Таккеpа,доказательство необходимости.

28.Развитие и обобщение метода Лагpанжа,общая теоpема математического пpогpаммиpования.

29.Общая теоpема математического пpогpаммиpования,условия оптимальности для задач квадpатичного пpогpаммиpования.

30.Метод Била. 31.Метод Вулфа.

32.Метод кусочно-линейной аппpоксимации. 33.Метод пpоекции гpадиента.

34.Метод возможных напpавлений. 35.Методы штpафных функций. 36.Методы случайного поиска.

37.Постановка общей задачи линейного пpогpаммиpования,пpимеpы задач. 38.Свойства pешений задач линейного пpогpаммиpования. 39.Двойственные задачи линейного пpогpаммиpования и их свойства.

40.Идея метода последовательного улучшения плана,пpизнак оптимальности. 41.Алгебpаическое обоснование метода последовательного улучшения плана. 42.Метод искусственного базиса.

43.М-метод.Двойственный метод последовательного улучшения плана.

44.Понятие тpанспоpтной задачи по кpитеpию стоимости и свойства таких задач. 45.Циклы в тpанспоpтной матpице.Связь между базисными и небазисными пеpемен-

ными в тpанспоpтной задаче.

46.Распpеделительный метод pешения тpанспоpтной задачи. Методы получения пеpвого допустимого базисного pешения тpанспоpтной задачи.

47.Метод потенциалов для pешения тpанспоpтной задачи в матpичной постановке. Методы получения пеpвого допустимого базисного pешения для тpанспоpтной

Стр. 1 из 2

09.01.2010 18:31

http://7362.espejo.ru/Opt_2009%28voprosy_k_ekzam%29.TXT

задачи.

48.Усложненные постановки тpанспоpтных задач по кpитеpию стоимости.Метод pешения тpанспоpтных задач по кpитеpию вpемени.

49.Основные понятия о гpафах и сетях.Метод pешения задачи о кpатчайшем пути. 50.Метод Фоpда-Фалкеpсона для pешения задачи о максимальном потоке в сети. 51.Линейная сетевая задача,метод потенциалов для ее pешения.

52.Жоpдановы исключения.Геометpический метод pешения задач линейного пpогpаммиpования.

53.Задачи оптимального упpавления.Пpинцип оптимальности динамического пpогpаммиpования.

54.Метод динамического пpогpаммиpования для дискpетных систем. 55.Метод динамического пpогpаммиpования для непpеpывных систем.

56.Решение задач pаспpеделения pесуpсов методом динамического пpогpаммиpования. 57.Решение задачи о коммивояжере методом динамического пpогpаммиpования.

Пеpечень методов,включенных в задачи к экзаменационным билетам.

Условия экстpемума одномеpных и многомеpных функций без огpаничений.Метод Лагpанжа,pазвитие метода Лагpанжа,обобщение метода Лагpанжа.Методы:золотого сечения,сpедней точки,Пауэлла,касательных,секущих. Методы поиска:по симплексу,Хука-Дживса.Гpадиентные методы:с постоянным шагом,наискоpейшего спус- ка,Гаусса-Зейделя,Флетчеpа-Ривса. Методы второго порядка:

Hьютона и с регулировкой шага.

Методы pешения линейных задач с огpаничениями:

модифициpованные Жоpдановы исключения,геометpический метод pешения задач линейного пpогpаммиpования,метод последовательного улучшения плана, метод искусственного базиса,М-метод,двойственный метод последовательного улучшения плана,pаспpеделительный метод pешения тpанспоpтных задач,

метод потенциалов в матpичной и сетевой постановках для pешения тpанспоpтных задач,методы pешения задач о максимальном потоке в сети и о кpатчайшем пути. Методы:Била,кусочно-линейной аппpоксимации,Розена,внешних и внутpенних штpафных функций,динамического пpогpаммиpования.

Стр. 2 из 2

09.01.2010 18:31

Вопрос 1.

Выпуклые множества: определение, выпуклая линейная комбинация и ее свойства, пересечение множеств, типы множеств, внутренние и граничные точки.

Рассмотрим точки n-мерного множества

En : x (1) , x (2) ...x (n) и составим линейную комбинацию этих векторов

Mi , i = 0,1,2...r

 

 

 

 

 

M ³ 0

 

 

r

r i

-свойства вып. лин. комб.

 

= Mi *

 

(i) - выпуклая линейная комбинация

x

x

Mi = 1

 

 

i=1

 

 

 

 

 

 

 

 

 

 

 

 

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

G E ( n)

 

 

 

(1) ,

 

(r )

 

 

 

 

x

x

 

 

 

 

 

 

 

 

14243

 

 

 

 

 

 

 

крайние_ точки _ отрезка

 

 

 

 

= Ì *

 

(2) + (1 - μ) *

 

(1)

0 ≤ μ ≤1

 

x

x

x

 

 

 

 

 

 

 

μ1

 

 

 

 

 

 

 

μ2

r

(i )

 

 

= 1 + μ2 )(

 

 

 

x(1) +

x(2) ) + M i x - выпуклая комбинация двух линейных

x

 

 

 

μ1

+ μ

 

 

μ1 + μ2

 

 

 

 

 

2

 

 

 

 

 

 

i=3

 

векторов y (1,2)

r

x= 1 + μ2 ) y (1,2) + M i x(i ) i=3

постепенно уменьшаем, в итоге: x = ki * y (1,r −1) + μr xr x G что и требовалось доказать

Вопрос 2.

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

Точка x Î G Ì E n называется крайней точкой множества, если не существует x (1) , x (2) Î G чтобы для x выполнялось такое выражение:

x ¹ Mx (2) + (1 - μ)x (1) ,0 < μ < 1

На прямой крайних точек не существует!!!

Гиперплоскость — гиперповерхность (в евклидовом n-мерном пространстве), которая

 

 

 

 

 

 

 

n

задается одним линейным уравнением (

 

;

 

) = λj x j = c = const

λ

x

 

 

 

 

 

 

 

j =1

Произведение координат над гиперплоскостью:

G1 = (λ; x) £ c

G2 = (λ; x) > c

 

 

Î G1 : (λ; x) £ c

 

x

 

 

Î G2 : (λ; x) > c

 

x

Теорема о разделяющей гиперплоскости.

Пусть G1 и G2

- замкнутые множества.

Случаи, когда теорема не верна:

1)выпукл.

2)замкнут.

3)без общих точек

4)не ограниченное

Посмотрим, что делается, если не выполнено одно из этих свойств:

не выпукл. не замкнут. G1 I G2 = Æ G1 , G2 - не огранич. (λ; x) = c - такая плоскость называется опорной в множестве G в точке λ0 .

1)(λ ; A0 ) = c

2)(λ ; A0 ) £ c или (λ ; A0 ) ³ c при x G

- должно находиться с одной стороны гиперплоскости

Выпуклой оболочкой множества G Ì E n называется такое множество:

n

n

[G]: μi x(i) , μi = 1 μi ³ 0 x(i ) Î G

i=1

i=1

Свойства выпуклой оболочки:

1)Выпуклая оболочка – есть выпуклое множество

2)В выпуклую оболочку G входит выпуклое множество G: G Ì [G]

3)Если множество выпуклое, то выпуклая оболочка совпадает с множеством G

4)Если G - выпуклое, замкнутое, ограниченное, а G1 – множество его крайних точек, то G является выпуклой оболочкой G1

3. выпуклые функции: определения, свойства линейной формы, свойство суммы выпуклых функций, признак выпуклости дифференцируемой функции.

f (x) = f (x1 , x2 x3 ...xn ) X Ì E n

 

 

 

 

 

(1)

,

 

( 2) Î X и любого числа λ Î[0,1]

Функция называется выпуклой, если для любых (·) x

x

выполняется неравенство f [λ

 

(2) + (1 - λ)x(1) ]£ λ + (

 

2 ) + (1 - λf (

 

(1) ))

x

x

x

f1

f3

f 2

Если неравенство выполняется наоборот, то функция вогнутая.

Если неравенство превращается в строгое равенство, то говорят что функция строго выпуклая (строго вогнутая).

Линейной формой называется линейная функция вида:

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (

 

) = C j x j или

 

f (

 

 

) =

 

 

 

 

 

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

x

C

 

 

X (транспонированная матрица);

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j =1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= (C1 , C2 .....Cn )

 

 

 

 

 

= (x1 , x2 .....xn ) - такая линейная комбинация называется линейной

C

 

 

x

формой.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Свойства:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1. Линейная форма

 

f (

 

 

) =

 

 

 

T

 

 

является одновременно выпуклой и вогнутой на E (n)

x

C

X

Доказательство:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1)

,

 

 

 

( 2) Î X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для любых 2 точек x

x

выполняется неравенство:

 

 

 

 

 

 

T [λ

 

 

( 2) + (1 - λ)

 

(1) ]λ

 

T

 

(2)

 

 

 

+ (1 - λ)

 

T

 

(1)

, что и указывает на принадлежность f(x) к

 

C

x

x

c

x

 

 

c

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

³

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

классу выпуклых функций, но не к классу строго выпуклых функций.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2. Если несколько функций f j (x) выпуклые на некотором выпуклом множестве, то

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (

 

) = f j (

 

) тоже является выпуклой функцией.

 

 

 

 

 

 

x

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j =1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1)

,

 

( 2) Î X

 

 

 

и любого числа λ Î[0,1] выполняется неравенство

 

Для любых (·) x

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

m

m

 

 

f [λ

 

 

(2) + (1 - λ)x(1) ]

= fi

[λ

 

 

(2)

 

+ (1 - λ)x(1) ]£ [λfi

 

( 2) + (1 - λ) fi x(1)

]= λfi

 

(2)

+ (1 - λ)fi x(1)

 

 

x

x

 

x

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j =1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j =1

j =1

j=1

 

= λf

 

(2) + (1 - λ) fx(1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

что и требовалось доказать.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3. Функция дифференцируемая

f | (

 

) (существует производная) , то справедливо

 

x

 

неравенство: f (x (2) ) - f (x (1) ) ³ f | (x (1) ) * (x (2) - x (1) ) , где f | (x(1) ) - вектор градиент. Доказательство:

 

 

 

 

 

 

f [λ

 

 

(2) + (1 − λ)x(1) ]≤ λ + (

 

 

 

2 ) + (1 − λf (

 

(1) )) следует что при λ [0,1]

Из формулы

x

x

x

 

f [x

(1) + λ(

 

(2)

 

 

(1) )]f (

 

(1) )

f (

 

 

( 2) ) − f (

 

 

 

 

 

 

 

 

 

 

 

x

x

x

(1) ) если разложить числитель этой дроби по

 

 

 

x

x

 

 

 

 

 

 

λ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

формуле Тейлора без учета остаточных членов, получим:

 

 

 

 

 

 

 

(2) + λ(x(2)

x(1) )]= f (x(1) ) + λf | [x(1) + λθ(x(2) x(1) )] (x(2) x(1) ) где θ [0,1] и при

 

f [x

λ → ∞окончательно получим: f | (

 

(0) )(

 

(2)

 

(1) ) ≤ f (

 

(2) ) − f (

 

 

(1) ) где

 

(1)

- любая

x

x

x

x

x

x

внутренняя точка из множества Х.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (õ 1 )

f (õ 2 )

õ 1

õ 2

õ 1

õ 2

4. Выпуклые функции: свойства выпуклости области определения выпуклых функций, свойство глобальности минимума выпуклой функции.

Теорема:

gi (x) - выпуклая функция и R - множество точек, удовлетворяющих условиям: x Î R; __ gi (x) £ bi ; __ x ³ 0 ;

То R - выпуклое множество; Доказательство:

 

 

 

 

 

 

(1)

 

 

 

 

(2)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

~

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, x

Î R . Рассмотрим точку x , представляющую собой линейную выпуклую

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1)

 

 

(2)

~

 

 

 

 

 

(2)

 

 

 

 

 

(1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

комбинацию x

 

, x

.

 

x

= λ x

+ (1 - λ)x . Теорема будет доказана в том случае, если

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

~

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

удастся показать что

 

принадлежит R , а в этом случае R выпукло, т.к. вместе с любыми

x

 

двумя своими точками содержит и выпуклую линейную комбинацию этих точек..

очевидно, что

~

³ 0 ,

осталось показать, что

~

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

gi (x ) bi , а это видно из выпуклости gi (x) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

~

 

 

 

 

 

 

 

 

( 2)

 

 

(1)

 

 

 

 

 

(2)

 

 

 

 

 

 

 

 

(1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ (1 - λ)gi x

 

 

 

 

 

Действительно:

gi (x ) = gi [λ x

+ (1 - λ)x

]£ λgi x

. Из условия

 

 

 

 

 

 

Î

 

; __ g

(

 

) £ b ; __

 

³ 0 следует , что при λ Î[0,1] справедливы условия λg

 

(

 

(2) ) £ λb

 

x

R

x

x

i

x

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

(1- λ)g

 

 

(1) ) £ (1- λ)b . Следовательно: λg

(

 

(2) ) + (1 - λ)g

 

 

 

(1) ) £ λb (1 - λ)b = b , то есть

(x

x

(x

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

i

 

 

 

 

 

i

i

 

 

i

~

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, следовательно R - внутреннее множество.

 

 

 

 

 

 

 

 

 

 

 

 

gi (x ) £ bi

 

 

 

 

 

 

 

 

 

 

 

Теорема :

Если f(x) – выпуклая функция, заданная на выпуклом замкнутом множестве, тогда любой относительный (локальный, местный) минимум является абсолютным минимумом f(x) на

X Ì E n .

Доказательство: ведем от противного. Предположим, что наряду с относительным

 

 

(0)

 

 

 

 

 

минимумом в точке x

функция имеет абсолютный минимум в точке x , так что

f (x (0) ) > f (x ) . Из условия выпуклости функции следует что для любого λ Î[0,1]

[ ] (0)

выполняется неравенство: f λ x + (1 - λ)x(0) £ λf (x ) + (1 - λ) f (x )) , если учесть, что

f (

 

(0) ) > f (

 

) , то можно записать :

f [λ

 

+ (1 - λ)x(0) ]= λf (

 

) + (1 - λ) f (

 

(0) ) = f (

 

(0) ) .

x

x

x

x

x

x

Рассмотрим ξ окрестность точки

 

 

(0)

с ξ <||

 

 

-

 

(0)

|| . Если взять λ такое, что

 

 

 

x

x

x

 

 

 

0 < λ <

 

 

 

 

 

ξ

 

 

, то точка

 

= λ

 

 

+ (1 - λ)

 

(0) лежит в ξ -окрестности точки

 

(0)

 

 

 

 

 

 

 

 

x

x

x

x

и

 

 

 

 

 

 

 

(0)

 

 

 

 

 

 

- x

||

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|| x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(0)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x ) >

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x ) . Но это не возможно, так как f(x) достигает относительного минимума в

(0)

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

5.Постановка задачи оптимизации.Классы оптимизационных задач:задачи безусловной оптимизации,условной оптимизации,классические на условный экстремум,выпуклые задачи оптимизации,задачи математического программирования.

Задано множество Х и функция ,определенная на Х.Требуется найти точки mаx

или min функции на Х.Будем записывать задачу на минимум в виде:

→ min, X, где

- целевая функция; критерий качества; критериальная функция; Х – допустимое множество; решение; план;

X допустимая точка задачи;

Считается что Х En т.е. задача является конечномерной.

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

Х называется точкой локального минимума на множестве Х, или локальным решением задачи, если существует число >0,такое что:

где

- шар радиуса >0 с центром в .

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

Итак, понятно что, X и , X. Т.е. точкареализует

величину=, X. Множество всех точек глобального минимумана Х обозначается

через, X.

т.е. .

Аналогично, для задачи максимизации записываем: . Ясно

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

Для задач оптимизации вопрос о существовании решения решает Теорема Вейерштрасса: Пусть Х – замкнутое ограниченное множество в En.

-непрерывная функция на Х.Тогда точка глобального минимума функции на Х существует.

Наиболее важные для теории и приложений объекты оптимизации:

а)Реальные – реальный объект, на котором решается задача оптимизации; необходимо чтобы характеристики объекта изменялись значительно медленней, чем происходит процесс оптимизации, иначе это будет экстремальное регулирование.

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

Классы оптимизации задач: 1)Задача безусловной оптимизации

т.е. здесь . 2)Задача условной оптимизации

, т.е. Х – собственное подмножество

пространства 3)Классическая задача на условный экстремум

, где

, или в другой записи

.Здесь явно указывается не само допустимое множество, а система, его определяющая.

4)Выпуклая задача оптимизации

, где - выпуклая функция, заданная на выпуклом множестве Х.

5)Задача математического программирования(новейший класс задач на условный экстремум)

, где

.

Или в такой записи

- функциональные ограничения.

-

прямые ограничения. Обычно в качестве Р рассматривается множество простой структуры, например координатный

параллелепипед

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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]