Утверждение 1 (уравнение водного баланса для подграфов Сг , порожденных произвольными подмножествами II С [ ...]
Если в (4.4.4) — строгие неравенства, то в (4.4.5) — также строгие неравенства. Если в (4.4.4) и (4.4.6) — строгие неравенства, то в (4-4-У) при всех и = 1,т — 2 — также строгие неравенства.[ ...]
Доказательство, этого утверждения использует только тот факт, что по определению (4.3.29) все аи 0. Сначала индукцией по 77г из (4.4.4) доказывается (4.4.5). Далее из (4.4.4), (4.4.6) и доказанного неравенства (4.4.5) вновь индукцией по т получаем (4.4.7).[ ...]
Утверждение 3 (о разбиении регулярных подмножеств).[ ...]
Любое регулярное подмножество II С J однозначно разбивается на непересекающиеся влияющие совокупности.[ ...]
В формулировке и доказательствах последующих утверждений предполагается, что, согласно разделу 4.3, допустимо пренебречь отсутствием целостности связных ] по сработке.[ ...]
Утверждение 4 (условие отсутствия холостых сбросов из целостного независимого подмножества).[ ...]
Утверждение 5 (о режимах сбросов).[ ...]
Вернуться к оглавлению