[论文解读] Bounded Degree Planar Geometric Spanners

Paz Carmi, Lilach Chaitman|arXiv (Cornell University)|Mar 25, 2010

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

一句话总结

该论文提出了一种O(n log n)时间复杂度的算法，从Delaunay三角剖分构建一个有界度数的平面几何Spanner，实现最大顶点度数为7，且拼接因子为(1+√2)²δ，其中δ为Delaunay三角剖分的连通比。此外还提供了一种分布式O(n)时间变体，确保平面性、有界度数和常数拼接因子。

ABSTRACT

Given a set $P$ of $n$ points in the plane, we show how to compute in $O(n \log n)$ time a subgraph of their Delaunay triangulation that has maximum degree 7 and is a strong planar $t$-spanner of $P$ with $t =(1+ \sqrt{2})^2 *δ$, where $δ$ is the spanning ratio of the Delaunay triangulation. Furthermore, given a Delaunay triangulation, we show a distributed algorithm that computes the same bounded degree planar spanner in O(n) time.

研究动机与目标

• 为平面中的一组点设计一个有界顶点度数的平面几何Spanner。
• 将现有平面Spanner的最大度数从14降低到7，同时保持常数拼接因子。
• 开发一种分布式算法，以线性时间计算相同的有界度数平面Spanner。
• 在所得子图中保持强t-Spanner性质（即近似最短路径）。
• 通过特定情况分析，提升对Delaunay三角剖分拼接因子的理论理解。

提出的方法

• 以ℝ²中点集P的Delaunay三角剖分为基图开始。
• 应用一种修剪策略，在保留近似最短路径的同时移除边，使用基于楔形的边选择方法。
• 在每个点周围使用8个π/4弧度的锥形来指导边的选择，通过基于锥形的过滤确保度数限制。
• 基于锥形有序邻居序列中的局部极小值和单调性选择边，以避免冗余或过长的边。
• 采用一种分布式算法，每个节点独立使用本地锥形和邻居信息选择边，并通过边删除和一致性检查实现同步。
• 按长度合并边列表，并采用双列表策略（递增和递减顺序）以高效识别候选边。

实验结果

研究问题

• RQ1 能否从Delaunay三角剖分高效构建一个最大度数为7的平面t-Spanner？
• RQ2 对于点集的有界度数平面Spanner，可实现的最小拼接因子是多少？
• RQ3 能否在不进行全局边排序的情况下，通过线性时间的分布式算法计算出此类Spanner？
• RQ4 边选择策略的选择如何影响度数与拼接因子之间的权衡？
• RQ5 该Spanner的拼接因子相对于Delaunay三角剖分的连通比δ是多少？

主要发现

• 所提出的算法在O(n log n)时间内构建出最大顶点度数为7的平面Spanner。
• 所得Spanner的拼接因子为(1+√2)²δ，其中δ为Delaunay三角剖分的连通比。
• 分布式算法在O(n)时间内计算出相同的有界度数平面Spanner，假设边按顺时针顺序排列。
• 分布式算法无需对边按长度排序，而是依赖于本地锥形和邻居的一致性。
• 边选择过程确保：对于每条被移除的边，Spanner中均存在一条拼接因子有界的路径，从而保持t-Spanner性质。
• 所得Spanner是一个强t-Spanner，即对于每对点，Spanner中的最短路径与欧几里得距离的近似因子为t。