[论文解读] Circle separability queries in logarithmic time

Greg Aloupis, Luis Barba+1 more|arXiv (Cornell University)|Mar 28, 2012

Data Management and Algorithms参考文献 16被引用 3

一句话总结

本文提出了一种数据结构，通过 O(n log n) 时间预处理 n 个点的集合，以实现 O(log n + log m) 时间的查询，用于寻找包含所有点但排除给定凸 m 边形的最小包围圆。通过利用最远点 Voronoi 图和在多边形边上的二分查找，该方法高效地定位最优圆心和切点，从而在点集和多边形障碍物上均实现对数时间复杂度的查询。

ABSTRACT

Let $P$ be a set of $n$ points in the plane. In this paper we study a new variant of the circular separability problem in which a point set $P$ is preprocessed so that one can quickly answer queries of the following form: Given a geometric object $Q$, report the minimum circle containing $P$ and exluding $Q$. Our data structure can be constructed in $O(n\log n)$ time using O(n) space, and can be used to answer the query when $Q$ is either a circle or a convex $m$-gon in $O(\log n)$ or $O(\log n + \log m)$ time, respectively.

研究动机与目标

• 支持对点集 P 的最小包围圆查询，且该圆需排除给定的凸多边形 Q。
• 解决在线版本的圆分离问题，即在预处理后支持多次查询。
• 通过使用几何数据结构，将先前的 O(log n · log m) 查询时间复杂度改进为 O(log n + log m)。
• 在统一的查询框架中同时支持点集和凸多边形障碍物，并实现最优的预处理复杂度。

提出的方法

• 使用最远点 Voronoi 图 V(P) 对点集 P 进行预处理，其表示为以最小包围圆圆心 c_P 为根的有根树。
• 在 V(P) 上维护一个数据结构，支持在边上的二分查找，以定位最小分离圆的圆心 c'。
• 对于每个查询的凸 m 边形 Q，计算 P 和 Q 之间的内公切线，以在 Q 的边界上定义一个搜索区间。
• 在 Q 的多边形边界上使用二分查找，以定位最优圆 C' 与 Q 的切点 φ'。
• 在每一步中，沿 V(P) 评估候选圆心，并通过直线与圆的交点检测来验证生成的圆是否排除 Q。
• 采用两阶段二分查找：第一阶段在 Voronoi 图边上查找 c'，第二阶段在多边形边上查找切点 φ'。

实验结果

研究问题

• RQ1 是否可以在每次查询的亚线性时间内找到预处理后的点集 P 与查询的凸 m 边形 Q 之间的最小分离圆？
• RQ2 在存在多边形障碍物的情况下，圆分离问题的预处理时间与查询时间之间最优权衡是什么？
• RQ3 如何结合最远点 Voronoi 图的几何性质与凸多边形切线的特性，以实现高效的搜索？
• RQ4 是否能够将该问题的查询时间从 O(log n · log m) 降低至 O(log n + log m)？

主要发现

• 所提出的数据结构支持 O(log n + log m) 时间复杂度的查询，用于点集 P 与查询的凸 m 边形 Q 之间的最小分离圆。
• 预处理阶段的时间复杂度为 O(n log n)，空间复杂度为 O(n)，具有高效性和可扩展性。
• 该算法正确维护了两个不变量：分离圆的圆心 c' 位于最远点 Voronoi 图的一条路径上，且切点 φ' 位于多边形边界的一个子链上。
• 通过将 Voronoi 结构上的搜索与多边形边上的搜索解耦，该方法显著优于先前的 O(log n · log m) 时间复杂度。
• 该算法在 O(log n + log m) 次迭代内终止，每次步骤通过预计算的指针和几何原语在 O(1) 时间内完成。
• 即使多边形边界上的搜索区间缩减为单条边，该方法依然稳健，此时通过直接计算到边的距离而非无限直线来处理。