[논문 리뷰] Small Cuts and Connectivity Certificates: A Fault Tolerant Approach

Merav Parter|arXiv (Cornell University)|2019. 08. 08.

Complexity and Algorithms in Graphs참고 문헌 26인용 수 8

한 줄 요약

이 논문은 CONGEST 모델에서 분산 연결성 문제에 대한 고장 내성적 접근법을 제시하며, 고장 내성 네트워크 설계에서 영감을 얻은 새로운 그래프 샘플링 기법을 도입한다. 상수 간선 연결성 λ에 대해 최소 컷을 계산하는 최초의 결정론적 알고리즘을 poly(D) 라운드 내에서 달성하며, (1−ε)λ-희소 증명서를 O(1/ε² · log²⁺ᵒ⁽¹⁾n) 라운드 내에서 구성한다. 이는 이전의 O(D) 기준을 초월해 희소 증명서의 라운드 복잡도를 크게 향상시킨다.

ABSTRACT

We revisit classical connectivity problems in the CONGEST model of distributed computing. By using techniques from fault tolerant network design, we show improved constructions, some of which are even "local" (i.e., with $\widetilde{O}(1)$ rounds) for problems that are closely related to hard global problems (i.e., with a lower bound of $Ω(Diam+\sqrt{n})$ rounds). Our main results are: (1) For $D$-diameter unweighted graphs with constant edge connectivity, we show an exact distributed deterministic computation of the minimum cut in $poly(D)$ rounds. This resolves one the open problems recently raised in Daga, Henzinger, Nanongkai and Saranurak, STOC'19. (2) For $D$-diameter unweighted graphs, we present a deterministic algorithm that computes of all edge connectivities up to constant in $poly(D)\cdot 2^{O(\sqrt{\log n\log\log n})}$ rounds. (3) Computation of sparse $λ$ connectivity certificates in $\widetilde{O}(λ)$ rounds. Previous constructions where known only for $λ\leq 3$ and required $O(D)$ rounds. This resolves the problem raised by Dori PODC'18.

연구 동기 및 목표

• 상수 간선 연결성 λ를 가진 그래프에서 최소 컷을 poly(D) 라운드 내에서 계산하는 열린 문제를 해결하기 위해.
• 기존 랜덤화 기법에 의존하지 않고 최소 컷과 희소 연결성 증명서에 대한 최초의 결정론적 분산 알고리즘을 개발하기 위해.
• 고장 내성 스파너 구축의 적용 범위를 연결성 증명서 문제로 확장하기 위해.
• 상수 연결성 값을 가진 그래프에서 모든 간선 연결성을 하향선형 시간 내에 계산할 수 있도록 하기 위해.

제안 방법

• 고장 내성(FT) 네트워크 설계에서 유래한 그래프 샘플링 기법을 활용하여 희소 증명서를 구성하고 최소 컷을 계산한다.
• 유니버설 집합의 새로운 정의와 이를 효율적으로 계산할 수 있는 알고리즘을 도입하여 FT 샘플링 기법의 결정론화를 가능하게 한다.
• 랜덤 샘플링을 통한 간선 분해를 사용하여 λ-간선연결 그래프를 μ개의 부분그래프로 분할하며, 각 부분그래프는 Θ(log n / ε²)의 연결성을 가지게 하여 독립적인 처리를 가능하게 한다.
• 로그 스트레치를 가진 초희소 고장 내성 스파너를 적용하여 O(λn)-간선 희소 증명서를 저라운드 복잡도로 구성한다.
• 저교란 사이클 커버와 샘플링을 조합하여 모든 간선 연결성을 poly(D) · 2^O(√(log n log log n)) 라운드 내에서 계산한다.
• λ-간선연결 그래프 G에 대해 f = λ−1인 f-FT-스파너는 스스로 λ-간선연결임을 증명함으로써, 스파너와 연결성 증명서 사이의 핵심적 연결 고리를 확립한다.

실험 결과

연구 질문

• RQ1 상수 간선 연결성 λ를 가진 그래프에서 CONGEST 모델 내에서 최소 컷을 poly(D) 라운드 내에 계산할 수 있는가?
• RQ2 기존의 랜덤화 알고리즘을 유지하면서 최소 컷과 희소 증명서에 대해 결정론화할 수 있는가, 그리고 라운드 복잡도를 유지할 수 있는가?
• RQ3 λ ≥ 4인 λ-간선연결 그래프에 대해 (1−ε)λ-희소 증명서를 구성하는 데 있어 최적의 라운드 복잡도는 무엇인가?
• RQ4 상수 연결성 값을 가진 그래프에서 모든 간선 연결성을 하향선형 시간 내에 계산할 수 있는가?
• RQ5 고장 내성 스파너 구축 기법을 어떻게 재사용하여 희소 연결성 증명서를 도출할 수 있는가?

주요 결과

• 논문은 상수 λ에 대해 최소 컷을 poly(D) 라운드 내에서 계산하는 열린 문제를 해결하며, 이를 위한 최초의 알고리즘을 제시한다.
• 최소 컷을 계산하는 최초의 결정론적 분산 알고리즘을 제시하며, 최고의 알려진 랜덤화 알고리즘과 동일한 라운드 복잡도를 확보한다.
• (1−ε)λ-희소 증명서의 구성은 O(1/ε² · log²⁺ᵒ⁽¹⁾n) 라운드 내에서 이루어지며, D에 종속되지 않고 n에 대해 하향선형이므로 이전의 O(D) 기준에 비해 크게 향상되었다.
• λ = Ω(log n)인 그래프의 경우, (1−ε)λ-희소 증명서를 O(1/ε² · log²⁺ᵒ⁽¹⁾n) 라운드 내에서 계산할 수 있으며, 이는 라운드 복잡도에서 λ에 대한 의존성을 제거한다.
• 이 방법은 상수 연결성을 가진 그래프에서 모든 간선 연결성을 계산하는 최초의 하향선형 알고리즘을 가능하게 하며, poly(D) · 2^O(√(log n log log n)) 라운드 내에서 수행된다.
• 고장 내성 스파너와 희소 연결성 증명서 사이의 밀접한 연결 고리를 확립하였으며, f = λ−1인 f-FT-스파너는 λ-간선연결임을 보였다.