Алгоритм Union-Find, який показав Tarjan 1, має складність , де - зворотна функція Акермана, раніше був проаналізований декількома людьми. Згідно з Вікіпедією, це були винайдені Галлером та Фішером 2 , але це, здається, невірно, оскільки у них не було всіх компонентів алгоритму, необхідних для того, щоб він швидко працював.nα(n)α(n)
Виходячи з коротких сканувань робіт, виявляється, що алгоритм був винайдений Хопкрофтом та Уллманом 3 , які дали (неправильний) обмежений час. Потім Фішер 4 виявив помилку в доказуванні і дав обмеження часу . Далі, Хопкрофт і Уллман 5 дали часовий відрізок , після якого Тарджан 1 знайшов (оптимальним) обмеженим часом.O(n)O ( n log log n ) O ( n log ∗ n ) O ( n α ( n ) )O(nloglogn)O(nlog∗n)O(nα(n))
1 Р. Р. Тар'ян, "Ефективність хорошого, але не лінійного заданого алгоритму об'єднання" (1975).
2 Б. С. Галлер і М. Дж. Фішер, «Вдосконалений алгоритм еквівалентності» (1964).
3 Дж. Е. Хопкрофт та Дж. Д. Уллман, "Алгоритм злиття лінійного списку" (1971).
4 М. Дж. Фішер, "Ефективність алгоритмів еквівалентності" (1972).
5 Дж. Е. Хопкрофт і Дж. Д. Уллман, "Алгоритми встановлення об'єднань" (1973).