ShockHash: Near Optimal-Space Minimal Perfect Hashing Beyond Brute-Force

A minimal perfect hash function (MPHF) maps a set S of n keys to the first n integers without collisions. There is a lower bound of $n{log}_{2}e-O(logn)\approx 1.44n$ bits needed to represent an MPHF. This can be reached by a brute-force algorithm that tries $e^n$ hash function seeds in expectation and stores the first seed that leads to an MPHF. The most space-efficient previous algorithms for constructing MPHFs all use such a brute-force approach as a basic building block. In this paper, we introduce ShockHash - Small, heavily overloaded cuckoo hash tables for minimal perfect hashing. ShockHash uses two hash functions $h_0$ and $h_1$ , hoping for the existence of a function $f:S\to \{0,1\}$ such that $x\mapsto h_{f\left(x\right)}\left(x\right)$ is an MPHF on S. It then uses a 1-bit retrieval data structure to store f using $n+o\left(n\right)$  bits. In graph terminology, ShockHash generates n-edge random graphs until stumbling on a pseudoforest - where each component contains as many edges as nodes. Using cuckoo hashing, ShockHash then derives an MPHF from the pseudoforest in linear time. We show that ShockHash needs to try only about ${(e/2)}^n\approx 1.{359}^n$ seeds in expectation. This reduces the space for storing the seed by roughly n bits (maintaining the asymptotically optimal space consumption) and speeds up construction by almost a factor of $2^n$ compared to brute-force. Bipartite ShockHash reduces the expected construction time again to about $1.{166}^n$ by maintaining a pool of candidate hash functions and checking all possible pairs. Using ShockHash as a building block within the RecSplit framework we obtain ShockHash-RS, which can be constructed up to 3 orders of magnitude faster than competing approaches. ShockHash-RS can build an MPHF for 10 million keys with 1.489 bits per key in about half an hour. When instead using ShockHash after an efficient k-perfect hash function, it achieves space usage similar to the best competitors, while being significantly faster to construct and query.