[论文解读] Unifying the Landscape of Cell-Probe Lower Bounds

Mihai Pǎtraşcu|arXiv (Cornell University)|Oct 19, 2010

Complexity and Algorithms in Graphs参考文献 29被引用 16

一句话总结

本文通过将多种细胞探测数据结构下界归约为非对称集合不相交的通信复杂度，统一了广泛的数据结构下界。它表明，许多已知的下界——尤其是高维、动态及低维几何问题的下界——均可源自单一核心结果，从而简化了证明并揭示了看似无关问题之间的结构联系。

ABSTRACT

We show that a large fraction of the data-structure lower bounds known today in fact follow by reduction from the communication complexity of lopsided (asymmetric) set disjointness. This includes lower bounds for: * high-dimensional problems, where the goal is to show large space lower bounds. * constant-dimensional geometric problems, where the goal is to bound the query time for space O(n polylog n). * dynamic problems, where we are looking for a trade-off between query and update time. (In this case, our bounds are slightly weaker than the originals, losing a lglg n factor.) Our reductions also imply the following new results: * an Omega(lg n / lglg n) bound for 4-dimensional range reporting, given space O(n polylog n). This is quite timely, since a recent result solved 3D reporting in O(lglg n) time, raising the prospect that higher dimensions could also be easy. * a tight space lower bound for the partial match problem, for constant query time. * the first lower bound for reachability oracles. In the process, we prove optimal randomized lower bounds for lopsided set disjointness.

研究动机与目标

• 在单一理论框架下统一多样化的细胞探测数据结构下界。
• 证明一大类数据结构下界可通过从非对称集合不相交问题归约得出。
• 通过用统一的归约方法替代复杂且问题特异的论证，简化现有证明。
• 为4维范围报告和常数查询时间下的部分匹配等问题建立新的紧致下界。
• 将下界技术的适用范围扩展至新问题，如可达性预言机和动态几何问题。

提出的方法

• 将各种数据结构问题归约为非对称集合不相交的通信复杂度，其中一方持有小集合，另一方持有大集合。
• 应用保持原始问题本质困难性的归约，同时将其映射到具有已知下界的通信博弈。
• 使用熵和概率论论证来界定协议的成功概率，特别是利用马尔可夫不等式和条件熵来控制失败概率。
• 在通信复杂度中应用直接求和论证，以放大具有多个查询或大输入规模问题的下界。
• 应用一种新颖的非对称集合不相交问题的随机化下界作为基础组件，随后用于推导所有下游问题的下界。
• 采用混合分析方法，结合最坏情况与平均情况推理，以处理通信设置中的不对称性和集合大小失衡。

实验结果

研究问题

• RQ1 一个单一的通信复杂度问题能否作为推导多样化数据结构问题下界的基石？
• RQ2 复杂且问题特异的下界证明在多大程度上可被更简单的从核心问题出发的归约所替代？
• RQ3 通过将非对称集合不相交问题的归约应用于此前未有下界的问题，可推导出哪些新下界？
• RQ4 这些归约如何影响现有下界的紧致性，特别是在动态或高维设置中？
• RQ5 该框架能否扩展至此前缺乏下界结果的可达性预言机等新问题？

主要发现

• 为使用空间 O(n · polylog n) 的4维范围报告问题建立了 Ω(lg n / lg lg n) 的下界，解决了这一及时开放问题。
• 证明了在查询时间为常数时，部分匹配问题的紧致空间下界，优于先前结果。
• 为可达性预言机建立了首个非平凡下界，这是一个此前未有下界分析的问题类别。
• 通过将其归约为同一通信复杂度问题，简化了2D范围计数和精确最近邻搜索的已知证明。
• 证明了非对称集合不相交问题的随机化下界，该结果作为所有后续归约的核心驱动力。
• 对于动态问题，归约会损失 lg lg n 因子，但仍能恢复到目前已知最优权衡的这一因子范围内。