[论文解读] Towards Plane Spanners of Degree 3

Ahmad Biniaz, Prosenjit Bose+4 more|arXiv (Cornell University)|Jun 28, 2016

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

一句话总结

本文提出了在欧几里得平面上构造平面3度倍（spanner）的算法：针对凸点集，构造出(3+4π)/3 ≈ 5.189倍的倍；针对非均匀矩形网格，构造出3√2 ≈ 4.25倍的倍；针对一般点集，使用O(n)个Steiner点构造出(t+ε)-倍且度数为3的倍。方法通过几何构造和插入Steiner点，在保持平面性和有界度数的同时最小化拉伸因子。

ABSTRACT

Let $S$ be a finite set of points in the plane that are in convex position. We present an algorithm that constructs a plane $\frac{3+4π}{3}$-spanner of $S$ whose vertex degree is at most 3. Let $Λ$ be the vertex set of a finite non-uniform rectangular lattice in the plane. We present an algorithm that constructs a plane $3\sqrt{2}$-spanner for $Λ$ whose vertex degree is at most 3. For points that are in the plane and in general position, we show how to compute plane degree-3 spanners with a linear number of Steiner points.

研究动机与目标

• 为平面上有限点集设计最大顶点度数为3的平面倍。
• 在保持平面性和有界度数的前提下最小化拉伸因子。
• 将现有倍构造方法扩展至使用线性数量Steiner点的一般点集。
• 为特定点集配置（如凸位置和非均匀网格）提供紧致的拉伸因子界。
• 通过将任意平面倍转换为度数为3的倍，且仅使拉伸因子增加ε，从而推广现有结果。

提出的方法

• 对于凸点集，算法通过组合凸包边和精心放置的弦来构造倍，以确保度数≤3且拉伸因子≤(3+4π)/3。
• 对于非均匀矩形网格，该方法利用基于格点的结构和一个拉伸因子为√2的生成子图（Λ），然后对其进行修改以实现度数3和拉伸因子≤3√2。
• 对于一般点集，该方法在每个顶点周围的小圆盘内引入Steiner点以降低度数：将度数为k的顶点替换为k+1个Steiner点构成的环，从而确保度数为3。
• 该构造利用月牙形和圆盘的几何性质：对于任意直径对，所有点均位于其相互月牙形内，从而实现路径绕行的有界性。
• 路径变换将高阶顶点段替换为沿小半径圆周的更短绕行路径，每顶点最多使路径长度增加ε·CP，从而确保(t+ε)-拉伸。
• 通过在每个顶点周围的小圆盘内进行局部修改，避免边交叉，从而保证平面性。

实验结果

研究问题

• RQ1 能否为凸位置的点集构造出度数为3且拉伸因子低于6的平面倍？
• RQ2 在非均匀矩形网格上，度数为3的平面倍可实现的最小拉伸因子是多少？
• RQ3 是否可以仅使用O(n)个Steiner点，将任意平面t-倍转换为度数为3的(t+ε)-倍？
• RQ4 一般点集中，度数为3的平面倍的最紧拉伸因子是多少？
• RQ5 如何战略性地放置Steiner点，以降低顶点度数而不显著增加拉伸因子？

主要发现

• 对于凸位置的点集，本文构造出一个平面(3+4π)/3 ≈ 5.189倍，其最大顶点度数为3。
• 对于非均匀矩形网格，该算法生成一个平面3√2 ≈ 4.25倍，其度数不超过3。
• 对于一般点集，该方法使用O(n)个Steiner点构造出(t+ε)-倍且度数为3，其中ε>0为任意正数。
• 由于引入Steiner点导致的拉伸因子增加被限制在ε·CP以内，其中CP为最近点对距离，从而确保(t+ε)-拉伸。
• 通过在每个顶点周围的小圆盘内进行局部修改，构造保持了平面性，避免了边交叉。
• 该方法通过将任意平面倍转换为度数为3的倍，且仅使拉伸因子退化ε，从而推广了现有结果。