De dictionariis dynamicis pauco spatio utentibus

  • Authors:
  • Erik D. Demaine;Friedhelm Meyer auf der Heide;Rasmus Pagh;Mihai Pǎtraşcu

  • Affiliations:
  • Massachusetts Institute of Technology;University of Paderborn;IT University of Copenhagen;Massachusetts Institute of Technology

  • Venue:
  • LATIN'06 Proceedings of the 7th Latin American conference on Theoretical Informatics
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

We develop dynamic dictionaries on the word RAM that use asymptotically optimal space, up to constant factors, subject to insertions and deletions, and subject to supporting perfect-hashing queries and/or membership queries, each operation in constant time with high probability. When supporting only membership queries, we attain the optimal space bound of $\theta(n lg \frac{u}{n})$ bits, where n and u are the sizes of the dictionary and the universe, respectively. Previous dictionaries either did not achieve this space bound or had time bounds that were only expected and amortized. When supporting perfect-hashing queries, the optimal space bound depends on the range {1, 2, ..., n+t} of hashcodes allowed as output. We prove that the optimal space bound is $\theta(n lg lg \frac{u}{n} + n lg \frac{n}{t+1})$ bits when supporting only perfect-hashing queries, and it is $\theta(n lg \frac{u}{n} + n lg \frac{n}{t+1})$ bits when also supporting membership queries. All upper bounds are new, as is the $\Omega({\it n}lg\frac{n}{t+1})$ lower bound.