[论文解读] A PTAS for the Weighted Unit Disk Cover Problem

Jian Li, Y. J. Jin|arXiv (Cornell University)|Feb 17, 2015

Computational Geometry and Mesh Generation参考文献 36被引用 8

一句话总结

本文首次为加权单位圆盘覆盖（WUDC）问题提出了多项式时间近似方案（PTAS），该问题是一个基础的几何集合覆盖问题，其中圆盘具有任意权重，需覆盖一组点。该方法结合了创新的平移策略与在精心设计的网格分解上进行的动态规划，对任意固定的误差容限，可在多项式时间内实现接近最优解的近似。

ABSTRACT

We are given a set of weighted unit disks and a set of points in Euclidean plane. The minimum weight unit disk cover (\UDC) problem asks for a subset of disks of minimum total weight that covers all given points. \UDC\ is one of the geometric set cover problems, which have been studied extensively for the past two decades (for many different geometric range spaces, such as (unit) disks, halfspaces, rectangles, triangles). It is known that the unweighted \UDC\ problem is NP-hard and admits a polynomial-time approximation scheme (PTAS). For the weighted \UDC\ problem, several constant approximations have been developed. However, whether the problem admits a PTAS has been an open question. In this paper, we answer this question affirmatively by presenting the first PTAS for \UDC. Our result implies the first PTAS for the minimum weight dominating set problem in unit disk graphs. Combining with existing ideas, our result can also be used to obtain the first PTAS for the maxmimum lifetime coverage problem and an improved constant approximation ratio for the connected dominating set problem in unit disk graphs.

研究动机与目标

• 解决长期悬而未决的开放问题：加权单位圆盘覆盖（WUDC）问题是否具有PTAS。
• 设计一种多项式时间算法，对任意ε>0，实现对WUDC的(1+ε)-近似。
• 将结果扩展，为单位圆图中的相关问题（如连通支配集和最大寿命覆盖）推导出改进的近似方案。
• 建立一个利用单位圆盘几何特性的框架，通过结构化分解实现常数因子近似。

提出的方法

• 采用一种新颖的平移策略，将平面划分为固定大小的网格，以隔离局部子问题。
• 对每个网格单元，应用动态规划方法，在权重和覆盖约束下计算近似最优的圆盘选择。
• 基于圆盘中心位置对平面进行分层分解，并利用单位圆盘的性质来限制交互复杂度。
• 关键技术组件是在重叠区域之间构建一致的圆盘选择顺序，以确保全局可行性。
• 通过仔细平衡局部与全局覆盖，确保解的质量最多下降(1+ε)倍。
• 该方法可通过将其他问题约化为WUDC而推广至更广范围，例如最小权重连通支配集和无线传感器网络中的最大寿命覆盖问题。

实验结果

研究问题

• RQ1 加权单位圆盘覆盖问题是否具有多项式时间近似方案（PTAS）？
• RQ2 能否利用单位圆盘的几何特性（如有界加倍维数或常数并集复杂度）构造PTAS？
• RQ3 在密集区域中，如何管理重叠圆盘之间的交互以保持近似保证？
• RQ4 该PTAS在多大程度上可扩展至具有任意圆盘半径的其他几何集合覆盖问题？
• RQ5 该框架能否被调整以在连通支配集和最大寿命覆盖问题中获得更优的近似比？

主要发现

• 本文首次为加权单位圆盘覆盖（WUDC）问题提出了PTAS，解决了几何优化领域长期悬而未决的开放问题。
• 该算法对任意ε>0，可在多项式时间内实现(1+ε)-近似，且对任意固定的ε，运行时间在输入规模上为多项式。
• 该PTAS被应用于推导出单位圆图中最小权重连通支配集问题的(4.475+ε)-近似。
• 在所有传感器具有相同覆盖范围的无线传感器网络中，建立了最大寿命覆盖问题的PTAS。
• 该结果意味着单位圆图中最小权重支配集问题存在PTAS，并将连通支配集问题的最佳已知近似比从7.105改进至4.475+ε。