[论文解读] Degree Four Plane Spanners: Simpler and Better

Iyad Kanj, Ljubomir Perković+1 more|arXiv (Cornell University)|Jan 1, 2016

Computational Geometry and Mesh Generation参考文献 7被引用 6

一句话总结

本文提出了一种新颖的 O(n log n) 时间算法，用于基于等边三角形距离的 Delaunay 三角剖分，构建完全欧几里得图的平面 spanner，其最大度数不超过 4，拉伸因子不超过 20。该方法简化了先前的构造方式，相较于以往的度数为 4 的 spanner，显著提升了拉伸因子，并为凸位置点集证明了最大度数为 3 的紧致上界。

ABSTRACT

Let ${\cal P}$ be a set of $n$ points embedded in the plane, and let ${\cal C}$ be the complete Euclidean graph whose point-set is ${\cal P}$. Each edge in ${\cal C}$ between two points $p, q$ is realized as the line segment $[pq]$, and is assigned a weight equal to the Euclidean distance $|pq|$. In this paper, we show how to construct in $O(n\lg{n})$ time a plane spanner of ${\cal C}$ of maximum degree at most 4 and stretch factor at most 20. This improves a long sequence of results on the construction of plane spanners of ${\cal C}$. Our result matches the smallest known upper bound of 4 by Bonichon et al. on the maximum degree of plane spanners of ${\cal C}$, while significantly improving their stretch factor upper bound from 156.82 to 20. The construction of our spanner is based on Delaunay triangulations defined with respect to the equilateral-triangle distance, and uses a different approach than that used by Bonichon et al. Our approach leads to a simple and intuitive construction of a well-structured spanner, and reveals useful structural properties of the Delaunay triangulations defined with respect to the equilateral-triangle distance. The structure of the constructed spanner implies that when ${\cal P}$ is in convex position, the maximum degree of this spanner is at most 3. Combining the above degree upper bound with the fact that 3 is a lower bound on the maximum degree of any plane spanner of ${\cal C}$ when the point-set ${\cal P}$ is in convex position, the results in this paper give a tight bound of 3 on the maximum degree of plane spanners of ${\cal C}$ for point-sets in convex position.

研究动机与目标

• 构建完全欧几里得图的平面 spanner，其度数有界且拉伸因子较低。
• 改进 Bonichon 等人之前最优的度数为 4 的 spanner 所达到的拉伸因子 156.82。
• 利用等边三角形 Delaunay 三角剖分，简化有界度数平面 spanner 的构造与分析。
• 为凸位置点集的平面 spanner 建立最大度数为 3 的紧致上界。

提出的方法

• 使用基于等边三角形距离度量定义的 Delaunay 三角剖分。
• 应用一种偏向性边选择策略，优先选择三角剖分中的特定边，以确保结构的合理性。
• 采用递归构造方法，在保持路径质量的同时，容忍无限递归深度。
• 使用基于扇形的计费方案，通过分析各四个角扇形中的边分布，将每个顶点的度数控制在界限内。
• 利用等边三角形 Delaunay 三角剖分与 1/2-θ 图之间的联系，指导 spanner 的构造。
• 引入一种新颖的计费机制，将边分配至扇形，确保任意顶点的度数不超过 4。

实验结果

研究问题

• RQ1 能否高效地构造出最大度数为 4 且拉伸因子低于 100 的平面 spanner？
• RQ2 等边三角形 Delaunay 三角剖分的哪些结构特性使得更简单且更优的 spanner 构造成为可能？
• RQ3 对于凸位置点集的平面 spanner，最大度数为 3 是否为紧致上界？
• RQ4 递归边添加策略能否在控制度数的同时保持较低的拉伸因子？
• RQ5 在 Delaunay 三角剖分中偏向性地选择边，如何提升 spanner 的质量？

主要发现

• 所提出的算法在 O(n log n) 时间内构造出最大度数不超过 4、拉伸因子不超过 20 的平面 spanner。
• 20 的拉伸因子显著优于以往度数为 4 的 spanner 的最优边界 156.82。
• 对于凸位置的点集，所构造的 spanner 最大度数不超过 3，与已知的下界一致。
• 本文证明了 3 是凸点集平面 spanner 最大度数的紧致上界。
• 计费方案确保每个顶点的度数不超过 4，通过限制每个角扇形内的边数实现。
• 与以往方法相比，该构造更简单、更直观，尤其优于基于 L2-Delaunay 三角剖分或 L1-Delaunay 三角剖分的方法。