Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Математические основы теории систем / Лекции / Павлова А.В. Математические основа теории систем. Лекции Часть 2.pdf
Скачиваний:
154
Добавлен:
02.06.2015
Размер:
1.3 Mб
Скачать

Тема 5. ЭКСТРЕМАЛЬНЫЕ НЕЛИНЕЙНЫЕ ЗАДАЧИ

СОГРАНИЧЕНИЯМИ

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

Найти значения переменных x1, x2 ,..., xn минимизирующие скалярную целевую

функцию F (x1, x2 ,..., xn ) при наличии ограничений вида g j (x) £ 0, j = 1, m , где по крайней мере одна из функций F(x) и g(x) является нелинейной.

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

Допускаются любые соотношения между количеством переменныхn и числом m ограничений задачи, т.е. n < m, n = m, n>m. Решение задач НП может давать два или несколько экстремумов, что требует дополнительных проверок результата решения.

5.1. Метод неопределенных множителей Лагранжа

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

дом множителей Лагранжа.

Пусть все ограничения имеют вид равенств

j j (x1, x2 ,..., xn ) = b j , j = 1, m .

(5.1)

Преобразуем их к виду b j - j j (x) = g j (x) = 0 . Будем полагать, что функции

F (x) и g(x) непрерывны и имеют непрерывные частные производные. Образуем вспомогательную функцию L(x, l), объединив функцию F (x) с ограничениями, используя неотрицательные постоянные множители l1,..., lm

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

L(x, l) = F (x) + ål j g j (x) = F (x) + lТ g(x) .

(5.2)

 

 

 

 

 

j =1

 

 

 

 

Справедлива следующая теорема: если функция F (x) достигает

своего

экс-

тремума

при условиях(5.1) в точке x*, x*

,..., x* ,

то существуют

такие

числа

 

 

 

 

 

1 2

n

 

 

 

l , l

2

,..., l

m

, что для функции L(x,l) в точке x* ,..., x* выполняются необходимые

1

 

 

 

1

n

 

 

условия безусловного экстремума, т. е.

78

L

= 0, i =

 

 

(5.3)

1, n.

 

xi

 

Функция L(x,l) называется функцией Лагранжа, a числа l1,..., lm неопре-

деленными множителями Лагранжа.

Таким образом, вычисление условного экстремума функции F (x) сводится к отысканию безусловного экстремума функции Лагранжа(5.2). Задача состоит в нахождении n + m неизвестных, включающих n переменных х и m множителей Лагранжа. Для их определения используется система изm ограничений и n уравнений (5.3) являющихся условиями экстремума функции Лагранжа.

Множители Лагранжа имеют определенный смысл. Предположим, что правые части системы ограничений (5.1) могут в некоторых пределах изменяться. Если рассматривать функцию Лагранжа как функцию вектора b, т.е.

m

L(x, l, b) = F (x) + ål j [b j - j j (x)],

j =1

то выполняется соотношение

L

= l j , j =

 

. Но для оптимального решения

1, m

 

 

b j

L(x* , l) º F(x* ), поэтому множители Лагранжа показывают, как реагирует целе-

вая функция на изменение соответствующих параметров b j , т.е. DF » l j .

Db j

Если F интерпретировать как прибыль или стоимость, а b j как некоторые ре-

сурсы, то l j будут показывать как изменится максимальная прибыль(или мини-

мальная стоимость) при увеличении количества j-го ресурса на единицу.

5.2. Теорема Куна-Таккера

Одной из важнейших теорем в теории НП является теорема Куна-Таккера, обобщающая классический метод неопределенных множителей Лагранжа на зада-

чи с ограничениями неравенствами видаg j (x) £ 0, j =1, m и

ограничениями на

знак переменных xi ³ 0, i =

 

 

 

 

 

 

 

 

 

1, n.

 

 

 

Пусть имеется следующая задача:

 

 

 

min{F (x1, x2 ,...xn )

 

g j (x1, x2 ,...xn ) £ 0, j =

 

,xi

³ 0, i =

 

}, (5.4)

 

 

 

1, m

1, n

где F(x) и gj(x) – выпуклые функции n переменных.

 

 

 

79

m

Введем функцию Лагранжа L(x,l) = F (x) + ål j g j (x) , используя совокуп-

j =1

ность неопределенных множителей Лагранжа l1, l2 ,..., lm .

Теорема Куна-Таккера формулируется следующим образом. Пусть существует вектор x, такой, что xi ³ 0,i =1, n и g j (x) £ 0, j = 1, m . Тогда для того, что-

бы вектор x* был оптимальным решением задачи (5.4), необходимо и достаточно, чтобы существовал неотрицательный m-мерный вектор l, такой что

 

 

 

L(x* , l) £ L(x* , l* ) £ L(x, l* )

