Изменения

== Корректность ==

2) Пусть <tex>T</tex> - искомое дерево в <tex>G_0</tex> с весовой функцией <tex>w</tex>. <tex>w'(T) = w(T) - \sum \limits_{u \in V_0 \setminus v}m(u)</tex>, т.е. <tex>T</tex> - MST в <tex>G_0</tex> с весовой функцией <tex>w</tex> тогда и только тогда, когда <tex>T</tex> - MST в <tex>G_0</tex> с весовой функцией <tex>w'</tex>.<br>

3) Пусть есть некоторый путь от вершины <tex>v</tex> до некоторой вершины <tex>u</tex> в графе <tex>G_0</tex> с весовой функцией <tex>w'</tex>. Тогда мы можем добавить к нашему дереву все вершины из компоненты сильной связности графа <tex>K</tex>, которой принадлежит вершина <tex>u</tex> (по нулевым путям из <tex>u</tex>). При этом вес нашего дерева не изменится.<br>