Simplified Tight Bounds for Monotone Minimal Perfect Hashing
arxiv(2024)
摘要
Given an increasing sequence of integers x_1,…,x_n from a universe
{0,…,u-1}, the monotone minimal perfect hash function (MMPHF) for this
sequence is a data structure that answers the following rank queries: rank(x)
= i if x = x_i, for i∈{1,…,n}, and rank(x) is arbitrary
otherwise. Assadi, Farach-Colton, and Kuszmaul recently presented at SODA'23 a
proof of the lower bound Ω(n min{logloglog u, log n}) for the
bits of space required by MMPHF, provided u ≥ n 2^2^√(loglog n),
which is tight since there is a data structure for MMPHF that attains this
space bound (and answers the queries in O(log u) time). In this paper, we
close the remaining gap by proving that, for u ≥ (1+ϵ)n, where
ϵ > 0 is any constant, the tight lower bound is Ω(n
min{logloglogu/n, log n}), which is also attainable; we
observe that, for all reasonable cases when n < u < (1+ϵ)n, known
facts imply tight bounds, which virtually settles the problem. Along the way we
substantially simplify the proof of Assadi et al. replacing a part of their
heavy combinatorial machinery by trivial observations. However, an important
part of the proof still remains complicated. This part of our paper repeats
arguments of Assadi et al. and is not novel. Nevertheless, we include it, for
completeness, offering a somewhat different perspective on these arguments.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要