(5.5)

для всех

x ³ 0,

l ³ 0 .

 

 

Выражение (5.5) означает, что функция L в точке ( x*, l* ) при фиксированном

x*

имеет глобальный максимум в области l ³ 0 при l = l* , а при фиксированном

l*

она

имеет

глобальный минимум в областиx ³ 0 при x = x* .

Экстремальная

точка ( x*, l* ) с такими свойствами называется cедловой точкой, а теорему Куна- Таккера часто называют теоремой о седловой точке. Итак, задаче (5.4) минимизации F(x) соответствует задача нахождения седловой точки (минимаксная задача)

для функции L, в которой из всех ограничений сохраняются только ограничения на знак.

Геометрически соотношение (5.4) интерпретируется с помощью рис. 5.1.

L L

 

x*, l*

 

x*

 

х

l

L

 

а

х

l* l

б

Рис. 5.1. Геометрическая интерпретация теоремы о седловой точке

80

Если F(x) и g j (x) являются дифференцируемыми функциями, то условия теоремы Куна-Таккера записываются следующим образом:

 

 

 

 

L

 

 

 

 

³ 0

ü

 

 

L

 

 

 

 

 

 

 

 

 

 

ü

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

*

*

ï

 

 

 

 

 

 

 

 

 

 

 

£ 0

 

 

ï

 

 

 

 

 

xi

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,l

 

 

 

 

ï

 

 

¶l j

x*,l*

 

 

 

ï

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

* L

 

 

 

 

 

ï

 

 

 

 

 

 

L

 

 

 

 

 

ï

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

= 0ýï,

(5.6)

l

*

 

 

 

 

 

 

= 0ýï .

(5.7)

 

 

 

 

 

 

 

 

 

x*

,l*

j

 

 

 

 

 

 

 

 

 

 

 

 

 

i xi

 

ï

 

 

 

¶l j

x*,l*

 

ï

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ï

 

 

 

*

 

 

 

 

 

 

 

 

 

 

ï

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi* ³ 0,i =1, n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ï

 

l j ³ 0, j =1, m

 

ï

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ï

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ï

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

þ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

þ

 

 

 

 

Для

точек,

 

где

xi > 0 ,

в точке

минимума

 

 

должно

 

выполняться условие

 

L

 

 

 

= 0 ,

а на границе области, где

xi = 0 , отклонения от оптимальной точки

 

 

 

 

 

x

 

x* ,l*

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

возможны только в сторону увеличения x , при этом

 

 

 

L

 

 

 

 

> 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

xi

x* ,l*

 

 

 

 

 

Аналогично по переменной l для внутренних точек (l > 0) выполняется ра-

венство нулю производной, а для граничных точек (l = 0) первая производная для

L

случая максимума должна быть неположительной, т.е. ¶l j x* , l* < 0 .

Условия (5.6) и (5.7) эквивалентны (5.5), т.е. являются необходимыми и достаточными для оптимальности x* в случае выпуклости F (x) и всех ограничений задачи. Если имеется в виду седловая точка с максимумом поx и минимумом по l, то знаки неравенств в первых строчках систем(5.6) и (5.7) изменяются на противоположные.

5.3. Квадратичное программирование

Задача МП, в которой функция цели квадратична, а все ограничения линей-

ны, носит название задачи квадратичного программирования.

В общем случае функция цели задачи квадратичного программирования(КП) может быть представлена следующим образом:

n

n

 

F (x) = C Т x + xТ Dx = åci xi

+ åxi dik xk ,

(5.8)

i =1

i,k =1

 

 

 

81

где xТ = [x , x

2

,..., x

n

] – вектор переменных;

CТ = [c , c

2

,..., c

n

] – постоянный век-

1

 

 

1

 

 

тор; D = [dik ]

– постоянная симметричная матрица размерности n×n.

Симметричность этой матрицы необходима для квадратичности функции цели, чтобы члены xl dlm xm и xm dml xl равнялись друг другу и объединялись в один

2xl dlm xm . Линейные ограничения задачи КП имеют такой же вид, как и в задаче ЛП Ax £ B, x ³ 0, где А – постоянная матрица размерности m×n, B – m-мерный постоянный вектор.

Задача КП, записанная в сжатой форме, имеет следующий вид

 

min{F (x) = C Т x + xТ Dx | Ax £ B, x ³ 0}.

(5.9)

Одним из условий применения теоремы Куна-Таккера является требование к выпуклости функции F(x) и всех ограничений. Ограничения задачи КП линейны и, следовательно, выпуклы. Для того, чтобы функция (5.8) была выпуклой, необ-

ходимо, чтобы матрица D была положительно полуопределенной, т.е. xТ Dx ³ 0 , для всех x.

Функция Лагранжа для задачи (5.9) имеет вид:

