ВУЗ:
Составители:
Рубрика:
39
1
.
t
i
i
i
x
pz
λ
=
=+
∑
(37)
Воспользуемся методом, примененным при доказательстве теоремы 1.
Пусть
x
yz=+, (38)
где
zW∈ .
Вектор y является выпуклой комбинацией векторов ,1,,
s
x
Xs N∈=K
таких что
00
() ( ), 1, , .
s
I
xIxs N⊆=K
Итак,
1
,
N
s
s
s
yx
λ
=
=
∑
где
0, 1, ,
1.
s
s
s
N
λ
λ
≥=
=
∑
K
Первоначально можем считать, что
1
0, , 1, .zyxNxx== = =
Предположим, что вектор
s
x
при некотором {1, , }
s
N
∈
K не является
решением системы (1) с максимальным набором активных ограничений.
Тогда существует вектор
p
τ
, являющийся решением системы (1) с
максимальным набором активных ограничений, такой что
00
() ( ).
s
I
xIp
τ
⊂
Пусть
.
s
zx p
τ
=−
Возможны два случая:
1. Если направление
z – рецессивное
() 0,
L
z
=
/
то заменим в представлении (38) вектор
z на вектор
zzz=+
%
и вектор y на вектор
.yyz=−
%
Исключим из набора вектор
s
x
и введем вместо него вектор
p
τ
. Далее в
качестве вектора
z будем использовать вектор .z
%
2. Если
() 0,
L
z
≠
/
то существует
(,)0.
s
xz
λ
>
t x = ∑ λi p i + z. (37) i =1 Воспользуемся методом, примененным при доказательстве теоремы 1. Пусть x = y + z, (38) где z ∈W . Вектор y является выпуклой комбинацией векторов x s ∈ X , s = 1,K, N таких что I 0 ( x) ⊆ I 0 ( x s ), s = 1,K, N . Итак, N y = ∑ λs x s , s =1 где λs ≥ 0, s = 1,K, N ∑λ = 1. s Первоначально можем считать, что z = 0, y = x, N = 1, x1 = x. Предположим, что вектор x s при некотором s ∈{1,K, N } не является решением системы (1) с максимальным набором активных ограничений. Тогда существует вектор pτ , являющийся решением системы (1) с максимальным набором активных ограничений, такой что I 0 ( x s ) ⊂ I 0 ( pτ ). Пусть z = x s − pτ . Возможны два случая: 1. Если направление z – рецессивное L( z ) = 0, / то заменим в представлении (38) вектор z на вектор z% = z + z и вектор y на вектор y% = y − z . Исключим из набора вектор x s и введем вместо него вектор pτ . Далее в качестве вектора z будем использовать вектор z%. 2. Если L( z ) ≠ 0, / то существует λ ( x s , z ) > 0. 39
Страницы
- « первая
- ‹ предыдущая
- …
- 37
- 38
- 39
- 40
- 41
- …
- следующая ›
- последняя »