[论文解读] Dual Failure Resilient BFS Structure

Merav Parter|arXiv (Cornell University)|May 4, 2015

Optimization and Search Problems参考文献 13被引用 10

一句话总结

该论文提出了一种新颖的算法，用于在无权无向图中构建双故障容错BFS（FT-BFS）结构，确保在最多两个边故障后，剩余子图仍包含以源节点为根的BFS生成树。该方法实现了最优的 $O(n^{5/3})$ 边大小，与匹配的下界一致，并为具有多个源点的一般 $f$-故障容错性提供了 $O\left(\log n\right)$-近似算法。

ABSTRACT

We study {\em breadth-first search (BFS)} spanning trees, and address the problem of designing a sparse {\em fault-tolerant} BFS structure, or {\em FT-BFS } for short, resilient to the failure of up to two edges in the given undirected unweighted graph $G$, i.e., a sparse subgraph $H$ of $G$ such that subsequent to the failure of up to two edges, the surviving part $H'$ of $H$ still contains a BFS spanning tree for (the surviving part of) $G$. FT-BFS structures, as well as the related notion of replacement paths, have been studied so far for the restricted case of a single failure. It has been noted widely that when concerning shortest-paths in a variety of contexts, there is a sharp qualitative difference between a single failure and two or more failures. Our main results are as follows. We present an algorithm that for every $n$-vertex unweighted undirected graph $G$ and source node $s$ constructs a (two edge failure) FT-BFS structure rooted at $s$ with $O(n^{5/3})$ edges. To provide a useful theory of shortest paths avoiding 2 edges failures, we take a principled approach to classifying the arrangement these paths. We believe that the structural analysis provided in this paper may decrease the barrier for understanding the general case of $f\geq 2$ faults and pave the way to the future design of $f$-fault resilient structures for $f \geq 2$. We also provide a matching lower bound, which in fact holds for the general case of $f \geq 1$ and multiple sources $S \subseteq V$. It shows that for every $f\geq 1$, and integer $1 \leq σ\leq n$, there exist $n$-vertex graphs with a source set $S \subseteq V$ of cardinality $σ$ for which any FT-BFS structure rooted at each $s \in S$, resilient to up to $f$-edge faults has $Ω(σ^{1/(f+1)} \cdot n^{2-1/(f+1)})$ edges.

研究动机与目标

• 设计一种在无权无向图中对最多两个边故障具有容错能力的稀疏故障容错BFS结构。
• 填补对单故障容错性理解之外的空白，其中定性与定量差异开始显现。
• 对避免两个边故障的最短路径进行结构分类，以支持容错结构的系统化设计。
• 建立此类结构大小的紧致界，特别是针对单源和多源场景。
• 为任意常数 $f \geq 1$ 开发一种高效近似算法，用于构建 $f$-故障容错FT-BFS结构。

提出的方法

• 对双边故障下的替代路径进行系统分类，将单故障路径分解方法扩展以处理更复杂的绕行模式。
• 应用贪心集合覆盖近似算法（ApproxSetCover）选择覆盖每个顶点所有可能双边故障场景的边。
• 对每个顶点 $v_i$，计算其邻居诱导集合 $S_{i,j}$，对应于在任意双边故障 $F$ 后，$s_k$-$v_i$ 最短路径中可能的最后一条边，确保完全覆盖所有 $\langle s_k, F \rangle$ 对。
• 通过选择其对应集合能覆盖所有故障场景的边来构建FT-BFS结构，利用近似比 $\delta = O(\log n)$。
• 通过反向覆盖论证证明正确性：若 $\mathfrak{F}_i(H)$ 未能覆盖 $U$，则 $H$ 在某些故障后无法维持最短路径。
• 采用分层构造方法，其中边的选择由每个故障场景必须被存活子图中至少一条路径覆盖的要求所引导。

实验结果

研究问题

• RQ1 在 $n$ 个顶点的无权无向图中，对最多两个边故障具有容错能力的故障容错BFS结构的最小大小是多少？
• RQ2 如何系统地对双边故障下的替代路径结构进行分类，以实现高效构造？
• RQ3 能否构造出大小为 $O(n^{5/3})$ 的子图，使其在任意两个边故障后仍能维持BFS树功能？
• RQ4 对于 $f \geq 1$，特别是 $f=2$ 的情况，此类 $f$-故障容错结构的理论下界大小是多少？
• RQ5 能否为任意常数 $f \geq 1$ 设计一种高效近似算法，用于构建 $f$-故障容错FT-BFS结构？

主要发现

• 为对最多两个边故障具有容错能力的单源图构造了大小为 $O(n^{5/3})$ 的FT-BFS结构。
• 证明了单源、双边故障容错性下 $\Omega(n^{5/3})$ 条边的匹配下界，表明该构造在渐近意义上是最优的。
• 该下界推广至 $\Omega(\sigma^{1/(f+1)} \cdot n^{2-1/(f+1)})$ 条边，适用于 $\sigma$ 个源点和 $f$-边故障，对所有 $f \geq 1$ 成立。
• 为任意常数 $f \geq 1$ 和任意源点集 $S \subseteq V$ 提供了 $O(\log n)$-近似算法，用于构建 $f$-故障容错FT-BFS结构。
• 通过反向覆盖论证证明了构造的正确性：若故障场景的集合覆盖不完整，则结构在某些故障后无法保持最短路径。
• 通过利用与顶点邻域相关联的故障场景集合上的贪心集合覆盖，实现了结构大小与故障容错能力之间的最优权衡。