Tiny Pointers

TL;DR

This paper introduces tiny pointers, a new data-structural object that reduces pointer size to o(log n) bits with minimal time overhead, enabling more space-efficient data structures for classic problems.

Contribution

It develops a comprehensive theory and optimal constructions for tiny pointers, improving space efficiency in various data-structure problems without significant performance loss.

Findings

Optimal tiny-pointer sizes depend on load factor and reference size.

Tiny pointers enable space-efficient implementations of classic data-structure problems.

Revisiting balls and bins problems yields new insights relevant to tiny pointers.

Abstract

This paper introduces a new data-structural object that we call the tiny pointer. In many applications, traditional $\log n $-bit pointers can be replaced with $o (\log n )$-bit tiny pointers at the cost of only a constant-factor time overhead. We develop a comprehensive theory of tiny pointers, and give optimal constructions for both fixed-size tiny pointers (i.e., settings in which all of the tiny pointers must be the same size) and variable-size tiny pointers (i.e., settings in which the average tiny-pointer size must be small, but some tiny pointers can be larger). If a tiny pointer references an element in an array filled to load factor $1 - 1 / k$, then the optimal tiny-pointer size is $\Theta(\log \log \log n + \log k) $ bits in the fixed-size case, and $ \Theta (\log k) $ expected bits in the variable-size case. Our tiny-pointer constructions also require us to revisit several classic problems having to do with balls and bins; these results may be of independent interest. Using tiny pointers, we revisit five classic data-structure problems: the data-retrieval problem, succinct dynamic binary search trees, space-efficient stable dictionaries, space-efficient dictionaries with variable-size keys, and the internal-memory stash problem. These are all well-studied problems, and in each case tiny pointers allow for us to take a natural space-inefficient solution that uses pointers and make it space-efficient for free.