[论文解读] Connecting a Set of Circles with Minimum Sum of Radii

Erin Wolf Chambers, Sándor P. Fekete+6 more|arXiv (Cornell University)|May 4, 2011

Computational Geometry and Mesh Generation参考文献 21被引用 14

一句话总结

本文研究了连通范围分配（CRA）问题：为平面上的一组点分配半径，以最小化半径之和，同时确保生成的圆交集图是连通的。当半径有界时，证明了该问题为NP难；在半径无界时，提出了多项式时间近似方案（PTAS）；对于使用有界数量圆的解，给出了常数因子近似保证，并通过紧致下界和实验验证了启发式算法的性能。

ABSTRACT

We consider the problem of assigning radii to a given set of points in the plane, such that the resulting set of circles is connected, and the sum of radii is minimized. We show that the problem is polynomially solvable if a connectivity tree is given. If the connectivity tree is unknown, the problem is NP-hard if there are upper bounds on the radii and open otherwise. We give approximation guarantees for a variety of polynomial-time algorithms, describe upper and lower bounds (which are matching in some of the cases), provide polynomial-time approximation schemes, and conclude with experimental results and open problems.

研究动机与目标

• 最小化分配给一组点的半径之和，使得生成的圆构成连通的交集图。
• 在不同约束条件下，特别是存在或不存在半径上界时，确定该问题的计算复杂性。
• 为有界数量圆的场景开发具有可证明性能保证的近似算法。
• 通过实验分析评估启发式解（如单圆或双圆配置）的有效性。
• 基于实证和理论证据，探讨在无半径约束时该问题是否为多项式可解。

提出的方法

• 通过从已知的NP难问题约化，证明了在半径有上界时，平面加权图中的CRA问题为NP难。
• 针对无界半径情况，利用几何与图论技术，开发了多项式时间近似方案（PTAS）。
• 提出基于线性规划的方法，计算最优解的紧致下界，尤其针对双圆配置。
• 使用生成生成树枚举方法，计算小规模实例的最优解，以与启发式方法进行比较。
• 在二维圆形区域中均匀分布的点集上进行实验评估，比较最优解与单圆和双圆启发式解。
• 应用计算几何与图连通性技术，对可行解的结构进行建模与分析。

实验结果

研究问题

• RQ1 当半径无界时，连通范围分配问题是否为NP难或多项式时间可解？
• RQ2 能否为使用有界数量圆的解实现常数因子近似，且最紧的近似比是多少？
• RQ3 单圆解作为启发式方法有多有效，其性能在点数增加时是否保持稳定？
• RQ4 能否将PTAS扩展到半径有界的场景，此类扩展需要哪些假设？
• RQ5 随着k增加，k圆解的最坏情况近似比是否收敛于1，表明渐近最优性？

主要发现

• 当半径有上界时，即使在平面加权图中，CRA问题也是NP难的。
• 对于无界半径情况，存在多项式时间近似方案（PTAS），可提供与最优半径和任意接近的近似。
• 对于最多使用两个圆的解，一般情况下可保证4/3-近似，线上情况为5/4-近似，且存在匹配的下界。
• 单圆解在实践中表现极佳，其成本与最优成本之比在不同点数下几乎保持恒定。
• 通过线性规划推导出紧致下界，尤其针对双圆配置，验证了理论近似保证。
• 实验结果表明，小规模实例的最优解可高效计算，且单圆启发式解即使在最坏情况下也始终接近最优。