Изменения

Перейти к: навигация, поиск

Сложение и разность потоков

13 байт добавлено, 10:48, 15 января 2016
м
Нет описания правки
Необходимо проверить, выполняются ли ограничения антисимметричности, пропускной способности и сохранения [[Определение_сети,_потока#flow|потока]].
1) # Для подтверждения антисимметричности заметим, что для всех <tex>(u,v) \in V</tex> справедливо: #: <tex> (f + f')(u, v) = f(u,v) + f'(u,v) = -f(v,u) - f'(v,u) </tex> <tex> = -(f(v,u) + f'(v,u)) = -(f + f')(v,u)</tex>#: 2) # Покажем соблюдение ограничений пропускной способности. #: Заметим, что <tex>f'(u,v) \leqslant c_f(u,v)</tex> для всех <tex>u,v \in V </tex> и <tex> c_f(u, v) = c(u, v) - f(u, v) </tex>. Тогда <br>#: <tex>(f + f')(u,v) = f(u,v) + f'(u,v) \leqslant f(u,v) + (c(u,v) - f(u,v)) = c(u,v) </tex>. #: 3) # Заметим, что для всех <tex>u \in V - \{s,t\}</tex> справедливо равенство : <br>#: <tex> \sum\limits_{v\in V} (f + f')(u, v) = \sum\limits_{v\in V} (f(u,v) + f'(u,v)) = \sum\limits_{v\in V} f(u,v) + \sum\limits_{v\in V} f'(u,v) = 0 + 0 = 0</tex> <br>#:<tex> |f + f'| = \sum\limits_{v\in V} (f + f')(s, v) = \sum\limits_{v\in V} (f(s,v) + f'(s,v)) </tex> <tex>= \sum\limits_{v\in V} f(s,v) + \sum\limits_{v\in V} f'(s,v) = |f| + |f'|</tex>
}}
37
правок

Навигация