TARJAN, Efficiency of a good but not linear set union algorithm (1975)