[论文解读] Sorted Range Reporting Revisited

Gelin Zhou|arXiv (Cornell University)|Aug 15, 2013

Computational Geometry and Mesh Generation参考文献 9被引用 5

一句话总结

本文提出了一种用于二维有序范围报告的数据结构，其查询时间达到最优的 $O(\lg\lg n + k\lg\lg n)$，使用 $O(n\lg\lg n)$ 个字的空间，相较于 Nekrich 和 Navarro 的先前结果，查询时间提升了 $O(\lg\lg n)$ 倍，同时保持了相同的空间复杂度。该方法利用分层的字典树，并结合用于三边范围后继查询的辅助结构，实现了按 $x$ 坐标递增顺序的高效在线点报告。

ABSTRACT

We consider the two-dimensional sorted range reporting problem. Our data structure requires O(n lglg n) words of space and O(lglg n + k lglg n) query time, where k is the number of points in the query range. This data structure improves a recent result of Nekrich and Navarro [8] by a factor of O(lglg n) in query time, and matches the state of the art for unsorted range reporting [1].

研究动机与目标

• 解决二维有序范围报告问题，实现更优的查询时间，同时保持线性对数级的空间使用。
• 弥合有序与无序范围报告性能之间的差距，特别是在空间高效结构中的查询时间。
• 在 $O(n\lg\lg n)$ 空间下实现 $O(\lg\lg n)$ 的最优范围后继查询查询时间，与无序范围报告的最佳已知界相匹配。
• 支持无需预排序的在线、有序点输出，按 $x$ 坐标顺序输出，实现结果的高效流式处理。

提出的方法

• 构建基于字典树的范围报告结构，对每个节点的点集进行分层分解。
• 对于每个节点 $v$，在 $S(v)$ 上维护辅助数据结构，以在 $O(\lg\lg n)$ 时间内支持三边范围后继查询。
• 将 $S(v)$ 中的点划分为大小为 $\lg^3 n$ 的块，并在块最小值上维护结构 $D(v)$，以实现块间快速后继查询。
• 进一步将块划分为大小为 $\lg^\epsilon n$ 的子块，并在子块最小值上维护 $E_i(v)$，利用引理 5 实现 $O(\lg\lg\lg n)$ 时间的查询。
• 使用紧凑的前驱数据结构，并结合全局查找表，对大小为 $\lg^\epsilon n$ 的小子块实现常数时间表查找，以加速局部后继查询。
• 将字典树与分层后继结构结合，以 $O(\lg\lg n)$ 时间回答四边范围后继查询，通过重复后继查询实现有序范围报告。

实验结果

研究问题

• RQ1 我们能否在 $O(n\lg\lg n)$ 空间下实现 $O(\lg\lg n)$ 的查询时间用于二维有序范围报告，使其与无序范围报告的最佳已知界相匹配？
• RQ2 我们能否在 $O(n\lg\lg n)$ 空间下，将 Nekrich 和 Navarro 的 $O(\lg^2\lg n + k\lg^2\lg n)$ 查询时间改进 $O(\lg\lg n)$ 倍？
• RQ3 在保持 $O(n\lg\lg n)$ 空间的前提下，能否高效地支持三边范围后继查询，时间复杂度为 $O(\lg\lg n)$？
• RQ4 分层分解结合块与子块结构，能否实现无需预排序的高效在线有序报告？

主要发现

• 所提出的的数据结构在 $O(\lg\lg n + k\lg\lg n)$ 查询时间内支持二维有序范围报告，使用 $O(n\lg\lg n)$ 个字的空间。
• 相较于 Nekrich 和 Navarro 的 $O(\lg^2\lg n + k\lg^2\lg n)$ 查询时间（相同空间复杂度），该方法将查询时间提升了 $O(\lg\lg n)$ 倍。
• 该数据结构在 $O(n\lg\lg n)$ 空间下支持三边范围后继查询，时间复杂度为 $O(\lg\lg n)$，与无序范围报告的最优界完全匹配。
• 通过使用分层块与子块分解，结合紧凑的前驱与后继结构，实现了高效的局部与全局范围查询。
• 构造过程中使用了一个 $o(n)$ 位的全局查找表，用于对大小为 $\lg^\epsilon n$ 的子块实现常数时间表查找，确保整体空间效率。
• 通过重复查询范围后继，该方法实现了按 $x$ 坐标递增顺序的在线点报告，达到了所述的时间复杂度。