мы начинаем с | V |режет.Мы объединяем два разреза в каждом цикле.В итоге мы получаем 1 разрез.MST является подмножеством ребер в этом разрезе.Таким образом, для каждого слияния мы выбрали (один из) светлый край (u, v) для этого разреза.Наконец, у нас есть | V | -1 ребра.И наоборот, для каждого края дерева есть вырез, который был «соединен».Итак, если ребро (u, v) находится в MST, то есть разрез (S, VS), соответствующий которому он был светлым ребром.