[논문 리뷰] Fault-Tolerant Spanners: Better and Simpler

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

Complexity and Algorithms in Graphs참고 문헌 30인용 수 29

한 줄 요약

이 논문은 일반 그래프에서 r-장애내성 k-스패너에 대해 k ≥ 3일 때 다항시간 구성법을 제안하며, 이전 작업에서와 같이 r에 대해 지수적 의존도가 아닌 다항적 의존도를 가지는 크기 범위를 달성한다. k=2 이며 간선 길이가 1일 경우, 이전의 O(r log n) bound에 비해 유의미하게 향상된 O(log n)-근사 알고리즘을 제안하며, 이는 r에 독립적이다. 이는 더 강력한 선형계획법(선형계획)의 이완과 분산 알고리즘을 사용함으로써 달성된다.

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 모델에서 장애내성 스패너 구성에 적합한 분산 알고리즘 설계하기.
• 더 강력한 선형계획법 이완을 제공하여 장애내성 스패너 구성에서의 근사 보장을 향상시키기.

제안 방법

• 모든 k-스패너 구성법이 f(n) 개의 간선을 가지면, 이를 r-장애내성 k-스패너로 변환하는 일반적인 변환법을 제안하며, 이 경우 O(r³ log n · f(2n/r)) 개의 간선을 갖는다.
• 이 변환법을 탐욕적 스패너 알고리즘에 적용하여 k ≥ 3일 경우 O(r²⁻²/(k+1) n¹⁺2/(k+1) log n) 크기의 스패너를 도출한다.
• 모든 캐시백-커버 부등식을 포함하는 더 강력한 선형계획법 이완을 사용하여 k=2일 경우 O(log n) 근사도를 달성한다.
• 패딩 분해와 찬프라우드 부등식 기반의 랜덤화된 반복 반올림 기법을 사용하여 장애내성 보장을 보장한다.
• 지역 계산과 클러스터 기반 조율를 통해 선형계획법 반올림 과정을 시뮬레이션하여 LOCAL 모델에서 분산 알고리즘을 설계한다.
• 간선 비용이 1일 경우, 라보스 지구의 레미를 사용하여 O(log n) bound를 O(log Δ)로 강화하며, 여기서 Δ은 최대 차수이다.

실험 결과

연구 질문

• RQ1 k ≥ 3일 경우, r-장애내성 k-스패너 크기에서 r에 대한 지수적 의존도를 다항적 의존도로 대체할 수 있는가?
• RQ2 r-장애내성 2-스패너의 근사 비율을 r에 독립적으로 만들 수 있는가?
• RQ3 캐시백-커버 제약 조건을 포함하는 더 강력한 선형계획법 이완이 장애내성 스패너 구성의 근사 보장을 향상시키는 데 사용될 수 있는가?
• RQ4 장애내성 스패너 알고리즘을 분산 환경에서 효율적으로 구현할 수 있는가?
• RQ5 r-장애내성 2-스패너의 최선의 근사 비율은 무엇이며, 비장애내성 경우의 O(log |E|/|V|) bound와 일치할 수 있는가?

주요 결과

• k ≥ 3일 경우, 논문은 크기 O(r²⁻²/(k+1) n¹⁺2/(k+1) log n)의 r-장애내성 k-스패너를 구성하며, 이는 이전의 r에 대한 지수적 의존도에 비해 향상된 결과이다.
• 일반적인 변환법을 통해 f(n) 개의 간선을 가지는 임의의 k-스패너 구성법에 대해 O(r³ log n · f(2n/r)) 개의 간선을 갖는다. 이는 r에 대한 다항적 의존도를 가능하게 한다.
• k=2 이며 간선 길이가 1일 경우, 논문은 r에 독립적인 O(log n)-근사 알고리즘을 달성하며, 이는 이전의 O(r log n) bound에 비해 유의미하게 향상된 결과이다.
• 캐시백-커버 제약 조건을 포함하는 더 강력한 선형계획법 이완은 O(log n) 근사도를 가능하게 하며, O(ε⁻³ log n) 라운드 내에서 (1+ε) 정확도로 해를 구할 수 있다.
• 분산 알고리즘은 LOCAL 모델에서 O(ε⁻³ log n) 라운드 내에 실행되며, 분산 네트워크에서의 효율적 구현을 가능하게 한다.
• 간선 비용이 1일 경우, 라보스 지구의 레미를 사용하여 근사 비율을 O(log Δ)로 향상시키며, 여기서 Δ은 최대 차수이다.