[论文解读] Near-Optimal $O(k)$-Robust Geometric Spanners

Buchin, Kevin, Har-Peled, Sariel+1 more|arXiv (Cornell University)|Dec 24, 2018

Computational Geometry and Mesh Generation参考文献 9被引用 3

一句话总结

本论文提出了一种在 $\mathbb{R}^d$ 中构造 $(1+\epsilon)k$-鲁棒几何(spanner)的近似最优方法，其边数为 $O(n\log^2 n \log\log n)$，在保持近线性稀疏性的同时，确保对最多 $k$ 个故障节点具有鲁棒性。该方法结合了分离良好的对分解（well-separated pair decomposition）、扩展图（expander graphs）、分层质心分解（hierarchical centroid decomposition）以及 Willard 的顺序维护结构，以限制故障影响的节点数量，优于以往的 $n^{\log^{O(d)} n}$ 构造方法。

ABSTRACT

For any constants $d\ge 1$, $ε>0$, $t>1$, and any $n$-point set $P\subset\mathbb{R}^d$, we show that there is a geometric graph $G=(P,E)$ having $O(n\log^2 n\log\log n)$ edges with the following property: For any $F\subseteq P$, there exists $F^+\supseteq F$, $|F^+| \le (1+ε)|F|$ such that, for any pair $p,q\in P\setminus F^+$, the graph $G-F$ contains a path from $p$ to $q$ whose (Euclidean) length is at most $t$ times the Euclidean distance between $p$ and $q$. In the terminology of robust spanners (Bose \et al, SICOMP, 42(4):1720--1736, 2013) the graph $G$ is a $(1+ε)k$-robust $t$-spanner of $P$. This construction is sparser than the recent constructions of Buchin, Olàh, and Har-Peled (arXiv:1811.06898) who prove the existence of $(1+ε)k$-robust $t$-spanners with $n\log^{O(d)} n$ edges.

研究动机与目标

• 构造在节点故障下具有鲁棒性的稀疏几何 spanner，使得受影响节点的数量被限制为故障节点数量的函数。
• 弥合 $(1+\epsilon)k$-鲁棒 spanner 的 $\Omega(n\log n)$ 下界与现有 $n^{\log^{O(d)} n}$ 上界之间的差距。
• 在常数维欧几里得空间中实现接近线性的边数，同时保持鲁棒性。
• 开发一种在任意常数维度 $d \geq 1$ 下，与最优值相差 $O(\log n \log\log n)$ 因子的构造方法。

提出的方法

• 使用公平分割树将点集分解为分离良好的对，构造其分离良好的对分解（WSPD）。
• 在 WSPD 对的子集上使用扩展图，以确保小规模节点子集仍具有强连通性，从而实现鲁棒性。
• 应用分层质心分解（平衡分隔符）递归地对树结构进行划分，以控制受影响节点的数量。
• 集成 Willard 的顺序维护数据结构，以在较小子结构上保持严格的密度约束下维护动态顺序。
• 构建两类辅助图：一类用于确保幸存节点向更大集合的扩展性（PR3），另一类用于维护子树内的连通性（PR4）。
• 将 WSPD 的边与辅助扩展图结合，形成最终的 spanner，确保对于任意故障集合 $F$，额外受影响的节点数最多为 $O((1+\epsilon)|F|)$。

实验结果

研究问题

• RQ1 能否在常数维欧几里得空间中，构造出边数为近似线性 $O(n\log^2 n\log\log n)$ 的 $(1+\epsilon)k$-鲁棒 $t$-spanner？
• RQ2 在 $\mathbb{R}^d$ 中，$k$-鲁棒 spanner 的最小边数是多少？其与 $\Omega(n\log n)$ 下界有多接近？
• RQ3 能否将分层分解与基于扩展图的连通性结合，以避免边数中出现 $\log^{O(d)} n$ 因子？
• RQ4 spanner 的鲁棒性如何与点集的内在维度相关，尤其是在密集或均匀分布的配置中？
• RQ5 $O(n\log^2 n\log\log n)$ 是否是 $(1+\epsilon)k$-鲁棒 spanner 的紧致上界，还是可以去除 $\log\log n$ 因子？

主要发现

• 本论文为任意 $n$-点集在 $\mathbb{R}^d$（$d \geq 1$）中构造了边数为 $O(n\log^2 n\log\log n)$ 的 $(1+\epsilon)k$-鲁棒 $t$-spanner，优于以往的 $n^{\log^{O(d)} n}$ 构造。
• 该构造在任意常数维度下，与 $1$-维点集的 $\Omega(n\log n)$ 下界相差 $O(\log n \log\log n)$ 因子，因此在任何常数维度下都近乎最优。
• 该方法确保对于任意故障集合 $F$，额外受影响节点 $F^+$ 的数量最多为 $(1+7\epsilon)|F|$，满足 $(1+\epsilon)k$-鲁棒性条件。
• 在分层子结构上使用扩展图，确保即使在故障后仍具有强扩展性，从而在幸存节点之间维持短路径。
• 最终的 spanner 图 $G$ 通过将 WSPD 边与辅助扩展图结合而形成，实现了稀疏性与鲁棒性的统一。
• 该构造通过在较小子结构上施加更严格的密度约束，采用一种新颖的分层分解方法，避免了 $\log^{O(d)} n$ 因子，与以往将问题约化为一维问题的方法不同。