中文

从独立性到扩展性及其逆过程

数据结构与算法 2015-06-12 v1

摘要

我们考虑以下基本问题:(1) 构造空间-时间权衡接近Siegel下界的kk-独立哈希函数。(2) 构造规模小且允许快速计算邻居函数的非平衡扩展图的表示。不难表明这两个问题紧密关联,即其中一个的良好解会导致另一个的良好解。在本文中,我们利用这一关联提出了kk-独立哈希函数(以及因此表示小巧的扩展图)的高效递归构造。先前最有效的构造(Thorup, FOCS 2013)所需时间在Siegel下界下为准多项式,而我们的时间界仅距下界一个对数因子。

关键词

引用

@article{arxiv.1506.03676,
  title  = {From Independence to Expansion and Back Again},
  author = {Tobias Christiani and Rasmus Pagh and Mikkel Thorup},
  journal= {arXiv preprint arXiv:1506.03676},
  year   = {2015}
}

备注

An extended abstract of this paper was accepted to The 47th ACM Symposium on Theory of Computing (STOC 2015). Copyright ACM