L(x, l) = C T x + xT Dx + lT g(x) = C T x + xT Dx + lT ( Ax - B).

Применим условия теоремы Куна-Таккера к рассматриваемой задаче. Найдем частные производные

L = C + 2Dx + AT l ³ 0, L = Ax - B £ 0 .

x ¶l

Введем дополнительные неотрицательные переменные, чтобы привести нера-

венства

к виду

равенств: C + 2Dx + AT l -V = 0 ,

Ax - B +W = 0 .

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

 

L

=V ,

L

= -W ,

следовательно, выражения X

L

= 0 и λ

L

= 0

из (5.6) и (5.7)

 

 

 

x

 

x

¶l

 

 

¶l

 

можно представить как xTV = 0 и lTW = 0 .

Таким образом, решение задачи КП сводится к решению следующей системы уравнений:

ìAx +W = B,

 

ï

 

 

ï2Dx + ATl -V = -C,

(5.10)

í T

T

ïx V = 0, l W = 0,

 

ï

l ³ 0, v ³ 0, w

³ 0.

îx ³ 0,

82

Вектор x* , удовлетворяющий системе уравнений(5.10), является оптимальным решением задачи КП. Существуют различные специальные методы определения x* . Рассмотрим один из них, позволяющий свести решение задачи КП к задаче ЛП.

Необходимые и достаточные условия (5.10) для решения задачи (5.9) можно трактовать следующим образом: найти значения x* , удовлетворяющие системе линейных уравнений

ìAx +W = B,

í

 

(5.11)

î2Dx + AT l -V = -C

 

при наличии нелинейных ограничений

 

 

xTV = 0 и

lTW = 0,

(5.12)

а также ограничений на знак переменных

 

 

x ³ 0, v ³ 0,

l ³ 0, w ³ 0 .

(5.13)

Решение системы (5.11) при ограничениях (5.13) может быть найдено при помощи симплекс-метода. Задача, следовательно, состоит в том, чтобы среди допустимых базисных решений этой системы найти такое, которое удовлетворяет условию (5.12).

Сохранение условия (5.12) на протяжении всего процесса вычислений обеспечивается выполнением следующего дополнительного правила:

-при переходе к очередному базисному решению переменная w j не должна включаться в базис, если там уже присутствуетl j ; переменная l j не должна включаться в базис, если там уже присутствует w j ;

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

Таким образом, дополнительное правило запрещает одновременное присутствие переменных xi и vi с одинаковым индексом i и переменных l j и w j с оди-

наковым индексом j в числе переменных отличных от нуля.

Допустимое базисное решение, удовлетворяющее нелинейным ограничениям

(5.12), будет являться оптимальным решением задачи (5.10).

 

 

 

Пример 5.1. Найти

максимальное

значение

функции F (x) = -2x2

+18x -

 

 

- x2

 

 

 

 

 

 

 

 

 

 

1

1

-2x x

2

+12x

при ограничениях 2x

+ x

2

³ 2 ;

x + x

2

£ 4 ;

x

³ 0 , используя

1

2

2

 

1

 

 

1

 

1,2

 

 

условия теоремы Куна-Таккера.

83

1-й шаг. Составляется функция Лагранжа:

 

 

 

L(x,l) = F (x) + lT g(x) = F (x) + ål j × g j (x) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

Здесь g j (x)

– левые части ограничений, приведенных к нулевой правой ча-

сти; l j – неопределенные множители Лагранжа:

 

 

 

 

 

 

 

 

 

 

g1 (x) = -2 + 2x1 + x2 ³ 0 ; g2 (x) = 4 - x1 - x2 ³ 0 .

 

 

Точка экстремума является седловой точкой с максимумом по x и минимумом

по l, т.е.

L

³ 0, ( j =

 

) . А так как

L

 

= q j (x) , то ограничения приводятся к

1,m

 

 

 

 

 

¶l j

 

 

 

 

 

¶l j

 

 

 

 

 

 

 

виду g j (x) ³ 0 и записывается функция L(x,l)

 

 

 

 

 

 

 

L(x,l) = -2x2

+18x - 2x x

2

- x2 + 12x

2

+ l (-2 + 2x + x

2

) + l

2

(4 - x - x

2

) .

1

1

1

2

 

1

1

 

1

 

2-й шаг. Условия теоремы Куна-Таккера записываются следующим образом:

ì

L

 

x*,l* £ 0,

 

ï

 

 

 

x

 

 

ï

 

 

 

i

 

 

 

 

ï

 

L

 

 

 

 

 

 

íxi*

 

 

 

x* ,l* = 0,

x

i

 

 

 

 

ï

 

 

 

 

0,i =1, n.

ï

x* ³

 

ï

i

 

 

 

 

î

 

 

 

 

 

 

 

ì

 

L

 

