[논문 리뷰] Distributed Minimum Cut Approximation

Mohsen Ghaffari, Fabian Kühn|arXiv (Cornell University)|2013. 05. 23.

Complexity and Algorithms in Graphs참고 문헌 16인용 수 27

한 줄 요약

이 논문은 CONGEST 모델에서 가중치가 부여된 그래프의 최소 간선 컷을 근사하기 위한 두 가지 분산 알고리즘을 제안하며, 거의 최적의 시간 복잡도를 달성한다. 첫 번째 알고리즘은 새로운 랜덤 레이어링 기법을 사용하여 간선을 샘플링하고, O(ε⁻¹λ) 크기의 컷을 O(D) + Õ(n^{1/2+ε}) 라운드 내에서 찾는다. 두 번째 알고리즘은 Matula의 중심집중식 알고리즘을 변형하여 (2+ε)-근사값을 Õ((D+√n)/ε⁵) 라운드 내에서 달성한다. 이는 기존 알려진 하한선과 거의 일치한다.

ABSTRACT

We study the problem of computing approximate minimum edge cuts by distributed algorithms. We use a standard synchronous message passing model where in each round, $O(\log n)$ bits can be transmitted over each edge (a.k.a. the CONGEST model). We present a distributed algorithm that, for any weighted graph and any $ε\in (0, 1)$, with high probability finds a cut of size at most $O(ε^{-1}λ)$ in $O(D) + ilde{O}(n^{1/2 + ε})$ rounds, where $λ$ is the size of the minimum cut. This algorithm is based on a simple approach for analyzing random edge sampling, which we call the random layering technique. In addition, we also present another distributed algorithm, which is based on a centralized algorithm due to Matula [SODA '93], that with high probability computes a cut of size at most $(2+ε)λ$ in $ ilde{O}((D+\sqrt{n})/ε^5)$ rounds for any $ε>0$. The time complexities of both of these algorithms almost match the $ ildeΩ(D + \sqrt{n})$ lower bound of Das Sarma et al. [STOC '11], thus leading to an answer to an open question raised by Elkin [SIGACT-News '04] and Das Sarma et al. [STOC '11]. Furthermore, we also strengthen the lower bound of Das Sarma et al. by extending it to unweighted graphs. We show that the same lower bound also holds for unweighted multigraphs (or equivalently for weighted graphs in which $O(w\log n)$ bits can be transmitted in each round over an edge of weight $w$), even if the diameter is $D=O(\log n)$. For unweighted simple graphs, we show that even for networks of diameter $ ilde{O}(\frac{1}λ\cdot \sqrt{\frac{n}{αλ}})$, finding an $α$-approximate minimum cut in networks of edge connectivity $λ$ or computing an $α$-approximation of the edge connectivity requires $ ildeΩ(D + \sqrt{\frac{n}{αλ}})$ rounds.

연구 동기 및 목표

• 대규모 네트워크에서 최소 간선 컷을 근사하는 데 효율적인 분산 알고리즘을 설계하는 데 있어 열려 있는 문제를 해결하기 위해.
• 분산 최소 컷 근사에 대해 알려진 최상의 상한선과 기존 하한선 사이의 격차를 좁히기 위해.
• Das Sarma 등이 제시한 하한선을 무게 없는 다중 그래프와 단순 그래프로 확장하여 분산 계산의 이론적 한계를 강화하기 위해.
• 최소 컷 문제를 넘어선 응용에 적용 가능한, 분산 환경에서의 랜덤 간선 샘플링을 분석하기 위한 새로운 분석 프레임워크—랜덤 레이어링—을 개발하기 위해.

제안 방법

