![](/user_photo/_userpic.png)
книги из ГПНТБ / Васильев Ф.П. Лекции по методам решения экстремальных задач
.pdf130 МИНИМИЗАЦИЯ ФУНКЦИЙ МНОГИХ ПЕРЕМЕННЫХ [Гл. 2
является также основой многих итерационных методов минимиза ции, сводящихся к поиску седловой точки функции Лагранжа. Различные варианты теоремы Куна — Таккера и ее обобщения,-а также применения этой теоремы к изучению экстремальных задач
см. в работах |
[25— 27, 73, |
79, 89, |
109, 111, 114, 116, 119, |
133, 134, |
149, 170, 191, 196, 199, 235, 239, 256, 260, 269] и др. |
|
|||
Не вдаваясь в подробности, укажем на следующий итерацион |
||||
ный процесс: |
|
|
|
|
^гг-Н == P (/i (Цп |
ц1~>и {Pni |
^л))> |
] — P a i (рп Ф* CCrJ-'X |
(Pti> Pn))> |
|
|
n = 0, |
1, . . . , |
|
где параметр an^ 0 можно выбирать из тех же соображений, как это делалось в градиентных методах. Конечно, здесь нужно пред полагать, что проектирование на множество U\ осуществляется просто. Иногда часть ограничений, задающих множество U, сле дует отнести к ограничениям, определяющим Uj, или к ограни
чениям g(u)<C 0 , |
g ( u ) = 0 , руководствуясь удобством вычисления |
|
проекции P Ut («). |
Заметим, что проектирование на At осуществ |
|
ляется совсем просто: |
|
|
Л 1 |
|
|
|
если |
р* > О |
РаЛ Ъ = |
где Х= (р,,ц), ц '= |
р‘ < 0 . |
Л 5 |
0, если |
|
|
|
_
Также просто вычисляется проекция Р и 1 ( и ) , если U\ = { и : и ^ О } , Существуют и другие способы построения итерационных про цессов, в которых итерации по переменной и делаются с использо ванием одного метода (например, метода Ньютона), а по перемен ной л — с помощью другого метода (например, градиентного ме тода). В тех случаях, когда задача минимизации функции L ( u , X) на Ui при фиксированном А^Л] решается легко, можно
предложить следующий итерационный процесс:
Р (рп-pi» ^п) |
minL (и, Ал), |
|
Рл, (^л j ®пРх (Рп* ^я))» |
|
1 |
|
|
|
п = 0, |
1, . . . |
|
Упражнение 1. Пусть множество |
U = {u -.u ^ U i, g(n)<C 0}, где |
||
U1 — выпукло, |
g i ( u ) , t= l, 2 , . . . , |
s — |
гладкие выпуклые функции |
на £/,, является регулярным и J (и) — гладкая выпуклая функция на Uj. Тогда, для того чтобы в точке и* достигался минимум J (и) на U, необходимо и достаточно существования, точки А*, такой,, что
$ т |
Элементы линейного программирования |
131 |
(если t/i = |
{ u : u ^ O } , |
то условия |
(14) можно записать в виде, |
сим |
|
метричном условиям |
(15): |
|
|
|
|
|
«* > 0, La (и\ Г ) |
> 0, |
и? L'j (и*, Г ) = О, |
|
|
i = l , 2 , . . . , |
/п). Доказать. |
(Этот |
результат носит название теоре |
||
мы Куна — Таккера |
в дифференциальной форме [116, 134, |
149, |
|||
256] и др.) |
|
|
|
|
|
§11. ЭЛЕМЕНТЫ ЛИНЕЙНОГО ПРОГРАММИРОВАНИЯ
1.Под линейным программированием понимается часть т рии экстремальных задач, изучающая задачи минимизации (или максимизации) линейных функций на множествах, задаваемых системами линейных равенств и неравенств. Общая задача линей ного программирования следующая: найти
m in(c, |
«); |
|
U = {и : и‘ > 0 (f 6 I), |
Au = b, |
Аи <&}, (1) |
|
где c e £ m, |
|
|
b<^Es — заданные векторы, А — заданная мат |
|||
рица порядка pX.ni, А — заданная |
матрица порядка s X m, I — |
|||||
.заданное |
подмножество |
индексов г |
среди l^ r < Jm |
(подробнее |
||
обозначения см. в задаче |
(10.10)). |
|
|
|||
К задаче |
(1) |
сводятся многие задачи технико-экономического |
||||
содержания |
([54, |
74, 114, |
118, 132— 134, 257] и др.). |
Кроме того, |
реализация ряда методов минимизации нелинейных функций так
же может привести к задаче |
(1) |
как вспомогательной (см., |
напри |
|||||||
мер, § 4, 6). |
|
|
|
|
|
|
|
|
|
|
|
Поскольку задача (1) является частным случаем рассмотрен |
|||||||||
ной выше задачи |
(10.10), тр к (1) также применима теорема 10.4, |
|||||||||
•из которой вытекает следующая |
так |
называемая основная |
теоре |
|||||||
м а линейного программирования. |
|
|
и* была решением за |
|||||||
|
Т е о р е м а |
1. Для |
того |
чтобы |
точка |
|||||
дачи |
_(1), |
необходимо |
и |
достаточно |
существования |
точки |
||||
A *=(|.i*, р *), |
такой, |
что . |
|
|
|
|
|
|||
> |
0 (i 6/), |
Аи* = |
b, |
Ли*<&, |
р!(Л«*,— b)i = 0 (t = 1, . . . |
, s), |
||||
|
р * > 0 , |
(с+ А У + |
4*|i*){ > 0 ( f 6 / ) , |
(2) |
||||||
|
|
|||||||||
|
|
(с + |
А У + Л>*)г = 0 ( i £ 7 ) , |
( 3 ) |
«*■* (с+ л у + А* р*)£= 0 |
(1 = 1 , 2 , . . . , ш) |
132 |
|
МИНИМИЗАЦИЯ |
|
ФУНКЦИИ МНОГИХ ПЕРЕМЕННЫХ |
|
|
[Гл. V |
|||||||||||||
здесь сохранены обозначения из задачи |
(10.10). |
Из |
(2), |
(3) |
сле |
|||||||||||||||
дуют равенства |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
(р*, Ли* — Ь) = 0, (р*, Ли* — Ь) = 0, (и*, с + Л*р* + Л V ) = 0. |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(4). |
Д о к а з а т е л ь с т в о . |
Составим |
функцию |
Лагранжа |
задачи |
||||||||||||||||
( 1) : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L(u, |
X) — (с, |
и) + (р, |
Аи — b) -f (р, |
Аи — Ь) = |
|
|
|
||||||||||||
|
|
= (с + Л*р Аг Л*р, и) — {Ь, р) — (£ 'р ). |
|
|
|
|
||||||||||||||
Согласно теореме 10.4 точка и* |
будет решением задачи |
(1) тогда' |
||||||||||||||||||
и только |
тогда, |
когда |
функция |
|
L(u, |
Х)_ |
на |
множестве |
||||||||||||
t/iXAj, |
Ux— {и : u,'^ 0 ( i e / ) } >A i= {^ = (p ., |
р) |
: р ^ О } |
имеет седло |
||||||||||||||||
вую точку (и*, Я*), т. е. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
(с, ы*) + |
(ц, |
Ли* — 6) + |
(р, |
Ли* — Ь)<[(с, и*) + |
(р*, |
Аи' — Ь) + |
||||||||||||||
+ у , Ли* - Ъ) = (с + Л*р* + А 'у, и*) - (Ь, р*) - (Ь, р‘) < |
|
|||||||||||||||||||
< |
(с + |
Л*р* + |
Л* р*. |
и) - |
(Ь, |
р*) - |
(5, |
р*), |
|
и 6 C/lt |
Я 6 Ах |
|
||||||||
или в равносильном |
виде: |
для |
некоторого X* = |
(р*, |
р*) £ Ль |
|
|
|||||||||||||
(р — р*, |
Ли’ — Ь) + |
(р — р*, |
Ли* — Ь) < |
0 |
|
при всех |
|
(р, |
р) £ А1г |
|||||||||||
а для некоторого и* 6 U |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(5> |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
(с + Л*р* + Л’ р’, |
и — и*) > |
0 |
при всех |
ц £ t/1# |
|
(6) |
|||||||||||||
Нетрудно видеть, что соотношения |
(5), (6) эквивалентны соотно |
|||||||||||||||||||
шениям (2), (3). В самом деле, если верны |
соотношения |
(2), (3), то |
||||||||||||||||||
из них, очевидно, [вытекают (5), |
(6). Покажем обратное. |
Пусть |
име |
|||||||||||||||||
ют место соотношения |
(5), |
(6). |
Тогда из |
(5) |
|
при р = |
р* |
получим |
||||||||||||
(р — р\ |
Ли* — 6 ) < 0 д л я |
любого |
р £ Ер, |
что возможно |
только |
при |
||||||||||||||
Ли* =_&. Далее, |
при р = |
|
р* |
из |
(5) |
следует |
(pj— р*. Ли* — Ь) < 0 |
при |
||||||||||||
всех р > 0, |
что |
возможно |
тольно_при |
Ли* < Ь- |
В |
самом |
деле, |
если |
||||||||||||
здесь^ |
взять р = (pi, - - ■, |
pit—i, |
|
pf,_ |
Рн-i , . . . |
, |
Ps), _то |
получим |
||||||||||||
(рг — p‘) (Ли* — b )i< 0 |
при |
всех |
p( > |
0, |
откуда |
(Ли* — 6); < 0, |
||||||||||||||
i_— 1, 2 , . . . , [s. _ B ^частности, если |
(Ли* — b)t < |
0, |
то |
обязательно |
||||||||||||||||
р{ = 0, |
поэтому |
р[ (Ли* — b)i = |
0 |
при всех |
t = |
1,2, |
. . . |
, s. Соотноше |
||||||||||||
ния (2) |
получены. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
§ Щ |
|
|
|
Элементы линейного |
программирования |
133 |
|||||||
Аналогично условие |
(6) |
|
|
|
|
|
|
|
|||||
(с + |
|
+ |
A* р*. и - |
и*) = |
£ |
(с + |
А У + Л* p*)i («' - |
иП + |
|||||
|
|
|
|
|
|
|
|
ie/ |
|
|
|
|
|
|
|
|
+ |
£ |
(с + л V |
+ л V |
) £ (U1- |
«'■') > о, |
|
||||
выполняющееся |
при |
всех |
|
0 |
(ie / ) |
и |
произвольных и1’(/’§£/), |
||||||
приводит к соотношениям |
(3). |
Таким образом, существование сед |
|||||||||||
ловой |
точки функции |
L (u t |
X) |
на |
U1Х Л 1 эквивалентно |
соотноше |
|||||||
ниям |
(2), |
(3). |
Отсюда |
и из теоремы |
10.4 |
следует справедливость |
|||||||
теоремы 1. |
А |
|
|
|
|
|
|
|
|
|
|
|
|
Оказывается, |
задача (1) тесно связана со следующей задачей: |
||||||||||||
найти |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
min |
[(6, р) + |
(b, |
р)], |
|
Л = |
{А< = (jx, р ): р > |
0, |
|||||
|
(й, ц)ел |
|
|
|
|
|
|
|
|
|
|
|
|
(с |
А*р + А" |л)( |
0 (i 6 I ) , |
(с + А'р + |
А* р)( = 0 |
(t ^ /)}, |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
(7) |
называемой двойственной задачей по отношению к (1). Эту связь выражает следующая теорема, называемая первой теоремой двой ственности.
Т е о р е м а |
2. |
Задачи |
(1) и (7) либо обе не имеют решения, |
||||||
либо обе имеют, |
решения, причем в последнем случае |
||||||||
|
|
|
(с, |
u') = |
- ( b , |
i o , |
|
(8) |
|
где ц* — решение задачи |
(1), |
V = (р", р’) — решение, задачи (7). |
|||||||
Д о к а з а т е л ь с т в о . |
Составим функцию Лагранжа для двой |
||||||||
ственной задачи |
|
|
|
|
|
|
|
|
|
Lx (X, |
и) = |
(Ь, р) + |
(67 Й — J ] |
(с + Л*р + |
А* р)г — |
||||
|
|
|
|
|
|
щ/ |
|
|
|
— |
£ |
|
u‘ (c + |
А'р + А* р)г = |
(b, р) + |
(b, |
р) — |
||
|
‘ ф } |
|
|
|
•*** |
|
|
|
|
|
|
— (и, с + |
А*р + А*р) = |
— L(u, |
X), |
|
которая отличается от функции Лагранжа L(u, X) исходной зада
чи лишь знаком. Согласно теореме 10.4 двойственная |
задача (7) |
||
имеет решение А,*— (р*, |
р *)& А |
тогда и только тогда, |
когда функ |
ция Ь](Х, и) на A iX U i |
имеет |
седловую точку (X*, u *)^ A iX .U i: |
|
Li(X *,u) s^.Li(X*, u*)^LLi(X, и*) при всех А,еЛь |
Так как |
134 |
МИНИМИЗАЦИЯ ФУНКЦИЯ МНОГИХ ПЕРЕМЕННЫХ |
[Гл. 2 |
||
L(u, |
Х) = — L\(X, и), |
то из последних неравенств следует, что если |
||
(А*, |
и*) — седловая |
точка |
функции Li(X, а) на A iXf/i, то |
(и*, |
X*) |
— седловая точка L(u, X) |
на U1Х Л 1 и наоборот. Таким обра |
||
зом, |
функции L(u, X) и L\{X, |
и) одновременно имеют седловую |
||
точку или ее не имеют. Согласно теореме 10.4 это означает, |
что |
задачи (1) и (7) либо обе не имеют решения, либо обе имеют ре шения. Из сказанного также следует, что точки и* и А,*= (|х*, р*)
будут решениями' задач (1) и (7) соответственно тогда |
и только |
||||||||||||||||||
тогда, если выполняются соотношения |
(2), |
(3). Для |
|
получения |
|||||||||||||||
равенства |
(8) |
теперь |
достаточно |
воспользоваться равенствами |
|||||||||||||||
(4). А |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Т е о р е м а |
3. Для того чтобы точки |
|
|
и А *= (р *, |
(х *)е Л |
|||||||||||||
были решениями задач (1) и (7) соответственно, необходимо |
и |
||||||||||||||||||
достаточно, чтобы |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
Ф, u*) = - ( 6 , |
|
|
|
|
|
|
р*). |
|
|
|
(8) |
||||
|
Д о к а з а т е л ь с т в о . |
Необходимость |
доказана |
в |
теореме |
2. |
|||||||||||||
Остается |
доказать |
достаточность. |
Пусть для |
некоторых |
u *^ U |
и |
|||||||||||||
Я ,*= (р *, |
р * ) е Л имеет место равенство |
(8). |
Тогда из условий, оп |
||||||||||||||||
ределяющих U и Л, |
имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
(с, и) > — (Л*р + А* р, и) = — (Аи, р) — (Аи, р) > |
|
|
||||||||||||||||
|
> |
— (6, |
р) — (6, |
р) |
при всех |
|
и в U, |
X — (р, |
р) £ Л. |
(9) |
|||||||||
В |
частности, при X = X* — (р*, |
р*) |
с учетом |
условия |
(8) |
отсюда |
бу |
||||||||||||
дем иметь |
(с, и) > — (6, |
р*) — (6, |
р*) = |
(с, |
и’) |
при всех |
и 6 U, т. |
е. |
|||||||||||
(с, |
u*)s=m in(c, |
и). |
Аналогично |
при |
и = |
и* |
из (9) |
и |
(8) |
следует |
|||||||||
|
|
|
— |
|
|
|
|
|
_ |
|
_ |
|
|
|
|
|
|
|
|
(ь , |
р) + (Ъ, р) > |
— (с, и") = |
(6, |
р*) + |
(6, _р*) |
при всех |
X= |
(р, р) £ Л, |
|||||||||||
т. |
е. (6, р’) -г Ф, Р”) = |
min [(6, |
р) |
-f |
ф, |
р)]. А |
|
|
|
|
|
|
|||||||
|
|
|
|
ХбЛ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Ниже будем рассматривать так называемую |
каноническу |
||||||||||||||||
задачу линейного программирования: найти |
|
|
|
|
|
|
|||||||||||||
|
|
min (с, и), |
t/ = |
{ « > 0 , |
|
Аи = 6}, |
|
|
|
(10) |
|||||||||
|
|
ибУ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
получающуюся |
из |
общей |
задачи |
(1) |
при I |
= |
{ i : 1 < |
i < |
in}, |
А = |
0, |
||||||||
6 = 0, s = |
0. Заметим, что общая задача (1) |
введением дополнитель |
|||||||||||||||||
ных переменных может быть сведена к канонической задаче. В |
са |
||||||||||||||||||
мом деле, |
положим v = |
b —Аи, |
и‘ = |
х&f — wl, где £§Ё1/, wl = |
max {0; |
||||||||||||||
и‘} > 0 , wl — max (0; — и‘} > 0 , |
и |
в |
|
пространстве |
переменных |
||||||||||||||
v, |
u‘ (i(zl), we, |
w‘ ( i £ I ) |
рассмотрим задачу: |
найти |
|
|
|
|
|
§ Щ |
Элементы |
линейного |
программирования |
135 |
|||
|
min ^ |
с;«' -г V |
с, (w‘ — w1) ) |
|
|
||
|
|
£е/ |
lU l |
|
|
||
при условиях |
|
|
|
|
|
||
V> О, ие > |
0 (i 6 I), |
w1'> О, w* > О |
( i £ I ) , |
|
|||
|
^ |
AiU1 |
£ |
At (w!— а;1) = Ь, |
|
|
|
|
iei |
|
igi |
|
|
|
|
^ |
ALu* + |
^ Ai(w‘ — w‘~) + v = |
b |
|
i£I i<£I
(см. обозначения к задаче (10.10)). Как видим, в задаче (11) все переменные неотрицательны, остальные ограничения имеют толь ко вид равенств, и после переобозначений задачу (11) нетрудно
записать в виде (10). |
Остается заметить, что точка |
v*, м‘’ (£6/), |
|||
w‘ , w£ |
(i& zl) |
будет |
решением задачи (11) |
тогда и только тогда, |
|
когда |
точка |
и* с координатами ие* (i 6 /) |
и и * == w * — wl* (i £ I) |
||
будет решением задачи (1), так что задачи |
(1) и (11) |
эквивалент |
|||
ны. |
|
|
|
|
|
Изложенный метод сведения общей задачи (1) к канониче скому виду на практике, однако, применяется редко, поскольку это приводит к чрезмерному увеличению размерности переменных. В то же время разработку и исследование различных методов ре шения задач линейного программирования удобно проводить для задач, записанных в каноническом виде или в виде так называе мой основной задачи линейного программирования: найти
min (с, |
и); U = {u\u^> 0, |
(12) |
u£U |
|
|
Исходная задача (1) |
легко сводится к виду |
(12), если ограниче |
ния типа равенств Аи—Ь заменить на два ограничения типа нера венств Aus^ib и (—А )и ^ .— Ь, а переменные u\{i^I) заменить,
как выше, разностью го,— до*. Разумеется, в зависимости от спе цифики задачи можно указать и другие более удобные способы перехода от задачи (1) к задачам вида (10) или (12), позволяю щие избежать чрезмерного увеличения размерности задачи или, быть может, иногда даже приводящие к сокращению числа пере менных и ограничений. Методы, разработанные для решения за дачи (10) или (12), затем часто удается модифицировать так, что бы их можно было применять к задачам линейного программиро вания в более общей форме.
В настоящих лекциях ограничимся изложением симплекс-ме тода, приспособленного для решения канонической задачи (10), полагая, что знание основ метода в таком виде позволит читате
136 МИНИМИЗАЦИЯ ФУНКЦИИ МНОГИХ ПЕРЕМЕННЫХ [Гл. 2
лю без особых усилий самостоятельно ознакомиться по имеющей ся литературе с симплекс-методом и другими методами, приме няемых к решению задач линейного программирования в различ ных формах. Более подробное изложение теории, методов и раз личных приложений линейного программировайия можно найти,
например, в работах [54, 74, 89, 114, 116, 118, 132— 134, 149, 219; 220, 226, 232, 235, 256, 257]. При изложении симплекс-метода для
задачи |
(10) |
будем следовать |
схеме, |
принятой в |
работе [134]. |
|||||||||||
3. Выпишем двойственную к (10) |
задачу: найти |
|
|
|
||||||||||||
|
|
min(&, К), |
А = |
{ Х :К е Е р, |
с + |
А,Х > |
0} |
|
|
(13) |
||||||
и переформулируем теоремы |
1— 3 применительно к задачам |
(10), |
||||||||||||||
(13). |
|
|
|
|
|
|
|
|
|
и *^ Е т была |
|
|
|
|||
Т е о р е м а |
4. |
Для |
того чтобы точка |
|
решением |
|||||||||||
задачи |
(10), |
необходимо |
и |
|
достаточно |
существования |
точки |
|||||||||
Х *^ Е Р, такой, что |
|
|
|
|
|
|
|
|
|
|
|
|
||||
« * > 0 , |
Au* = b, |
с + |
Л * Г > 0, |
«*'*{с + |
Л‘Г ) ; = 0, |
t = |
l , . . . , /я. |
|||||||||
Задачи (10) и (13) либо обе не имеют решения, |
либо обе имеют |
|||||||||||||||
решения, причем для того, чтобы точки |
|
|
и Я ,*еА |
были ре |
||||||||||||
шениями соответственно задач (10) и (13), необходимо |
и доста |
|||||||||||||||
точно, |
чтобы |
(с, |
и*) = — (b, X*). |
|
|
|
|
|
|
|
|
|||||
В |
задачах |
линейного программирования |
важное |
значение |
||||||||||||
имеет понятие угловой |
(или крайней) |
точки множества. |
|
|
||||||||||||
О п р е д е л е н и е |
1. Точка |
а множества |
А а Е п |
называется |
||||||||||||
угловой (или крайней) точкой этого множества, если |
представле |
|||||||||||||||
ние a = a a i + ( l — а ) а 2 при щ, |
а2^ А и 0 < а < 1 |
возможно лишь при |
||||||||||||||
а=а\ — а2. Иначе |
говоря, |
в Л |
не существуют |
точек а ь |
а2, а\ ф а2, |
|||||||||||
при которых представление a = a a i + ( l — а ) а 2 возможно для |
како |
|||||||||||||||
го-либо а, 0 < а < 1 . Геометрически это означает, что угловая точка |
не может быть внутренней точкой любого отрезка, принадлежаще го множеству.
Т е о р е м а |
5. Всякое |
выпуклое замкнутое ограниченное мно |
жество Л с £ „ |
имеет хотя |
бы одну угловую точку, и любая точка |
5 &Л может быть представлена в виде выпуклой линейной комби
нации конечного числа угловых точек |
а\, а 2, . . . ,ah множества А, |
||||||
т. е. |
|
|
|
|
|
|
|
|
|
к |
|
|
к |
|
|
a = |
£ |
a tah аг > |
0, |
t = l , 2, |
. . . , & , £ |
a t= 1. |
(14) |
|
f=i |
|
|
f=i |
|
|
|
Д о к а з а т е л ь с т в о |
проводится |
с помощью |
индукции |
по |
|||
размерности |
пространства |
Е п, в котором задано |
множество |
А. |
|||
Если-/г=1, |
то А есть отрезок и справедливость теоремы очевидна. |
§ Щ |
Элементы линейного программирования |
137 |
Пусть теорема верна для всех выпуклых замкнутых ограниченных
множеств |
в |
пространстве Е п^ ( п ^ 2 ) . |
Пусть |
А — выпуклое |
|
замкнутое |
ограниченное множество в Е п. |
Возьмем какую-либо |
|||
граничную точку а множества А и построим в этой точке |
гипер |
||||
плоскость |
(с, |
а— л )= 0 , с Ф 0, опорную |
к множеству |
А, т. е. |
|
(с, а ) ^ ( с , |
а ) —а при всех а^.А. Общие |
точки |
множества А и |
этой гиперплоскости обозначим через А0. Очевидно, Ло — выпук
лое замкнутое ограниченное множество, |
и, |
кроме того, А0 |
может |
||||
быть помещено в некоторое евклидово |
пространство |
Е п- £. |
По |
||||
предположению индукции существуют |
угловые |
точки |
a it . . . |
,ад |
|||
• k |
|
|
|
|
к |
|
|
множества А0 и числа а £> 0 , ^ |
а г = |
1, |
такие, |
что а = |
^ |
а £а£. |
|
i = |
i |
|
|
|
i = |
i |
|
Остается лишь показать, что точки а\, а2, . . . ,аи являются угловы
ми |
и |
для |
множества |
А. |
Пусть а£ = а а '+ ( 1 — а )а " , |
а', |
а" ^ А , |
||
0 < ’о < 1 . |
Покажем, |
что такое представление возможно только при |
|||||||
а '= а " = а £. Так как |
(с, а ')^ .(с , |
а ), (с, а " ')^ (с , а ), (с, а£) = |
(с, а ), |
||||||
то |
|
|
|
|
|
|
|
|
|
|
|
(с, щ) = а (с, а') + (1 — а) (с, а") > (с, а) = (с, а£), |
|
||||||
что возможно только при |
(с, |
а') = (с, а".) = (с, а ), т. е. |
а', |
а " е Л 0. |
|||||
Но |
йг — угловая точка |
А0, |
поэтому представление |
щ = а а 'ф |
|||||
+ (1— а)а", |
а', а " ^ А 0, 0 < а < 1 |
возможно только при |
а£= а /= а " . |
||||||
Тем |
самым |
доказано существование угловых точек множества А |
и, кроме того, получено представление (14) для любой граничной точки множества А.
Пусть теперь а — внутренняя точка множества А. Через точ ку а проведем какую-либо прямую L. Пересечение Ь[)А есть отре
зок с концами Ъ1, Ь2, принадлежащими границе множества |
А, |
причем для некоторого а, 0 < а < 1 имеем: а = а & 1+ (1 — а )Ь2. |
В |
силу доказанного для граничных точек имеет место представле
ние (14). Поэтому найдутся |
угловые точки aiU ai2, . . . , |
мно |
|
жества А и положительные числа а£1.......... aikl, |
такие, |
||
что Ь[ = £ a£/a£/, |
i — 1, 2. |
Тогда |
|
/=i |
|
|
|
_ |
fti |
к, |
|
a = Y> a a i/aи + £ (! — «) °2ia%- |
|
||
|
/=i |
j=i |
|
Приведя подобные члены и выбрасывая нулевые слагаемые, при дем к представлению (14). ^
138 |
МИНИМИЗАЦИЯ ФУНКЦИИ МНОГИХ ПЕРЕМЕННЫХ |
[Гл. 2 |
Т е о р е м а 6. Если задача (10) имеет решение, то найдется угловая точка множества U, также являющаяся решением •этой задачи.
Д о к а з а т е л ь с т в о . Пусть и* — решение задачи (10). Возьмем множества
|
|
|
т |
|
|
|
|
|
|
т |
|
|
|
А = | и : « > 0, |
£ |
и‘ < М | и В — |u:u > |
0, |
^ и 1 = М}, |
|||||||
|
|
|
i=l |
|
|
|
|
|
|
|
|
|
где М = 1 -f |
ш |
|
|
|
множества Ап В непусты, ограни- |
|||||||
w£*]> 0. |
Очевидно, |
|||||||||||
|
i=I |
|
|
|
и* € А, |
и* £ В . Тогда пересечение |
||||||
чены, выпуклы, замкнуты, причем |
||||||||||||
U П А является ограниченным |
выпуклым |
замкнутым |
множеством и |
|||||||||
u*(zU[}A . По теореме 5 |
|
|
|
|
|
|
|
|
к |
|||
тогда |
существует представление |
а £а£, |
||||||||||
где |
а£— угловые точки |
множества |
U [\ A, |
а £> 0 ( £ = 1 , |
i=i |
|||||||
2.......... k), |
||||||||||||
k |
a ( = 1. Так как a£ 6 U, то |
|
|
|
|
|
|
|
|
|||
^ |
|
|
|
|
|
|
|
|
||||
i=i |
|
|
|
|
|
|
|
|
|
|
|
|
|
(с, |
а£) > (с, |
и*) = inf (с, |
и) (£ = |
1, 2, |
. . . |
, |
k). |
|
|||
|
|
|
|
|
и |
|
|
|
|
|
|
|
Умножим эти неравенства на а г> 0 |
и сложим. Будем иметь |
|||||||||||
|
(с, |
и*) < |
к |
|
|
к |
|
|
(с > «*)> |
|
||
|
£ |
а £(с, |
а£) = |
(с, £ |
а л ) = |
|
||||||
|
|
|
£=1 |
|
|
£=1 |
|
|
|
|
|
|
что возможно только |
при (с, и’) = (с, |
аг) |
(t = |
1, |
2, . . . |
, k). Таким |
образом, точки alt a,, . . . , ak также являются решением задачи (10).
Остается показать, что среди этих точек |
ах, ■.. |
, ак хотя бы |
одна |
||
является угловой точкой множества U. |
|
|
|
||
Заметим, |
что среди точек аь . . . ,ай найдется точка щ £ В , |
ибо |
|||
|
|
k |
|
|
|
в противном |
случае |
ы‘ = ^ а ;а £6 5 . Докажем, что такая точка |
|||
a,i — угловая |
|
£ = 1 |
пусть |
a£= a u i + ( l — a)u 2, |
|
точка U. В самом деле, |
|||||
ии u2^ U , 0 < a < l . |
Покажем, что такое |
представление, возможно |
лишь при U\ = u2= ai. Для этого возьмем точки w; = а г + у (% — а,-) =
= уи ;+ ( 1 — у )°г(/ = 1,2), принадлежащие U |
при всех у, |
|
Так как щ ^е В, т о |
можем выбрать у, 0 < у < ;1 столь малым, чтобы |
|
т |
|
|
^ w lj< iM . Таким |
образом, wu rej2<=UHA. |
Кроме того, так как |
£=1
a£ = a u i+ ( l — а)ы 2, 0 < а < 1 , то простые выкладки показывают, что a{=aa>i + ( l — а)ш 2, 0 < а < 1 . Однако а£—угловая точка множества
§ |
I t ] |
|
Элементы линейного программирования |
139 |
||
UflA, |
wi, w2eU [}A , |
поэтому последнее представление для щ воз |
||||
можно лишь при a,i=Wi = |
w2. А тогда щ = и1= и2. Таким |
образом, |
||||
flj |
— |
угловая точка |
U и |
(с, a t) = inf (с, |
и). |
|
|
|
|
|
uBCJ |
|
|
|
Как видим, угловые .точки в задаче |
(10) играют важную роль. |
В связи с этим полезно иметь простой алгебраический критерий
для угловой точки множества U задачи (10). |
|
|
|
Т е о р е м а |
7. Для того чтобы точка и ф 0, u ^ U была угловой |
||
точкой множества U, необходимо и достаточно, |
чтобы: |
1) сущест |
|
вовали невырожденная квадратная матрица |
|
|
|
<*ith |
bit |
|
|
••• а и к |
|
|
|
|
bi, |
.такие, |
что для |
|
и вектор Ь = |
aikh • ■ a ‘kfk
1 |
Л*’ 1 |
Ф
и =
и‘ь
справедливо равенство |
|
|
|
|
|
|
В й = Ъ , |
\В\фО, |
|
(15) |
|
где |
а,, — элементы матрицы |
A, b i— координаты |
вектора |
6; |
|
2) |
координаты вектора и, не входящие в |
й, заведомо |
равны, нулю |
||
(заметим, что если u = 0 ^ U , то |
и = 0 — |
всегда угловая точка |
U). |
Столбцы матрицы А, входящие в матрицу В, называются базисом угловой точки и.
Д о к а з а т е л ь с т в о . |
Н е о б х о д и м о с т ь . |
Пусть |
и ф 0 — |
||
угловая точка |
множества U. Пусть |
( A u ) i= b i( i= l,. . . ,р), |
|||
ш > 0 (/ = 1, . . . |
,/с), из—0 |
( / = к + 1 , . . . ,т ) |
(этого |
всегда |
можно |
добиться, перенумеровав при необходимости координаты векторов и и Аи). Обозначим
|
ап , . . . , |
(гы' |
|
|
А = |
|
|
|
\api> ••■ > |
aPk-> |
|
|
*1£ |
/ |
гД |
Ai — |
(* = 1, 2...........k), |
-и — | |
• | > 0 . |
ик