W ten sposób wszystkie operacje na zbiorach wykonywane przez nasz algorytm
udało nam sie zaimplementowac w czasie stałym. Otrzymalismy rozwiazanie zadania
działajace w czasie liniowym! Co wiecej, jezeli opisany algorytm konczy swoje
działanie bez odpowiedzi NIE, to graf Gn = G na pewno jest dwukolorowalny — nie
musimy w ogóle sprawdzac, czy dwukolorowanie otrzymanego lasu rozpinajacego daje
poprawny algorytm sortowania permutacji.