Изменения

|statement=Пусть <tex>f</tex> - блокирующий поток в графе <tex>G</tex>. <tex>s</tex>, <tex>t</tex> - исток и сток , соответственно. Тогда <tex>\rho_{G}(s, t) < \rho_{G_{f}}(s, t)</tex>.}} {{Определение|definition=В графе G, в котом s, t - исток и сток, соответственно.Для v - вершины, не являющаейся истоком или стоком: <tex>c^{+}(v) = \sum\limits_{uv \in E} c_{uv}</tex>. <tex>c^{-}(v) = \sum\limits_{vu \in E} c_{vu}</tex>. <tex>c^{+}(s) = +\infty</tex>. <tex>c^{-}(t) = +\infty</tex>. <tex>c(v) = min(c^{+}(v), c^{-}(v))</tex>. <tex>c(G) = \sum\limits_{v \in V}c(v)</tex>.}} {{Теорема|id=th1. |about=Первая теорема Карзанова|statement=Чило итераций алгоритма Диница в сети с целочисленными пропускными способностями - <tex>O(\sqrt{c(G)})</tex>.|proof=доказательство (необязательно)