[论文解读] Linear time Constructions of some $d$-Restriction Problems

Nader H. Bshouty|arXiv (Cornell University)|Jun 9, 2014

Complexity and Algorithms in Graphs参考文献 21被引用 4

一句话总结

本文首次使用基于有限域和命中集的代数技术，实现了三种 $d$-限制问题——完美哈希族、覆盖自由族和分离哈希族的线性时间、全局显式构造。关键贡献在于以确定性、线性时间实现最优或近似最优的大小，优于以往的多项式时间或效率较低的方法。

ABSTRACT

We give new linear time globally explicit constructions for perfect hash families, cover-free families and separating hash functions.

研究动机与目标

• 开发高效、确定性的 $d$-限制问题构造方法，实现最小大小与线性时间复杂度。
• 解决在 $q = o(d^2)$ 时构造几乎最优完美哈希族的开放问题，特别是当 $q$ 相对于 $d$ 较小时。
• 通过代数几何与命中集理论，统一并改进现有覆盖自由族与分离哈希族的构造。
• 提供全局显式构造（线性时间运行），其规模小于已知的先前构造。

提出的方法

• 利用有限域 $\mathbb{F}_q$ 上的多项式构造，生成 $d$-元组超图的命中集。
• 使用差积 $\prod_{1\leq k<j\leq d}(x_{i_k} - x_{i_j})$ 定义分离多项式，以确保单射性或覆盖性。
• 应用命中集理论，通过选择满足所有约束条件的最小评估集合，减小哈希族的规模。
• 采用类似 Reed-Solomon 的码与代数函数域，构造具有受控规模与结构的显式族。
• 利用并集界与概率方法推导界，确立所构造结果的近似最优性。
• 提出一个框架，将超图的命中集转化为所有三种 $d$-限制问题的紧凑、全局显式构造。

实验结果

研究问题

• RQ1 我们能否以接近理论下界大小，在线性时间内构造 $d$-限制问题？
• RQ2 当 $q = \Omega(d^2)$ 时，完美哈希族的最小大小是多少？能否以确定性方式在线性时间内构造？
• RQ3 如何在 $q = o(d^2)$ 时实现几乎最优的构造，特别是当以往方法效率低下或次优时？
• RQ4 能否使覆盖自由族与分离哈希族的全局显式构造在效率与大小上均接近最优？
• RQ5 有限域与多项式理想等代数结构在实现 $d$-限制族的线性时间构造中起到何种作用？

主要发现

• 当 $q > 4(d(d-1)/2 + 1)$ 时，实现了大小为 $O\left(\frac{d^2 \log n}{\log(q/e(d(d-1)/2+1))}\right)$ 的 $(n,q,d)$-完美哈希族的线性时间构造。
• 当 $q = \frac{d(d-1)}{2} + 1 + o(d^2)$ 时，构造得到的大小为 $O\left(\frac{d^6 \log n}{\log d}\right)$，与 $q = d + O(1)$ 时的下界相差因子 $d^4$。
• 当 $q \geq d^{2+\delta}$ 时，构造的大小为 $O\left(\frac{d^2 \log n}{\log q}\right)$，与下界相差因子 $d$。
• 本文提供了 $(w,r)$-覆盖自由族的线性时间构造，大小为 $O\left((ce)^w r^{w+1} \log n\right)$，在某些参数范围内近乎最优。
• 对于分离哈希族，当 $q \geq (D_2+1)^c$ 时，构造的大小为 $O\left(D_2 \log n\right)$，与下界相差对数因子。
• 所构造的族为全局显式，且在输出规模上线性时间运行，优于以往的多项式时间或非显式构造。