[论文解读] Fault-Tolerant Spanners: Better and Simpler

Michael Dinitz, Robert Krauthgamer|arXiv (Cornell University)|Jan 30, 2011

Complexity and Algorithms in Graphs参考文献 30被引用 29

一句话总结

本文提出了一种新颖的、时间复杂度为多项式的时间构造方法，用于在一般图中构建 r-故障容错 k-跨度图（k ≥ 3），其大小界限在 r 上呈多项式增长，而非以往工作中呈指数增长。对于 k=2 且边长为单位长度的情况，提出了一种与 r 无关的 O(log n) 近似算法，显著优于先前的 O(r log n) 边界，该方法使用了更强的线性规划松弛和分布式算法。

ABSTRACT

A natural requirement of many distributed structures is fault-tolerance: after some failures, whatever remains from the structure should still be effective for whatever remains from the network. In this paper we examine spanners of general graphs that are tolerant to vertex failures, and significantly improve their dependence on the number of faults $r$, for all stretch bounds. For stretch $k \geq 3$ we design a simple transformation that converts every $k$-spanner construction with at most $f(n)$ edges into an $r$-fault-tolerant $k$-spanner construction with at most $O(r^3 \log n) \cdot f(2n/r)$ edges. Applying this to standard greedy spanner constructions gives $r$-fault tolerant $k$-spanners with $ ilde O(r^{2} n^{1+\frac{2}{k+1}})$ edges. The previous construction by Chechik, Langberg, Peleg, and Roddity [STOC 2009] depends similarly on $n$ but exponentially on $r$ (approximately like $k^r$). For the case $k=2$ and unit-length edges, an $O(r \log n)$-approximation algorithm is known from recent work of Dinitz and Krauthgamer [arXiv 2010], where several spanner results are obtained using a common approach of rounding a natural flow-based linear programming relaxation. Here we use a different (stronger) LP relaxation and improve the approximation ratio to $O(\log n)$, which is, notably, independent of the number of faults $r$. We further strengthen this bound in terms of the maximum degree by using the \Lovasz Local Lemma. Finally, we show that most of our constructions are inherently local by designing equivalent distributed algorithms in the LOCAL model of distributed computation.

研究动机与目标

• 为解决 r-故障容错跨度图大小中对 r 的指数依赖这一开放问题，特别是在 k ≥ 3 的情况下。
• 将 r-故障容错 2-跨度图的近似比从 O(r log n) 提升至与 r 无关的 O(log n)。
• 设计一种在 LOCAL 模型中实现故障容错跨度图构造的分布式算法。
• 提出一种更强的线性规划松弛，以捕捉指数数量的背包覆盖约束，从而提升近似性能。

提出的方法

• 提出一种通用变换，可将任意具有 f(n) 条边的 k-跨度图构造方法，转化为具有 O(r³ log n · f(2n/r)) 条边的 r-故障容错 k-跨度图。
• 将此变换应用于贪心跨度图算法，得到 k ≥ 3 时大小为 O(r²⁻²/(k+1) n¹⁺²/(k+1) log n) 的结果。
• 采用更强的线性规划松弛，包含所有背包覆盖不等式，以实现 k=2 时的 O(log n) 近似。
• 使用基于填充分解和切尔诺夫不等式的随机迭代舍入技术，确保故障容错性。
• 通过使用局部计算和基于簇的协调机制，模拟线性规划舍入过程，在 LOCAL 模型中设计出分布式算法。
• 利用洛瓦兹局部引理，当边权为 1 时，将 O(log n) 的近似界强化为 O(log Δ)，其中 Δ 为最大度数。

实验结果

研究问题

• RQ1 能否在 k ≥ 3 的情况下，将 r-故障容错 k-跨度图大小中的 r 的指数依赖关系替换为多项式依赖？
• RQ2 能否实现与 r 无关的 r-故障容错 2-跨度图近似比？
• RQ3 能否利用包含背包覆盖约束的更强线性规划松弛，来改进故障容错跨度图构造中的近似保证？
• RQ4 如何在分布式环境中高效实现故障容错跨度图算法？
• RQ5 r-故障容错 2-跨度图的最佳可能近似比是多少？是否可与非故障容错情况下的 O(log |E|/|V|) 边界相匹配？

主要发现

• 对于 k ≥ 3，本文构造的 r-故障容错 k-跨度图大小为 O(r²⁻²/(k+1) n¹⁺²/(k+1) log n)，优于以往对 r 的指数依赖。
• 该通用变换对任意具有 f(n) 条边的 k-跨度图构造方法，可生成 O(r³ log n · f(2n/r)) 条边，从而实现对 r 的多项式依赖。
• 对于 k=2 且边长为单位长度的情况，本文实现了与 r 无关的 O(log n) 近似算法，优于先前的 O(r log n) 边界。
• 包含背包覆盖约束的更强线性规划松弛可实现 O(log n) 近似，且可在 O(ε⁻³ log n) 轮内求解至 (1+ε) 精度。
• 该分布式算法在 LOCAL 模型中运行时间为 O(ε⁻³ log n) 轮，支持在分布式网络中高效实现。
• 当边权为 1 时，近似比可提升至 O(log Δ)，其中 Δ 为最大度数，利用洛瓦兹局部引理实现。