Изменения
→Реализация
<tex> \mathtt{F}\ =\ \mathtt{F} \bigcup \mathtt{vu}\</tex>
<tex>\mathtt{Unite}(v, u)\ </tex>
Очевидно, что максимальное ребро в MST минимально. Пусть мы построили алгоритмом Краскала минимальное остовное дерево и его максимальное ребро не минимально. Иначе говоря, в разрезе, который пересекает максимальное ребро, есть ребро с меньшим весом, но это противоречит тому, что алгоритм Краскала построил MST.
==Пример==