Union-find with constant time deletions

  • Authors:
  • Stephen Alstrup;Inge Li Gørtz;Theis Rauhe;Mikkel Thorup;Uri Zwick

  • Affiliations:
  • Department of Theoretical Computer Science, IT University of Copenhagen, Denmark;Department of Theoretical Computer Science, IT University of Copenhagen, Denmark;Department of Theoretical Computer Science, IT University of Copenhagen, Denmark;AT&T Research Labs;School of Computer Science, Tel Aviv University, Israel

  • Venue:
  • ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

A union-find data structure maintains a collection of disjoint sets under makeset, union and find operations. Kaplan, Shafrir and Tarjan [SODA 2002] designed data structures for an extension of the union-find problem in which elements of the sets maintained may be deleted. The cost of a delete operation in their implementations is the same as the cost of a find operation. They left open the question whether delete operations can be implemented more efficiently than find operations. We resolve this open problem by presenting a relatively simple modification of the classical union-find data structure that supports delete, as well as makeset and union, operations in constant time, while still supporting find operations in O(log n) worst-case time and O(α(n)) amortized time, where n is the number of elements in the set returned by the find operation, and α(n) is a functional inverse of Ackermann’s function.