Universal Succinct Representations of Trees?

  • Arash Farzan
  • Rajeev Raman
  • S. Srinivasa Rao
Conference paper

DOI: 10.1007/978-3-642-02927-1_38

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5555)
Cite this paper as:
Farzan A., Raman R., Rao S.S. (2009) Universal Succinct Representations of Trees?. In: Albers S., Marchetti-Spaccamela A., Matias Y., Nikoletseas S., Thomas W. (eds) Automata, Languages and Programming. ICALP 2009. Lecture Notes in Computer Science, vol 5555. Springer, Berlin, Heidelberg

Abstract

We consider the succinct representation of ordinal and cardinal trees on the RAM with logarithmic word size. Given a tree T, our representations support the following operations in O(1) time: (i) \(\mbox{{\tt BP-substring}}(i,b)\), which reports the substring of length b bits (b is at most the wordsize) beginning at position i of the balanced parenthesis representation of T, (ii) \(\mbox{{\tt DFUDS-substring}}(i,b)\), which does the same for the depth first unary degree sequence representation, and (iii) a similar operation for tree-partition based representations of T. We give:

  • an asymptotically space-optimal 2n + o(n) bit representation of n-node ordinal trees that supports all the above operations with b = Θ(logn), answering an open question from [He et al., ICALP’07].

  • an asymptotically space-optimal C(n,k) + o(n)-bit representation of k-ary cardinal trees, that supports (with \(b = \Theta(\sqrt{\log n})\)) the operations (ii) and (iii) above, on the ordinal tree obtained by removing labels from the cardinal tree, as well as the usual label-based operations. As a result, we obtain a fully-functional cardinal tree representation with the above space complexity. This answers an open question from [Raman et al, SODA’02].

Our new representations are able to simultaneously emulate the BP, DFUDS and partitioned representations using a single instance of the data structure, and thus aim towards universality. They not only support the union of all the ordinal tree operations supported by these representations, but will also automatically inherit any new operations supported by these representations in the future.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Arash Farzan
    • 1
  • Rajeev Raman
    • 2
  • S. Srinivasa Rao
    • 3
  1. 1.David R. Cheriton School of Computer ScienceUniversity of WaterlooCanada
  2. 2.Department of Computer ScienceUniversity of LeicesterUK
  3. 3.School of Computer Science and EngineeringSeoul National UniversityS. Korea

Personalised recommendations