[논문 리뷰] Dual Failure Resilient BFS Structure

Merav Parter|arXiv (Cornell University)|2015. 05. 04.

Optimization and Search Problems참고 문헌 13인용 수 10

한 줄 요약

이 논문은 무향 무가중치 그래프에서 최대 두 개의 간선 고장 발생 후에도 원천 노드를 루트로 하는 BFS 스패래닝 트리가 여전히 존재하도록 보장하는 이중 고장 내성 BFS(FT-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 구조를 구성하기 위한 효율적인 근사 알고리즘을 개발하는 것.

제안 방법

• 두 간선 고장 상황에서의 대체 경로를 체계적으로 분류함으로써, 단일 고장 경로 분해를 확장하여 더 복잡한 방향 전환 패tern을 다룰 수 있도록 하는 것.
• 각 정점에 대해 가능한 두 간선 고장 상황을 모두 커버하는 간선 선택을 위해 근사 집합 커버(ApproxSetCover) 알고리즘을 적용하는 것.
• 각 정점 $v_i$에 대해, 임의의 두 간선 고장 $F$ 발생 후 $s_k$-$v_i$ 최단경로에서의 잠재적 마지막 간선에 대응하는 이웃 유도 집합 $S_{i,j}$를 계산하는 것.
• 모든 고장 상황을 커버하는 간선 집합을 선택하여 FT-BFS 구조를 구성하며, 이때 근사 비율 $\delta = O(\log n)$을 사용하는 것.
• 역방향 커버리지 추론을 통해 정당성 증명: $\mathfrak{F}_i(H)$가 $U$를 완전히 커버하지 못한다면, $H$는 어떤 고장 발생 후에도 최단경로를 유지할 수 없다는 것.
• 모든 고장 상황이 생존하는 부분그래프 내 적어도 하나의 경로에 의해 커버되도록 보장하는 계층적 구성 방식을 사용하는 것.

실험 결과

연구 질문

• RQ1 무향 무가중치 그래프에서 $n$개 정점이 존재할 때, 두 간선 고장에 내성을 지닌 고장 내성 BFS 구조의 최소 크기는 얼마인가?
• RQ2 두 간선 고장 상황에서의 대체 경로의 구조를 체계적으로 분류하여 효율적인 구성이 가능하게 할 수 있는가?
• RQ3 크기가 $O(n^{5/3})$인 부분그래프를 구성하여, 임의의 두 간선 고장 발생 후에도 BFS 트리의 기능을 유지할 수 있는가?
• RQ4 특히 $f=2$일 경우를 포함해 $f \geq 1$에 대해 이러한 $f$-고장 내성 구조의 이론적 하한값은 얼마인가?
• RQ5 임의의 상수 $f \geq 1$에 대해 $f$-고장 내성 FT-BFS 구조를 구성하기 위한 효율적인 근사 알고리즘을 설계할 수 있는가?

주요 결과

• 단일 원천 그래프에서 최대 두 개의 간선 고장에 내성을 지닌 $O(n^{5/3})$ 크기의 FT-BFS 구조를 구성하였다.
• 단일 원천 및 두 간선 고장 내성에 대해 $\Omega(n^{5/3})$ 간선의 하한값을 증명하였으며, 이는 구성이 점근적으로 최적임을 보여준다.
• 이 하한값은 $\sigma$개의 원천과 $f$-간선 고장에 대해 $\Omega(\sigma^{1/(f+1)} \cdot n^{2-1/(f+1)})$ 간선으로 일반화되며, $f \geq 1$인 모든 경우에 유효하다.
• 임의의 상수 $f \geq 1$ 및 임의의 소스 집합 $S \subseteq V$에 대해 $f$-고장 내성 FT-BFS 구조를 구성하기 위한 $O(\log n)$-근사 알고리즘을 제공하였다.
• 구성의 정당성은 역방향 커버리지 추론을 통해 증명되었으며, 만약 고장 상황의 집합 커버가 불완전하다면, 구조는 어떤 고장 발생 후에도 최단경로를 유지할 수 없다는 것.
• 정점 이웃의 집합과 연관된 고장 상황 집합에 대해 근사 집합 커버를 적용함으로써, 크기와 고장 내성 간의 최적 균형을 달성하였다.