![](/user_photo/2706_HbeT2.jpg)
Metody_optimizatsii_Shatina_A_V
.pdf41
Доказательство:
ˆ |
( |
) |
- f |
( ˆ) |
³ 0 |
"x Î R |
n |
Û |
x Î absmin f Û f |
|
x |
x |
|
Û f |
( |
x |
) |
- f |
( ˆ) |
³ |
( |
|
|
ˆ) |
"x Î R |
n |
Û 0 Î ¶f |
( ˆ) |
. |
|
|
■ |
|||||||||||||||
|
|
|
x |
|
0, x - x |
|
x |
|
|
||||||||||||||||||||||||
Задача. Решить выпуклую задачу без ограничений: |
|
||||||||||||||||||||||||||||||||
f ( x , x |
|
) |
= x2 |
+ x x |
|
+ 2x2 |
+ |
|
x |
|
+ x |
|
- 2 |
|
® min |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
1 |
|
2 |
|
|
1 |
|
1 |
2 |
|
|
2 |
|
|
1 |
|
|
2 |
|
|
|
|
|
|
|
. |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
Решение: |
|
|
|
Функции |
|
|
|
f ( x , x |
2 |
) = x2 |
+ x x |
2 |
+ 2x2 |
и |
|||||||||||||||||||
|
|
|
|
|
|
1 |
1 |
|
|
|
1 |
|
|
|
1 |
|
2 |
||||||||||||||||
f2 ( x1, x2 ) = |
|
x1 + x2 - 2 |
|
|
|
являются |
выпуклыми |
|
|
функциями |
двух |
||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
переменных. Поэтому их сумма также является выпуклой функцией. Согласно теореме Моро-Рокафеллара субдифференциал суммы функций равен сумме субдифференциалов. Субдифферен-
циалы функций f1, |
f2 имеют вид: |
|
|
|
|
|
|
|
|
|
||||||||||||
¶f |
|
( x , x |
|
æ |
¶f |
1 |
( x , x |
2 |
) |
, |
¶f |
1 |
( x , x |
2 |
) ö |
= (2x |
+ x |
|
, x |
+ 4x |
|
) |
1 |
2 |
) = ç |
|
1 |
|
|
1 |
÷ |
2 |
2 |
||||||||||||
|
1 |
ç |
|
|
¶x1 |
|
|
|
|
|
¶x2 |
|
÷ |
1 |
|
1 |
|
, |
||||
|
|
|
|
è |
|
|
|
|
|
|
|
|
ø |
|
|
|
|
|
|
|
|
ì(1;1), если x1 + x2 − 2 > 0, |
|
|
|
|
¶f2 |
( x1 |
, x2 ) = íï(-1;-1), если |
x1 + x2 - 2 < 0, |
|
|
|
|
|
ï(2α -1, 2α -1), α Î[0;1], если x |
+ x |
2 |
- 2 = 0. |
|
|
|
î |
1 |
|
|
|
Тогда |
|
|
ì( 2x1 + x2 +1; x1 + 4x2 +1), если |
x1 + x2 − 2 > 0, |
|
||||||||
|
|
|
|
|
|
|
||||||||
|
¶f ( x , x |
2 |
) = |
ïï( 2x1 + x2 -1; x1 + 4x2 -1), если |
x1 + x2 - 2 < 0, |
|
||||||||
|
|
|
1 |
|
í |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï( 2x1 + x2 + 2α -1, x1 + 4x2 + 2α -1), α Î[0;1], |
|
|||||||
|
|
|
|
|
|
ï |
|
|
|
|
|
если x1 + x2 - 2 = 0. |
|
|
|
|
|
|
|
|
î |
|
|
|
|
|
|
||
|
Используя необходимые и достаточные условия абсолютно- |
|||||||||||||
го минимума в выпуклой задаче без ограничений, получим: |
|
|||||||||||||
|
|
|
|
|
|
|
0 |
∂ |
( ˆ) |
|
|
|
||
|
|
|
|
|
|
|
|
f |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ì2x1 + x2 + 2α −1 = 0 |
|
|
ì2x1 + x2 +1 = 0 |
ì2x1 + x2 −1 = 0 |
|
ï |
|
|
|||||||||
|
ïx1 + 4x2 + 2α -1 = 0 |
|
||||||||||||
ï |
+ 4x2 +1 |
= 0 |
ï |
|
|
|
|
í |
|
|
||||
íx1 |
íx1 + 4x2 -1 = 0 |
|
ïx1 + x2 - 2 = 0 |
|
||||||||||
ïx + x |
2 |
- 2 > 0 |
, |
ïx + x |
2 |
- 2 < 0 |
, |
ï0 £ α £ 1 |
. |
|||||
î 1 |
|
|
|
|
или î 1 |
|
|
или î |
|
42
Первая и третья системы уравнений и неравенств решений
не имеют, а решение второй системы имеет вид: |
x |
= |
3 |
, x |
|
= |
1 |
|||
|
1 |
|
7 |
|
2 |
|
7 . |
|||
æ |
3 |
; |
1 |
ö |
Î absmin з |
|
||||
ç |
7 |
7 |
÷ |
|
||||||
Ответ: è |
|
ø |
|
|
|
|
|
. ● |
Выпуклые задачи с ограничением (выпуклые задачи).
|
|
Постановка задачи: |
f ( x) ® min, |
x Î B , |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
f : Rn ® |
|
|
- выпуклая функция, B Ì Rn |
|
|
||||||||||||||||||||||||||||||||||||||||
где |
R |
|
- выпуклое множе- |
|||||||||||||||||||||||||||||||||||||||||||
ство. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
Теорема. В выпуклой задаче локальный минимум является |
||||||||||||||||||||||||||||||||||||||||||||
абсолютным. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство: Пусть x Î locmin з , следовательно, |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
$U |
( |
ˆ) |
|
|
~ |
|
|
|
( ˆ) |
|
Ç B f |
( ~) |
³ f |
( ˆ) |
. |
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
:"x ÎU |
x |
|
x |
|
x |
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
Возьмем произвольную точку x B . При α → +0 точка |
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
α |
|
( |
|
|
|
α ) ˆ |
|
( |
ˆ) |
Ç B . |
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x = |
|
x + |
1- |
|
x ÎU |
|
x |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
Тогда |
f |
( ˆ) |
£ f |
( |
x |
) |
= f |
(α |
x + |
( |
1- |
α ) ˆ) |
£ |
α |
f |
( |
x |
) |
+ |
( |
1- |
α ) |
f |
( |
ˆ) |
Þ |
|
|||||||||||||||||
|
( ˆ) |
|
x |
|
|
|
|
|
x |
|
|
|
|
|
|
x |
|
|||||||||||||||||||||||||||||
|
|
|
|
( |
|
) |
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
f |
x |
£ f |
|
x |
|
Þ x Î absmin з . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
■ |
||||||||||||||||
|
|
|
|
|
|
|
|
Задачи выпуклого программирования. |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
Постановка задачи: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
f0 ( x) ® min; f1( x) £ 0,..., fm ( x) £ 0, |
x Î A , |
|
|
|
|
(1) |
|||||||||||||||||||||||||||||||
|
|
f |
|
: Rn ® |
|
( |
j = 0,1,...,m) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
где |
j |
R |
- |
выпуклые |
функции, |
A Ì R |
n |
- |
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
выпуклое множество. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
Определение. Точка x называется допустимой в задаче |
||||||||||||||||||||||||||||||||||||||||||||
выпуклого |
|
|
|
|
|
программирования, |
|
|
если |
|
|
|
x A |
|
|
и |
||||||||||||||||||||||||||||||
|
f1( x) |
£ 0,..., fm ( x) £ 0 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
▲
Задача выпуклого программирования является выпуклой задачей, т.е. множество допустимых элементов является выпуклым.
43
Теорема Куна-Таккера.
1) Пусть xˆ Î absmin з . - точка абсолютного минимума в задаче выпуклого программирования. Тогда существует ненулевой
вектор множителей Лагранжа λ = (λ0 ,λ1,...,λm )
няются условия: |
|
|
|
|
|
|
|
|
|
а) |
принцип |
|
минимума |
для функции Лагранжа |
|||||
L( x,λ ) |
m |
( x) |
|
|
|
|
|
|
|
= åλ j f j |
|
|
|
|
|
|
|
||
|
j=0 |
|
: |
|
( |
x, |
λ ) |
( ˆ |
λ ) |
|
|
|
|
min L |
|
= L x, |
; |
||
|
|
|
|
x A |
|
|
|
||
б) условия дополняющей нежесткости: |
|||||||||
|
|
|
λ |
j f j |
( ˆ) |
= 0, |
j = 1,...,m ; |
||
|
|
|
|
x |
в) условия неотрицательности:
λj ³ 0, j = 0,1,...,m.
2)Если для допустимой точки xˆ выполнены условия а), б), в) и λ0 ¹ 0, то xˆ Î absmin з .
3)Если для допустимой точки xˆ выполнены условия а), б),
в) и |
выполнено |
условие Слейтера (т.е. |
x A : |
|
f j ( x) < 0, |
j = 1,..., m |
|
ˆ |
■ |
|
|
), то x Î absmin з . |
Теорема Куна-Таккера дает необходимые и достаточные условия абсолютного минимума в задаче выпуклого программирования.
Замечание. Если в выпуклой задаче (1) отсутствует ограни-
чение в виде включения x A, (т.е. A = Rn ), то условие а) теоремы Куна-Таккера равносильно условию стационарности функции
|
m |
|
|
||
|
Λ( x) = åλ j f j ( x) |
|
|||
Лагранжа |
j |
= |
0 |
( ˆ) |
. Это следует из того, что |
|
: 0 Î ¶L x |
||||
|
|
|
|
m |
|
|
|
|
|
Λ( x) = åλ j f j ( x) |
|
функция Лагранжа |
|
j=0 |
с неотрицательными мно- |
жителями Лагранжа является выпуклой функцией. А по аналогу
![](/html/2706/112/html_WdDlUH4GMr.pT3f/htmlconvd-hMhK6A44x1.jpg)
44
теоремы Ферма для выпуклых функций условие 0 ∂Λ( xˆ) является необходимым и достаточным условием абсолютного миниму-
ма функции Лагранжа в точке xˆ .
Задача. Найти расстояние от точки M (ξ1,ξ2 ,ξ3 ) до конуса
K :x12 + x22 - x3 £ 0 .
Решение. Формализуем поставленную задачу, взяв в качестве целевой функции квадрат расстояния от точки M до точки, принадлежащей конусу:
( x - ξ |
|
) 2 |
+ ( x |
|
|
|
|
|
) 2 |
+ ( x |
|
|
|
|
) 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
1 |
2 |
- ξ |
2 |
3 |
- ξ |
3 |
® min; |
x1 |
+ x |
2 |
|
- x |
3 |
£ 0 |
. |
||||||||||||||||||||||||||||||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
2 |
|
|
|
|
|
|
|||||||||
Составим функцию Лагранжа |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
L( x) = L( x,λ ) = λ |
[( x - ξ )2 + ( x |
2 |
- ξ |
2 |
)2 + ( x - ξ |
3 |
)2 ] |
+ |
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
1 |
|
|
1 |
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ λ ( |
|
|
− x ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 + x2 |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
1 |
|
|
|
2 |
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Выпишем необходимые условия абсолютного минимума: |
|||||||||||||||||||||||||||||||||||||||||||||
а) 0 ∂Λ( x) , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
ì |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
æ |
|
|
|
|
x1 |
|
|
|
|
|
|
x2 |
|
|
|
|
ö |
||
|
ï2λ |
( x - ξ , x |
2 |
|
- ξ |
2 |
, x - ξ |
3 |
) + λ ç |
|
|
|
|
|
|
, |
|
|
|
|
|
|
,-1÷, |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
2 |
2 |
|
2 |
|
2 |
|||||||||||||||||||||||||||||||||||
|
ï |
|
0 1 |
|
1 |
|
|
|
|
|
|
|
|
3 |
|
|
|
1ç |
|
|
|
|
|
|
|
|
|
|
|
÷ |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
è |
|
|
|
x1 + x2 |
|
|
|
x1 |
+ x2 |
|
|
ø |
||||||||
¶L( x) = íï |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
если x12 + x22 ¹ 0, |
||||||||||||
|
ï |
|
|
|
( - ξ1,- ξ2, x3 - ξ3 ) + λ1( y1, y2,-1), y12 + y22 £ 1, |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
ï2λ0 |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
ï |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
если x2 |
+ x2 |
= 0. |
|||||||||
|
î |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
( |
|
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
2 |
|
||||
б) |
λ |
|
x2 + x |
2 |
- x |
3 |
= 0 |
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
1 |
|
|
1 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
в) |
λ |
0 |
³ 0, λ ³ 0 |
|
(λ2 |
+ λ2 |
¹ 0) |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
1 |
|
|
|
|
|
|
0 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Если λ0 = 0, то из условия а) получим |
λ1 = 0, т.е. вектор |
множителей Лагранжа равен нулю, поэтому этот случай не подходит.
Положим λ0 = 12. Разберем отдельно два случая:
![](/html/2706/112/html_WdDlUH4GMr.pT3f/htmlconvd-hMhK6A45x1.jpg)
45
x12 + x22 ¹ 0 и x12 + x22 = 0 .
|
|
|
|
ìx |
2 |
+ x |
2 |
¹ 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
ï |
1 |
|
|
|
|
2 |
|
|
|
|
|
|
λ1x1 |
|
|
|
|
|
|
|
|||||||||
|
|
|
|
ïx - ξ + |
|
|
|
|
|
|
|
= 0, |
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
x2 |
+ x2 |
|
||||||||||||||||||||||||
|
|
|
|
ï |
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
ï |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
2 |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
- ξ |
|
|
|
|
+ |
|
|
|
λ1x2 |
|
|
|
|
= 0, |
|
||||||||||
|
|
|
|
ïx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
+ x2 |
|
|
|||||||||||||||||
|
|
|
|
ï |
|
2 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
í |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
2 |
|
|
|
|
||||
|
|
|
|
ïx3 |
( |
- ξ3 - λ1 = |
0, |
)= 0, |
|
|
|||||||||||||||||||||||
|
|
|
|
ïλ |
|
|
|
|
|
|
|
|
|
- x |
|
|
|||||||||||||||||
|
|
|
|
|
|
|
x |
2 |
|
+ x2 |
|
|
|||||||||||||||||||||
|
|
|
|
ï |
1 |
|
|
|
1 |
|
|
|
|
|
|
2 |
|
3 |
|
|
|
|
|
|
|
||||||||
|
|
|
|
ïx |
|
|
|
³ |
|
|
|
|
x2 + x2 |
, |
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
ï |
3 |
|
|
|
|
|
|
|
|
1 |
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|||||
I. |
|
|
|
ïλ |
|
|
|
³ 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
î |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Рассмотрим два варианта выполнения условия дополняю- |
|||||||||||||||||||||||||||||||||
щей нежесткости. |
|
|
|
ìλ1 = 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
ïx |
|
|
|
= ξ , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
ï |
1 |
|
|
|
|
1 |
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
ïx |
2 |
= ξ |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
ï |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
íx3 = ξ3, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
ï |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ïξ3 ³ |
ξ12 + ξ22 |
, |
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
ï |
|
2 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Iа) |
|
|
|
ïξ |
+ |
ξ |
¹ 0. |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
î |
1 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
> 0 |
|
|
|
|||||||||||||
Следовательно, если |
ξ |
3 |
³ |
|
|
|
|
ξ |
2 |
+ ξ |
2 |
, то |
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|||||||||||
ˆ |
= (ξ |
1, |
ξ |
2 , |
ξ |
3 |
) |
absmin з, Smin |
= |
0 . |
|||||||||||||||||||||||
x |
|
|
|
|
|
|
|
|
|
![](/html/2706/112/html_WdDlUH4GMr.pT3f/htmlconvd-hMhK6A46x1.jpg)
46
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ìλ1 > 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï |
|
|
|
æ |
|
|
|
|
|
|
|
|
|
|
|
|
λ1 |
|
|
|
|
|
ö |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ïx |
ç1+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
÷ = ξ , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï |
|
|
1ç |
|
|
|
|
|
|
|
|
|
x12 + x22 ÷ |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï |
|
|
|
è |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ø |
|
|
|
|
|
|
|
|
|
|
|
Û |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
í |
|
|
|
|
æ |
|
|
|
+ |
|
|
|
|
|
|
|
λ |
|
|
|
|
|
|
|
ö |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ïx2ç1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
÷ = ξ2, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï |
|
|
|
|
ç |
|
|
|
|
|
|
|
|
|
|
x |
2 + x2 |
|
|
÷ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
è= ξ |
|
|
|
1 |
|
|
|
|
2 |
|
|
|
|
ø |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ïx |
|
3 |
+ λ , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï |
|
|
3 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Iб) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ïx |
|
= |
|
|
|
x2 + x2 |
> 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
î |
|
|
3 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ìλ |
> 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
λ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ |
|
(ξ |
|
|
|
|
+ ξ |
2 |
|
|
+ ξ |
|
2 ) |
|
|
|
||||||||||||||||||||||||
|
|
ì |
|
1 > 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï |
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
ï |
|
|
|
ξ1(ξ3 + λ1 ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ïx1 = |
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
2 |
|
|
|
, |
||||||||||||||||||||||||||||||||||
|
|
ïx = |
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
ξ 2 |
|
+ |
ξ |
2 |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
ï |
|
1 |
|
|
ξ |
3 + |
2 |
λ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
2 |
|
|
|
|
|
|
|
|
) |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï |
|
|
|
|
|
|
|
|
|
|
|
(ξ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
ï |
|
|
|
|
ξ |
|
|
(ξ |
|
|
|
|
+ λ |
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ |
|
|
|
|
|
+ ξ |
2 |
+ ξ |
|
2 |
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
ï |
|
|
|
|
2 |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
3 |
|
|
|
|
2 |
||||||||||||||||||||||||||||||||||||||||||
Û |
íx2 = |
|
|
|
|
|
|
|
|
1 |
|
|
, |
|
|
|
|
|
|
|
|
|
|
Û |
íx2 = |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
, |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
ξ3 + 2λ1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 ξ12 + ξ22 |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
ï |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
ï |
|
|
|
ξ |
|
|
|
+ |
λ |
> 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï |
|
|
|
|
|
|
|
1 |
|
( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
ïx3 = |
|
|
|
3 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï |
|
|
|
|
|
|
|
|
|
|
|
ξ |
2 |
|
|
|
|
|
|
ξ |
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
ïλ = |
|
1 |
( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
). |
|
|
|
|
|
|
|
ïx3 = |
|
|
2 |
|
|
|
|
|
|
1 |
|
+ |
|
|
|
2 |
+ |
|
|
|
3 |
|
|
> 0, |
|||||||||||||||||||||||||||||
|
|
|
|
|
ξ 2 |
+ ξ |
|
2 |
|
|
- ξ |
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
|
|
|
|
|
|
|
|
|
|
|
). |
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
ï |
|
1 |
|
2 |
|
|
|
|
1 |
|
|
|
2 |
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
ï |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ ξ |
|
|
|
|
- ξ |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
î |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ïλ = |
|
|
|
|
|
ξ |
2 |
2 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
î |
1 |
|
|
|
|
|
2 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
Следовательно, если |
|
|
|
- ξ |
2 |
|
+ ξ 2 |
< ξ |
3 |
< ξ |
2 |
+ ξ |
2 |
, то |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
2 |
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
æ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ö |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
ξ1κ |
|
|
|
|
|
|
|
|
|
|
ξ2κ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
(ξ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 ) |
||||||||||||||||||||||
ˆ |
ç |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
κ |
÷ |
|
|
|
|
|
|
|
κ |
|
|
= |
|
|
|
+ |
|
|
|
|
ξ |
2 |
+ |
ξ |
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
ξ 2 |
|
|
|
|
ξ 2 , |
|
|
|
ξ 2 |
|
|
|
|
|
ξ |
2 , |
|
|
|
|
|
|
|
|
|
|
2 |
3 |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
x = |
ç |
|
|
|
+ |
|
|
|
|
+ |
|
|
|
|
÷, где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
2 |
|
|
, |
||||||||||||||||||||||||||||||||||||||||||||
|
|
è |
|
1 |
|
|
|
2 |
|
|
|
|
|
1 |
|
|
|
2 |
|
|
|
|
|
|
|
ø |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
1 (ξ |
|
|
|
- |
|
|
|
)2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
S |
|
= |
|
|
|
ξ 2 + ξ |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M до |
||||||||||||||||||||
|
min |
|
|
2 |
|
3 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
2 |
|
|
. Тогда расстояние от точки |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
конуса K равно |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
ρ( M , K ) = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
ξ 2 |
|
|
+ ξ |
2 |
|
|
- ξ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
S |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
min |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
3 |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
![](/html/2706/112/html_WdDlUH4GMr.pT3f/htmlconvd-hMhK6A47x1.jpg)
47
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ìx |
2 |
|
+ x2 |
= 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï |
1 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï- ξ1 + λ1 y1 = 0, |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï- ξ |
2 |
+ λ y |
2 |
= 0, |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- ξ3 - λ1 = 0, |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ïx3 |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
í |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ïy12 + y22 £ 1, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ïx |
3 |
|
³ 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï |
|
|
|
|
|
|
|
|
) |
= 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ïλ |
(- x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï |
1 |
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
II. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
îλ1 ³ 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
ìλ1 = 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
ï |
|
|
|
= ξ2 |
= 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
íξ1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
ïx |
3 |
= ξ |
3 |
³ 0. |
|
|
Þ если |
|
ξ = ξ |
2 |
= 0, ξ |
3 |
³ 0 |
, то |
|
|
|
|||||||||||||||||||||||||||||||||||||||||
IIа) î |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
( |
0;0; |
ξ |
3 |
) |
, Smin = 0. |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
ìλ |
|
> 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
ï |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ïx3 = 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
ï |
|
|
|
= -ξ |
3, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
ïλ1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
ï |
|
|
|
= ξ1 |
λ1 , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Þ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
íy1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
ïy |
2 |
= ξ |
2 |
|
|
λ , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
ï |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
ïx |
2 |
+ x |
2 |
|
= 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
ï |
|
1 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ï(ξ ξ |
3 |
) 2 |
|
+ |
|
(ξ |
2 |
ξ |
3 |
) 2 |
£ |
1, |
|
|
|
|
|
если |
ξ |
3 £ - |
|
ξ 2 |
+ |
ξ 2 |
, то |
|||||||||||||||||||||||||||||||||
IIб) î |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
( |
|
|
|
|
|
|
) |
|
|
S |
|
|
|
|
= |
|
|
|
ξ |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x = |
|
|
0;0;0 |
|
|
, |
|
|
|
min |
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Ответ: Если |
ξ |
3 |
|
³ |
|
|
ξ |
2 + ξ |
|
2 |
, то |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
ˆ |
|
|
(ξ |
|
|
ξ |
2 , |
ξ |
3 |
) |
Î absmin з, |
ρ( |
M |
, K |
) |
= 0. |
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
x = |
|
|
|
1, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
Если |
- ξ |
2 |
+ ξ |
|
2 |
|
< ξ |
3 |
|
< ξ |
2 |
|
+ ξ |
2 |
, то |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
1 |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
![](/html/2706/112/html_WdDlUH4GMr.pT3f/htmlconvd-hMhK6A48x1.jpg)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
48 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
æ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ö |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ1κ |
|
|
|
|
|
|
|
ξ2κ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
(ξ |
|
|
|
|
ξ 2 ) |
|||||
ˆ |
ç |
|
|
|
|
|
|
|
|
|
|
|
κ ÷ |
Î absmin з, где |
κ |
= |
|
+ |
ξ 2 |
+ |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
ξ 2 |
|
|
ξ |
2 , |
|
ξ 2 |
ξ 2 , |
2 |
3 |
||||||||||||||||||||||||||||||
x = |
ç |
|
+ |
|
÷ |
|
|
|
|
1 |
2 |
|
||||||||||||||||||||||||||||
|
è |
1 |
|
2 |
|
|
|
1 + |
2 |
|
|
ø |
1 |
|
( |
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
, |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
ρ( M , K ) = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ 2 |
+ ξ 2 |
|
|
- ξ |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
2 |
|
|
|
|
3 |
|
. |
|
|
|
|
|
|
|
|
||
|
|
Если |
ξ |
3 |
£ - |
ξ 2 + ξ 2 |
|
|
ˆ |
= ( |
0;0;0 |
) |
absmin з , |
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
1 |
2 |
, то x |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ρ( M , K ) = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ 2 |
+ ξ 2 |
+ ξ 2 |
. |
|
|
|
|
|
|
|
● |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
2 |
|
|
|
3 |
|
|
|
|
|
|
|
|
Задачи для самостоятельного решения.
В задачах 4.1-4.5 выяснить, является ли выпуклой заданная функция одной переменной. В случае положительного ответа найти субдифференциал функции.
4.1.f ( x) = min{x12 + x22 x1 + x2 = x}.
4.2.f ( x) = x - 2 + 2 x .
4.3.f ( x) = max{x2 ; x + 2}.
4.4.f ( x) = x -1 .
4.5.f ( x) = max{ x , x -1} .
В задачах 4.6-4.8 найти субдифференциалы заданных выпуклых функций.
|
f ( x) = |
|
|
|
x + x |
|
|
+ |
|
|
|
x - x |
|
|
|
, x Î R2 |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
4.6. |
|
|
|
1 |
2 |
|
|
|
|
|
|
|
1 |
|
2 |
|
|
. |
|
||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||
4.7. |
f ( x) = |
|
( a, x) - b |
|
, x Î Rn , a Î Rn , b Î R |
. |
|||||||||||||||||||||
|
|
||||||||||||||||||||||||||
f ( x) = |
|
x - a |
|
+ |
|
x |
|
- a |
|
|
|
|
, x Î R2 |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
4.8. |
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
2 |
|
|
2 |
|
. |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
![](/html/2706/112/html_WdDlUH4GMr.pT3f/htmlconvd-hMhK6A49x1.jpg)
49
Решить выпуклые задачи:
4.9.x12 - x1x2 + x22 + 3 x1 - x2 - 2 ® min .
4.10.x12 + x1x2 + 4x22 + max{2x1, x2} ® min .
4.11.x12 + x22 + ( x1 -1) 2 + ( x2 - 2) 2 ® min .
4.12.x12 + x22 + 2( x1 - a1 ) 2 + ( x2 - a2 ) 2 ® min , где a1,a2 - задан- ные числа.
4.13.2x12 + x1x2 + x22 + 2x1 - x2 ® min; x1 + x2 £ 1, x2 - x1 £ 2.
4.14.x1 + x2 - 4 ® min, x12 + x22 £ 1.
4.15.x12 + x1x2 + 4x22 + 2x32 ® min; x1 + x2 - x3 £ 1, x3 ³ 2.
4.16.max{2x1, x2} + x12 ® min, x12 + 2x22 £ 4 .
Занятие 5. Графический метод решения задач линейного программирования.
Постановка задачи. Общая постановка задачи линейного программирования состоит в нахождении экстремума линейной
f ( x) = |
n |
|
|
f ( x1,..., xn ) = åc j x j |
|
||
функции |
j=1 |
при наличии ограничений, |
|
задаваемых в виде линейных уравнений и неравенств: |
|
||
|
f ( x) = c1x1 + ××× + cn xn ® extr |
|
|
|
n |
|
|
|
åaij x j = bi , |
i = 1,...,l, |
|
|
j =1 |
|
(1) |
|
n |
|
|
|
åaij x j £ bi , |
i = l +1,...,m, |
|
|
j=1 |
|
(2) |
|
x j ³ 0, j = 1,..., n. |
(3) |
Отметим, что в условии задачи линейного программирования могут содержаться неравенства и противоположного, чем в
50
(2) знака, однако, такие неравенства легко сводятся к виду (2) умножением на –1.
Если задача линейного программирования содержит только две переменные, и в ее условии нет ограничений в виде равенств
(1), то такую задачу можно решить графически. |
|
|
Рассмотрим задачу: |
|
|
f ( x) = c1x1 + c2 x2 ® extr |
(4) |
|
ai1x1 + ai2 x2 £ bi , |
i = 1,...,m, |
(5) |
x1 ³ 0, x2 ³ 0. |
(6) |
|
На плоскости Ox1x2 любое из неравенств (5) определяет по- |
||
луплоскость, лежащую по |
одну из сторон |
прямой |
ai1x1 + ai2 x2 = bi . Для того чтобы определить расположение этой полуплоскости относительно граничной прямой, можно подставить координаты какой-либо точки в соответствующее неравенство (5) и проверить его выполнение. Таким образом, допустимое
множество Dз задачи линейного программирования (4)–(6) является пересечением первой четверти, задаваемой неравенствами (6), и полуплоскостей, задаваемых неравенствами (5). Поэтому
множество Dз представляет собой одно из множеств на плоскости Ox1x2 :
а) пустое множество (тогда задача (4)–(6) не имеет решения);
б) выпуклый многоугольник (рис. 5.1); в) неограниченное многоугольное множество (рис. 5.2); г) луч; д) отрезок;
е) точку (тогда эта точка и будет решением задачи).
Для решения задачи линейного программирования в случае,
когда |
Dз ¹ , рассмотрим множество линий уровня |
функции |
f ( x) : |
c1x1 + c2 x2 = c, c = const . |
|
|
(7) |
Прямые (7) представляют собой семейство параллельных пря-