ВУЗ:
Составители:
Рубрика:
31
Рис. 3. Направление
1
z приводит к решению на границе области
допустимых решений системы линейных неравенств (16 ). Направление
2
z
является рецессивным.
2.3 Структура множества решений системы линейных неравенств
при отсутствии рецессивных направлений
В данном и следующем параграфах рассмотрим свойства множества
решений системы линейных неравенств (1), когда ранг системы совпадает
с числом переменных, т.е. когда
.rn=
В этом случае
,{0},
n
SR S
⊥
== (19)
где S и S
⊥
– линейные подпространства, введенные в (2), (3).
Лемма 2. Если (1) – система линейных неравенств максимального
ранга, то не существует двух разных решений системы с максимальными
наборами активных ограничений, у которых наборы активных
ограничений совпадают.
Доказательство. Пусть имеется два разных решения ,
x
Xy X∈=
x
y≠ (20)
с одинаковыми наборами активных ограничений
00
() ().
I
xIy
=
(21)
Требуется доказать, что векторы
x
и y не могут быть решениями с
максимальными набором активных ограничений. Докажем, что существует
вектор
x
X∈
%
, для которого
00
() ().
I
xIx⊂
%
(22)
Введем вектор
.zyx=−
Из (20), (21) следует
0,z ≠ (23)
0
,0, ().
i
az i Ix=∈
%
(24)
11
(, )
x
xz z
λ
+
1
z
2
z
x
1
x
2
x
x2
1 1
z2
x + λ ( x, z ) z z1
x
x1
Рис. 3. Направление z1 приводит к решению на границе области
допустимых решений системы линейных неравенств (16 ). Направление z 2
является рецессивным.
2.3 Структура множества решений системы линейных неравенств
при отсутствии рецессивных направлений
В данном и следующем параграфах рассмотрим свойства множества
решений системы линейных неравенств (1), когда ранг системы совпадает
с числом переменных, т.е. когда
r = n.
В этом случае
S ⊥ = R n , S = {0}, (19)
⊥
где S и S – линейные подпространства, введенные в (2), (3).
Лемма 2. Если (1) – система линейных неравенств максимального
ранга, то не существует двух разных решений системы с максимальными
наборами активных ограничений, у которых наборы активных
ограничений совпадают.
Доказательство. Пусть имеется два разных решения x ∈ X , y = X
x≠ y (20)
с одинаковыми наборами активных ограничений
I 0 ( x) = I 0 ( y ). (21)
Требуется доказать, что векторы x и y не могут быть решениями с
максимальными набором активных ограничений. Докажем, что существует
вектор x% ∈ X , для которого
I 0 ( x) ⊂ I 0 ( x% ). (22)
Введем вектор
z = y − x.
Из (20), (21) следует
z ≠ 0, (23)
a% i , z = 0, i ∈ I 0 ( x). (24)
31
Страницы
- « первая
- ‹ предыдущая
- …
- 29
- 30
- 31
- 32
- 33
- …
- следующая ›
- последняя »
