[论文解读] On the Line-Separable Unit-Disk Coverage and Related Problems

Gang Liu, Haitao Wang|arXiv (Cornell University)|Jan 1, 2023

Computational Geometry and Mesh Generation被引用 1

一句话总结

本文提出了一种时间复杂度为 O((n + m) log(n + m)) 的算法，用于解决线性可分的单位圆盘覆盖问题，其中圆盘中心位于直线的一侧，所有需覆盖的点位于另一侧。通过利用单位圆盘的几何特性，并在Voronoi图上应用分数级联技术，该方法能高效地剪除无用的圆盘，将问题简化为一维覆盖实例，显著优于先前的 O(nm + n log n) 和 O(nm log(n + m)) 时间复杂度。

ABSTRACT

Given a set $P$ of $n$ points and a set $S$ of $m$ disks in the plane, the disk coverage problem asks for a smallest subset of disks that together cover all points of $P$. The problem is NP-hard. In this paper, we consider a line-separable unit-disk version of the problem where all disks have the same radius and their centers are separated from the points of $P$ by a line $\ell$. We present an $O((n+m)\log(n+m))$ time algorithm for the problem. This improves the previously best result of $O(nm+ n\log n)$ time. Our techniques also solve the line-constrained version of the problem, where centers of all disks of $S$ are located on a line $\ell$ while points of $P$ can be anywhere in the plane. Our algorithm runs in $O((n+m)\log (m+ n)+m \log m\log n)$ time, which improves the previously best result of $O(nm\log(m+n))$ time. In addition, our results lead to an algorithm of $O(n^3\log n)$ time for a half-plane coverage problem (given $n$ half-planes and $n$ points, find a smallest subset of half-planes covering all points); this improves the previously best algorithm of $O(n^4\log n)$ time. Further, if all half-planes are lower ones, our algorithm runs in $O(n\log n)$ time while the previously best algorithm takes $O(n^2\log n)$ time.

研究动机与目标

• 开发一种更快的精确算法，用于解决所有圆盘半径相等且被一条直线分隔的线性可分单位圆盘覆盖问题。
• 在该问题上，改进先前最优的时间复杂度 O(nm + n log n)。
• 将该方法扩展至线约束圆盘覆盖问题，其中圆盘中心位于一条直线上，而点可位于平面任意位置。
• 为无权半平面覆盖问题推导出高效的算法，尤其关注下半平面情形。

提出的方法

• 提出一种线性可分的单交点条件，使得圆盘边界在分隔直线以上至多相交一次。
• 引入一种剪枝技术，用于识别并移除不可能属于任何最优解的‘无用’圆盘。
• 利用最远Voronoi图与点定位查询，根据圆盘中心相对于以点为中心的单位圆盘交点位置的关系，判断其是否可被剪枝。
• 应用分数级联技术加速树结构中各区域的点定位查询，将每次查询的二分查找开销从 O(log m log n) 降低至 O(log m + log n)。
• 在剪枝后，将单位圆盘覆盖问题转化为一维区间覆盖问题，该问题可在线性时间内求解。
• 利用所有圆盘半径相同的特性，通过改进的Graham扫描算法，以线性时间复杂度（每个节点）高效计算直线以下单位圆盘的公共交集。

实验结果

研究问题

• RQ1 线性可分的单位圆盘覆盖问题能否在近乎线性时间内求解，从而优于 O(nm + n log n) 的时间复杂度？
• RQ2 单位圆盘的何种几何特性使得可在覆盖问题中高效剪除非最优圆盘？
• RQ3 线约束圆盘覆盖问题能否比先前最优的 O(nm log(n + m)) 时间复杂度更快求解？
• RQ4 是否存在一种高效方法，可将半平面覆盖问题转化为多个下半平面实例？
• RQ5 分数级联能否有效应用于最远Voronoi图中的点定位，以实现接近最优的性能？

主要发现

• 所提出的算法以 O((n + m) log(n + m)) 时间复杂度求解线性可分单位圆盘覆盖问题，优于先前最优的 O(nm + n log n)。
• 该算法通过利用单位半径特性与圆盘交集的几何结构，在 O((n + m) log(n + m)) 时间内高效剪除所有无用圆盘。
• 对于线约束圆盘覆盖问题，该算法的时间复杂度为 O((n + m) log(n + m) + m log m log n)，优于先前的 O(nm log(n + m))。
• 该方法可导出无权半平面覆盖问题的 O(n³ log n) 算法，优于先前的 O(n⁴ log n) 时间复杂度。
• 在仅涉及下半平面的特殊情况下，该算法的时间复杂度为 O(n log n)，优于先前的 O(n² log n)。
• 分数级联的应用将最远Voronoi图中点定位的每次圆盘查询时间从 O(log m log n) 降低至 O(log m + log n)，从而实现整体近乎线性时间复杂度。