W i-tym kroku algorytmu dokładamy wierzchołek i oraz uaktualniamy las rozpinajacy
Gi−1 do lasu rozpinajacego Gi. W tym celu musimy wierzchołek i połaczyc
krawedzia z pewnym wierzchołkiem kazdej spójnej składowej grafu Gi−1, która w grafie
Gi ma krawedz do i. Oznaczmy zbiór Ui = {j : `(j) > i}. Łatwo sprawdzic, ze
wszystkie wierzchołki j, które sa w grafie G połaczone z którymkolwiek z wierzchołków
i, . . . , n, maja `(j) i, wiec naleza do Ui−1. Zatem bezposrednio przed i-tym krokiem
algorytmu mozemy na zawsze zapomniec o wierzchołkach nienalezacych do Ui−1 —
juz nie moga byc wykorzystane przy łaczeniu składowych