• 랜덤으로 샘플된 부분그래프의 연결성 특성을 분석하기 위해 새로운 랜덤 레이어링 기법을 제안하며, p = Ω(log n / λ) 확률로 간선을 샘플링할 경우 높은 확률로 연결성을 유지함을 증명한다.
• p = Θ(log n / λ) 확률로 간선을 샘플링하고 국소 계산을 통해 작은 컷을 식별하는 분산 알고리즘을 설계하며, 이는 O(D) + Õ(n^{1/2+ε}) 라운드 내에서 수행된다.
• Matula의 중심집중식 (2+ε)-근사 알고리즘과 Thurimella의 희소 간선 연결성 증명서, Karger의 랜덤 스퍼스피케이션을 조합하여, 시간 복잡도 Õ((D+√n)/ε⁵)를 갖는 두 번째 알고리즘을 설계한다.
• 분산 최소 컷 근사에 대한 하한선을 확립하기 위해 집합의 상호배타성 문제에서의 감소를 활용하여 어려운 인스턴스를 구성한다.
• 노드를 클리크로, 간선을 완전 이분 그래프 또는 단일 간선으로 대체하여 하한선 구성 기법을 무게 없는 다중 그래프와 단순 그래프로 변형하며, 간선 연결성과 지름 성질을 유지한다.
• 수직 연결성을 클리크 간에 추가하여 지름을 O(D')로 유지하면서도 이러한 연결 수를 λ로 제한하는 매개변수화된 구성 기법을 사용하여, 엄밀한 하한선 분석을 가능하게 한다.

실험 결과

연구 질문

• RQ1 CONGEST 모델에서 알려진 하한선 Ω(D + √n)에 거의 근접하는 시간 내에 최소 간선 컷을 근사하는 분산 알고리즘을 설계할 수 있는가?
• RQ2 분산 최소 컷 계산에서 근사 요인과 시간 복잡도 사이의 최적의 트레이드오프는 무엇인가?
• RQ3 랜덤 레이어링과 같은 새로운 분석 기법을 사용해 분산 환경에서의 랜덤 간선 샘플링을 어떻게 분석할 수 있는가?
• RQ4 가중치가 있는 그래프에 대해 알려진 Ω(D + √n) 하한선이 무게 없는 다중 그래프와 단순 그래프로도 확장되는가?
• RQ5 간선 연결성이 알려져 있지 않은 상황에서도, 최소 컷에 대해 (2+ε)-근사값을 이론적 하한선에 가까운 시간 내에 달성할 수 있는가?

주요 결과

• 첫 번째 알고리즘은 높은 확률로 O(ε⁻¹λ) 이하 크기의 컷을 O(D) + Õ(n^{1/2+ε}) 라운드 내에서 계산하며, 이는 Ω(D + √n) 하한선과 거의 일치한다.
• 두 번째 알고리즘은 Õ((D + √n)/ε⁵) 라운드 내에서 (2+ε)-근사값을 달성하며, 이는 이전의 분산 접근 방식보다 향상되었고, 알려진 하한선과 거의 일치한다.
• 논문은 Das Sarma 등이 제시한 하한선을 무게 없는 다중 그래프로 강화하여, 간선 용량이 무게에 따라 변하더라도 Ω(D + √n) 라운드가 필요하다는 것을 보였다.
• 무게 없는 단순 그래프의 경우, α-근사 최소 컷 또는 간선 연결성 계산에 대해, 특정 지름 제약 조건 하에 Ω(D + √(n/(αλ))) 라운드가 필요하다.
• 랜덤 레이어링 기법은 p = Ω(log n / λ)로 간선을 샘플링할 경우 높은 확률로 연결성을 유지함을 보여주는 단순하고 자가 포함된 증명을 제공하며, 이는 알려진 최적 임계값과 정확히 일치한다.
• 하한선을 위한 어려운 인스턴스의 구성은, 간선 연결성 λ가 알려져 있더라도 최소 컷을 인자 α 내에서 근사하기 위해선 Ω(min{k/(B log n), ℓ}) 라운드가 필요하다는 것을 보여주며, 이는 최종적으로 Ω(D + √(n/(αλ)))의 하한선으로 이어진다.