[논문 리뷰] Sparse Fault-Tolerant BFS Trees

Merav Parter, David Peleg|arXiv (Cornell University)|2013. 02. 21.

Complexity and Algorithms in Graphs참고 문헌 25인용 수 19

한 줄 요약

이 논문은 단일 간선 또는 정점 장애 발생 후에도 BFS 구조를 유지하는 스파스 장애내성 BFS 트리(FT-BFS) 및 다중 소스 장애내성 BFS 트리(FT-MBFS)를 구성하기 위한 결정적 알고리즘을 제시한다. 최적 또는 거의 최적의 크기 한계를 달성한다: 단일 소스 FT-BFS의 경우 $O(n \cdot \min\{\text{Depth}(s), \sqrt{n}\})$ 개의 간선과 다중 소스 FT-MBFS의 경우 $O(\sqrt{\sigma} \cdot n^{3/2})$ 개의 간선이며, 이는 하한과 일치하며, 둘 다 $O(\log n)$-근사 알고리즘이 존재한다.

ABSTRACT

This paper addresses the problem of designing a sparse {\em fault-tolerant} BFS tree, or {\em FT-BFS tree} for short, namely, a sparse subgraph $T$ of the given network $G$ such that subsequent to the failure of a single edge or vertex, the surviving part $T'$ of $T$ still contains a BFS spanning tree for (the surviving part of) $G$. Our main results are as follows. We present an algorithm that for every $n$-vertex graph $G$ and source node $s$ constructs a (single edge failure) FT-BFS tree rooted at $s$ with $O(n \cdot \min\{\Depth(s), \sqrt{n}\})$ edges, where $\Depth(s)$ is the depth of the BFS tree rooted at $s$. This result is complemented by a matching lower bound, showing that there exist $n$-vertex graphs with a source node $s$ for which any edge (or vertex) FT-BFS tree rooted at $s$ has $Ω(n^{3/2})$ edges. We then consider {\em fault-tolerant multi-source BFS trees}, or {\em FT-MBFS trees} for short, aiming to provide (following a failure) a BFS tree rooted at each source $s\in S$ for some subset of sources $S\subseteq V$. Again, tight bounds are provided, showing that there exists a poly-time algorithm that for every $n$-vertex graph and source set $S \subseteq V$ of size $σ$ constructs a (single failure) FT-MBFS tree $T^*(S)$ from each source $s_i \in S$, with $O(\sqrtσ \cdot n^{3/2})$ edges, and on the other hand there exist $n$-vertex graphs with source sets $S \subseteq V$ of cardinality $σ$, on which any FT-MBFS tree from $S$ has $Ω(\sqrtσ\cdot n^{3/2})$ edges. Finally, we propose an $O(\log n)$ approximation algorithm for constructing FT-BFS and FT-MBFS structures. The latter is complemented by a hardness result stating that there exists no $Ω(\log n)$ approximation algorithm for these problems under standard complexity assumptions.

연구 동기 및 목표

• 단일 간선 또는 정점 장애 발생 후에도 BFS 구조를 유지하는 스파스 장애내성 BFS 트리를 설계하기 위해.
• 장애 발생 후에도 유효한 BFS 트리가 포함되도록 보장하면서, 장애내성 구조 내 간선 수를 최소화하기 위해.
• 증명 가능하게 날카로운 크기 한계를 가진 다중 소스(FT-MBFS 트리)로 확장하기 위해.
• 이전의 랜덤화된 작업들보다 개선된 근사 보장을 가진 결정적 알고리즘을 제공하기 위해.
• FT-BFS 및 FT-MBFS 구조의 크기에 대해 상한과 하한을 일치시켜 설정하기 위해.

제안 방법

• 장애내성 트리의 핵심 구조적 구성 요소로, 고장 난 간선을 피하는 최단 $s$-$t$ 경로인 대체 경로를 사용한다.
• 각 정점에 대해 필요한 모든 대체 경로를 커버하는 간선을 선택하기 위해 근사 집합 커버(ApproxSetCover)를 적용한다.
• 각 정점에 대해 소스-간선 쌍을 모두 커버하는 집합에 해당하는 간선을 집계하여 FT-BFS 트리를 구성한다.
• 다중 소스 FT-MBFS의 경우, 각 정점에 대해 집합 커버 문제로 모델링하며, 집합은 소스-간선 쌍을 나타낸다.
• 각 정점 $v_i$가 소스-간선 쌍에 대한 집합 체계와 연결된 层상 구조를 사용하여 장애내성 보장을 보장한다.
• 쌍대성 논증을 통해 정당성을 증명한다: 집합 커버가 모든 쌍을 커버하지 못하면, 고장 발생 후 최단 경로를 유지할 수 없다.

실험 결과

연구 질문

• RQ1 단일 간선 또는 정점 고장 발생 후에도 살아남는 장애내성 BFS 트리를 구성하기 위해 필요한 최소 간선 수는 얼마인가?
• RQ2 기존의 랜덤화된 구조에 비해 결정적 알고리즘이 FT-BFS 트리의 더 나은 또는 유사한 흐물림을 달성할 수 있는가?
• RQ3 주어진 소스 집합에 대해 장애내성 다중 소스 BFS 트리(FT-MBFS)의 최적 크기는 얼마인가?
• RQ4 FT-BFS 및 FT-MBFS 구조의 크기에 대해 날카로운 상한과 하한을 설정할 수 있는가?
• RQ5 FT-BFS 및 FT-MBFS 트리를 구성하기 위한 다항 시간 근사 알고리즘이 존재하며, 성능 보장을 증명할 수 있는가?

주요 결과

• 모든 $n$-정점 그래프와 소스 $s$에 대해 결정적으로 $O(n \cdot \min\{\text{Depth}(s), \sqrt{n}\})$ 개의 간선을 가진 FT-BFS 트리를 구성할 수 있으며, 이는 worst-case 하한인 $\Omega(n^{3/2})$ 와 일치한다.
• 소스 수가 $\sigma$인 다중 소스 FT-MBFS 트리의 경우, 알고리즘은 $O(\sqrt{\sigma} \cdot n^{3/2})$ 개의 간선을 가진 구조를 구성하며, 이는 $\Omega(\sqrt{\sigma} \cdot n^{3/2})$ 하한과 일치한다.
• 논문은 FT-BFS 및 FT-MBFS 구조 모두에 대해 $O(\log n)$-근사 알고리즘을 제시하며, 이는 이전의 랜덤화된 구조에 비해 간선 수에서 최대 $\sqrt{n}$ 요소만큼 향상된다.
• 하한은 단일 소스 FT-BFS의 경우 $\Omega(n^{3/2})$ 개의 간선 이하로는 달성할 수 없으며, 다중 소스 FT-MBFS의 경우 $\Omega(\sqrt{\sigma} \cdot n^{3/2})$ 개의 간선 이하로는 달성할 수 없음을 보여준다.
• 근사 알고리즘은 거의 최적에 가깝다. 표준 복잡도 가정 하에 $\Omega(\log n)$-근사가 존재하지 않기 때문이다.
• 결과는 동일한 점근적 한계를 유지하면서 정점 고장에도 적용 가능하여, 간선 고장과 정점 고장 양쪽에 대해 강건함을 입증한다.