x* ,l* ³ 0,

 

 

ï

 

 

 

 

 

 

 

¶l

j

 

ï

 

 

ï

* L

 

 

x* ,l* = 0,

 

 

íl j

 

 

 

 

¶l

 

 

ï

 

 

 

 

 

 

 

 

 

 

j

ï

 

x*

³

 

0, j = 1, n.

ï

 

 

j

 

 

 

 

 

 

î

 

 

 

 

 

 

 

 

 

Частные производные функции Лагранжа определяют ограничения задачи в соответствии с выражениями:

L

x1 = -4x1 +18 - 2x2 + 2l1 - l2 £ 0 ;

L

x2 = -2x1 - 2x2 +12 + l1 - l2 £ 0 ;

L

¶l1 = -2 + 2x1 + x2 ³ 0 ;

L

¶l2 = 4 - x1 - x2 ³ 0 .

3-й шаг. Ограничения приводятся к виду равенств введением дополнительных неотрицательных переменных v1, v2 и w1, w2 . Одновременно свободные чле-

ны переносятся в правую часть, тогда:

84

- 4x1 +18 - 2x2 + 2l1 - l2 + v1 = -18 , - 2x1 - 2x2 +12 + l1 - l2 + v2 = -12 , 2x1 + x2 - w1 = 2 , - x1 - x2 - w2 = -4 .

Получена система из четырех линейных алгебраических уравнений, содержащая 8 неизвестных.

4-й шаг. Находится решение системы с помощью симплекс-процедуры. На первом шаге в базис включаются все введенные дополнительные переменные, тогда первая симплекс-таблица соответствует табл. 5.1. Строка для функции цели отсутствует. Процедура решения иллюстрируется симплекс-таблицами 5.1 – 5.4.

Т а б л и ц а 5.1

 

Сво-

 

 

 

Небазисные

 

 

 

 

 

 

БП

бодные

 

 

 

переменные

 

 

 

 

 

 

 

члены

x1

 

x2

 

 

 

λ1

λ2

 

v1

-18

-4

 

-2

 

 

2

 

 

-1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v2

-12

-2

 

-2

 

 

1

 

 

-1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

w1

-2

-2

 

-1

 

 

0

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

w2

4

1

 

1

 

 

 

0

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Т а б л и ц а 5.3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Сво-

 

 

 

Небазисные

 

 

 

 

 

 

БП

бодные

 

 

 

переменные

 

 

 

 

 

 

 

члены

v1

v2

 

 

l1

 

l2

 

x1

3

-

1

 

 

1

 

 

 

-

1

 

 

0

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

2

 

 

 

 

x2

3

-

1

 

-

1

 

 

0

 

 

 

1

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

2

 

4

 

 

 

 

 

 

 

 

 

 

 

 

w1

7

-

1

 

0

 

 

-1

 

 

 

1

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

w2

-2

0

 

 

1

 

 

 

 

1

 

 

 

-

1

 

 

 

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

Т а б л и ц а 5.2

 

 

Сво-

 

 

 

 

 

Небазисные

 

 

 

 

 

 

БП

бодные

 

 

 

 

 

переменные

 

 

 

 

 

 

 

члены

x1

v2

λ1

λ2

 

v1

-6

-2

 

-1

 

1

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2

6

1

 

-

1

 

-

 

1

 

 

1

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

w1

4

-1

 

1

 

1

 

1

 

 

 

-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

 

w2

-2

0

 

 

1

 

 

 

1

 

 

 

-

1

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

Т а б л и ц а 5.4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Сво-

 

 

 

 

 

Небазисные

 

 

 

 

 

 

БП

бодные

 

 

 

 

 

переменные

 

 

 

 

 

 

 

члены

v1

v2

λ1

w2

 

x1

3

-

1

 

 

1

 

 

-

1

 

0

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

2

 

 

 

2

 

 

 

 

 

 

 

x2

1

 

1

 

 

 

1

 

 

 

1

 

 

 

1

 

 

2

 

 

4

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

w1

5

-

1

 

 

1

 

 

-

1

 

1

 

 

 

 

2

 

 

 

 

 

 

 

 

2

 

 

 

2

 

 

 

 

 

 

 

λ2

4

0

 

-1

 

-1

 

-2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В каждой из таблиц выделен ведущий элемент. Решение, определяемое

табл. 5.4, соответствует допустимому

 

базисному решениюx1=3;

x2=1; w1=5;

l2 = 4, v1 = v2 = l1 = w2 = 0.

Кроме

 

того,

выполняется

условие

x v

=x

2

v

2

= l w = l

2

w

2

= 0 , поэтому x* = 3, x* = 1 является оптимальным реше-

1

1

 

 

1

1

 

 

 

1

2

 

 

нием задачи, при этом Fmax = 41.

85