Year: 2024
Type: conference-paper
Abstract: Linear-probing hash tables have been classically believed to support insertions in time$\Theta(x^{2})$, where$1-1/x$is the load factor of the hash table. Recent work by Bender, Kuszmaul, and Kuszmaul (FOCS'21), however, has added a new twist to this story: in some versions of linear probing, if the maximum load factor is at most$1-1/x$, then the amortized expected time per insertion will never exceed$x\ \text{polylog}\ x$(even in workloads that operate continuously at a load factor of$1-1/x$). Determining the exact asymptotic value for the amortized insertion time remains open. In this paper, we settle the amortized complexity with matching upper and lower bounds of$\Theta(x\log^{1.5}x)$. Along the way, we also obtain tight bounds for the so-called path surplus problem, a problem in combinatorial geometry that has been shown to be closely related to linear probing. We also show how to extend Bender et al.'s bounds to say something not just about ordered linear probing (the version they study) but also about classical linear probing, in the form that is most widely implemented in practice.
Authors: Mark Braverman, William Kuszmaul
Institutions: Princeton University, Carnegie Mellon University
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Funder: National Science Foundation
Award: 2019 Waterman Award
OpenAlex ID: W4404849556