[论文解读] Efficient Construction of Spanners in $d$-Dimensions

Chan, Timothy M., Har-Peled, Sariel+1 more|arXiv (Cornell University)|Mar 28, 2013

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

一句话总结

本文提出了一种在 d 维欧几里得空间中构造 k-顶点故障容错 t-跨度图的 O(n log n) 时间算法，实现了在度数（O(k)）、权重（O(k²·ω(MST)））和时间复杂度方面的最优界限。该方法基于基于锥形的边选择和基于信用的分析，利用有界分离点对分解（BSPD），确保故障容错性和低权重，解决了 d 维空间中跨度图构造的一个开放问题。

ABSTRACT

For any constant d and parameter epsilon > 0, we show the existence of (roughly) 1/epsilon^d orderings on the unit cube [0,1)^d, such that any two points p, q in [0,1)^d that are close together under the Euclidean metric are "close together" in one of these linear orderings in the following sense: the only points that could lie between p and q in the ordering are points with Euclidean distance at most epsilon | p - q | from p or q. These orderings are extensions of the Z-order, and they can be efficiently computed. Functionally, the orderings can be thought of as a replacement to quadtrees and related structures (like well-separated pair decompositions). We use such orderings to obtain surprisingly simple algorithms for a number of basic problems in low-dimensional computational geometry, including (i) dynamic approximate bichromatic closest pair, (ii) dynamic spanners, (iii) dynamic approximate minimum spanning trees, (iv) static and dynamic fault-tolerant spanners, and (v) approximate nearest neighbor search.

研究动机与目标

• 解决在代数计算树模型下，以 O(n log n) 时间在 Rd 中构造 t-跨度图的开放问题。
• 设计一种高效算法，用于构造 k-顶点故障容错 t-跨度图（k-VFTS），在 Rd 中实现最优度数 O(k) 和权重 O(k²·ω(MST))。
• 对 k=0 和 k≥1 的情况，实现跨度图度数、总边长和时间复杂度的渐近最优界限。
• 将现有跨度图构造技术扩展至处理顶点故障，同时保持低权重和高效运行时间。

提出的方法

• 基于分裂树划分和浮动虚拟盒，使用有界分离点对分解（BSPD）确保节点集的平衡与良好分离。
• 在每个节点周围应用锥形划分，利用基向量引导边的添加，确保锥形的角跨度由依赖于 t 的常数所限制。
• 引入一种信用系统，包含 TYPE-1 和 TYPE-2 信用，以追踪节点度数，并在边添加过程中确保最大度数为 O(k)。
• 采用贪心边选择策略：仅当添加边 (u,v) 后，当前图中仍存在 k+1 条内部顶点不相交的路径，且每条路径长度不超过 t·||uv|| 时，才添加该边。
• 为每个锥形方向维护不相交交叉边（DCE）数组，以高效地维护和更新每个盒中距离最远的 k+1 个节点，实现每个锥形方向的更新时间为 O(kn)。
• 结合 BSPD 与基于锥形的选择及基于信用的度数控制，确保总权重较低且时间复杂度最优。

实验结果

研究问题

• RQ1 能否在代数计算树模型下，以 O(n log n) 时间在 Rd 中构造出度数为 O(1)、权重为 O(ω(MST)) 的 t-跨度图？
• RQ2 能否在 Rd 中以 O(n log n) 时间构造出最大度数为 O(k)、总权重为 O(k²·ω(MST)) 的 k-顶点故障容错 t-跨度图？
• RQ3 哪些结构和算法技术能够同时确保故障容错性与低权重，同时保持接近最优的时间复杂度？
• RQ4 如何设计一种基于信用的系统，以限制故障容错跨度图构造中节点的度数和总边权重？

主要发现

• 该算法在代数计算树模型下以 O(n log n) 时间构造出 t-跨度图，解决了 Rd 中跨度图构造的一个开放问题。
• 对于 k≥1 的情况，该方法构造出最大度数为 O(k)、总权重为 O(k²·ω(MST)) 的 (k,t)-VFTS，且运行时间为 O(n log n)，实现了渐近最优界限。
• 所用锥形数量为 O((1/(t−1))^d)，这决定了时间与权重界限中的隐藏常数。
• 基于信用的分析证明，每个节点在每个锥形方向上维护的边数不超过 O(k)，从而确保所有方向上的度数有界。
• 总边数为 O(kn)，与 k-顶点故障容错跨度图的渐近下界一致。
• 该算法实现了最优时间复杂度 O(kc²n + c²n log n)，其中 c² = Θ((1/(t−1))^d)，对 t 和 d 的实际取值具有高效性。