Изменения
→Доказательство корректности
|id=th1.
|statement=Алгоритм Борувки строит MST.
|proof=Очевидно, что агоритм алгоритм Борувки строит дерево.Будем доказывать что после каждой итерации главного цикла в алгоритме Борувки текущий подграф <tex>T</tex> можно достроить до MST.
Докажем это по индукции.
