diff --git a/content/russian/cs/flows/mincost-maxflow.md b/content/russian/cs/flows/mincost-maxflow.md index e4f34070..7c85dcae 100644 --- a/content/russian/cs/flows/mincost-maxflow.md +++ b/content/russian/cs/flows/mincost-maxflow.md @@ -52,8 +52,9 @@ $$ w_{uv}' = w_{uv} + d_u - d_v $$ **Доказательство.** Пусть вес какого-то ребра $(u, v)$ отрицателен, то есть $w_{uv}' = w_{uv} + d_u - d_v < 0$. Тогда $d_u + w_{uv} < d_v$, и нарушилось неравенство треугольника: почему мы тогда не использовали ребро $(u, v)$, когда искали кратчайший путь до $v$? -Аналогично можно показать, что рёбра на кратчайших путях из $s$ имеют нулевую стоимость. Заметим, что стоимость *обратных* рёбер на кратчайших путях тоже будет нулевой: -$$ w_{vu}' = w_{vu} + d_v - d_u = -w_{uv} - d_u + d_v = -(w_{uv}) = 0 $$ +Аналогично можно показать, что рёбра на кратчайших путях из $s$ имеют нулевую стоимость. Заметим, что стоимость *обратных* рёбер на кратчайших путях тоже будет нулевой. Возьмём ребро $(u, v)$, которое лежит на кратчайшем пути из $s$, то есть $d_v = d_u + w_{uv}$. Тогда: + +$$w_{vu}' = -w_{uv} + d_v - d_u = -w_{uv} + (d_u + w_{uv}) - d_u = -w_{uv} + w_{uv} = 0$$ **Утверждение 2**. Кратчайшие пути между любыми вершинами остались кратчайшими.