Succinct data structures for representing equivalence classes

Moshe Lewenstein, J. Ian Munro, Venkatesh Raman

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Scopus citations


Given a partition of an n element set into equivalence classes, we consider time-space tradeoffs for representing it to support the query that asks whether two given elements are in the same equivalence class. This has various applications including for testing whether two vertices are in the same connected component in an undirected graph or in the same strongly connected component in a directed graph. We consider the problem in several models. - Concerning labeling schemes where we assign labels to elements and the query is to be answered just by examining the labels of the queried elements (without any extra space): if each vertex is required to have a unique label, then we show that a label space of Σi=1n ⌊n/i⌋ is necessary and sufficient. In other words, lg n+lg lg n + O(1) bits of space are necessary and sufficient for representing each of the labels. This slightly strengthens the known lower bound and is in contrast to the known necessary and sufficient bound of ⌈lg n⌉for the label length, if each vertex need not get a unique label. - Concerning succinct data structures for the problem when the n elements are to be uniquely assigned labels from label set {1,..., n}, we first show that Θ(√n) bits are necessary and sufficient to represent the equivalence class information. This space includes the space for implicitly encoding the vertex labels. We can support the query in such a structure in O(lg n) time in the standard word RAM model. We then develop structures where the queries can be answered • O(lg lg n) in time using O(√n lg n / lg lg n) bits, and • in O(1) time using O(√n lg n ) bits of space. We also develop a dynamic structure that uses O(√n lg n) bits to support equivalence queries and unions in O(lg n / lg lg n) worst case time or O(α(n)) expected amortized time where α(n) is the inverse Ackermann function.

Original languageEnglish
Title of host publicationAlgorithms and Computation - 24th International Symposium, ISAAC 2013, Proceedings
Number of pages11
StatePublished - 2013
Event24th International Symposium on Algorithms and Computation, ISAAC 2013 - Hong Kong, China
Duration: 16 Dec 201318 Dec 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8283 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference24th International Symposium on Algorithms and Computation, ISAAC 2013
CityHong Kong

Bibliographical note

Funding Information:
Work done while the first and the third authors were on sabbatical at the University of Waterloo, Canada; research supported by NSERC and Canada Research Chairs Programme.


Dive into the research topics of 'Succinct data structures for representing equivalence classes'. Together they form a unique fingerprint.

Cite this