[논문 리뷰] Fast Distributed Algorithms for Maximal Matching and Maximal Independent Set

Leonid Barenboim, Michael Elkin외 2명|arXiv (Cornell University)|2012. 02. 09.

Distributed systems and fault tolerance인용 수 1

한 줄 요약

이 논문은 일반 그래프에서의 대칭성 깨기 문제를 다항로그 크기의 그래프에서 등가의 결정론적 문제로 변환하는 새로운 감소 기법을 사용하여, LOCAL 모델에서 최대 독립 집합(MIS)과 최대 매칭에 대한 빠른 확률적 분산 알고리즘을 제시한다. 주요 기여는 $O(\log^2\Delta + 2^{O(\sqrt{\log\log n})})$ 시간에 실행되는 MIS 알고리즘으로, 중간 정도의 차수를 가진 그래프에서 1986년 Luby–Alon–Babai–Itai 알고리즘을 개선하며, $\Omega(\log \Delta)$ 하한과 거의 일치한다.

ABSTRACT

Symmetry breaking problems are among the most well studied in the field of distributed computing and yet the most fundamental questions about their complexity remain open. In this paper we work in the LOCAL model (where the input graph and underlying distributed network are identical) and study the randomized complexity of four fundamental symmetry breaking problems on graphs: computing MISs (maximal independent sets), maximal matchings, vertex colorings, and ruling sets. A small sample of our results includes - An MIS algorithm running in $O(\log^2\Delta + 2^{O(\sqrt{\log\log n})})$ time, where $\Delta$ is the maximum degree. This is the first MIS algorithm to improve on the 1986 algorithms of Luby and Alon, Babai, and Itai, when $\log n \ll \Delta \ll 2^{\sqrt{\log n}}$, and comes close to the $\Omega(\log \Delta)$ lower bound of Kuhn, Moscibroda, and Wattenhofer. - A maximal matching algorithm running in $O(\log\Delta + \log^4\log n)$ time. This is the first significant improvement to the 1986 algorithm of Israeli and Itai. Moreover, its dependence on $\Delta$ is provably optimal. - A method for reducing symmetry breaking problems in low arboricity/degeneracy graphs to low degree graphs. (Roughly speaking, the arboricity or degeneracy of a graph bounds the density of any subgraph.) Corollaries of this reduction include an $O(\sqrt{\log n})$-time maximal matching algorithm for graphs with arboricity up to $2^{\sqrt{\log n}}$ and an $O(\log^{2/3} n)$-time MIS algorithm for graphs with arboricity up to $2^{(\log n)^{1/3}}$. Each of our algorithms is based on a simple, but powerful technique for reducing a randomized symmetry breaking task to a corresponding deterministic one on a poly$(\log n)$-size graph.

연구 동기 및 목표

• 분산 계산에서 기본적인 대칭성 깨기 문제의 확률적 복잡도를 향상시키는 데 오랫동안 미해결된 문제를 해결하기 위해.
• Luby와 Israeli–Itai의 1986년 알고리즘이 수십 년 동안 최고의 성능을 유지해 온 한계를 극복하기 위해.
• 고차수 또는 조밀한 그래프에서의 대칭성 깨기 작업을 저차수, 다항로그 크기의 그래프에서 등가 문제로 감소시키는 일반적인 기법을 개발하기 위해.
• 최대 매칭에 대해 최적의 차수 Δ에 대한 의존도를 확보하고, MIS에 대해 거의 최적의 복잡도를 달성하기 위해.

제안 방법

• 일반 그래프에서의 확률적 대칭성 깨기 문제를 다항로그 크기의 그래프에서 결정론적 문제로 매핑하는 새로운 감소 프레임워크를 도입하기 위해.
• 이 감소 기법을 사용하여 원래 문제를 고차수 문제에서 처리 가능한 저차수 설정으로 변환하기 위해.
• 저산성 또는 열거성( degeneracy )이 낮은 그래프는 저차수 부분그래프로 분해될 수 있음을 활용하여 효율적인 국소 계산이 가능함을 이용하기 위해.
• 감소 기법을 적용하여, 특히 중간 산성( arboricity )을 가진 그래프에서 MIS 및 최대 매칭에 대해 향상된 시간 복잡도를 갖는 알고리즘 유도하기 위해.
• 최대 매칭 알고리즘에서 Δ에 대한 의존도가 최적임을 증명하기 위해 기존 하한과 연관지기 위해.
• 감소 기법을 활용해 산성( arboricity )이 유한한 그래프 클래스로 결과를 확장하여, 이러한 클래스에서 다항식 이하 시간 알고리즘 도출하기 위해.

실험 결과

연구 질문

• RQ1 LOCAL 모델에서 분산 MIS 및 최대 매칭 알고리즘의 1986년 시간 복잡도 장벽을 깨는 것이 가능한가?
• RQ2 임의의 그래프에서의 대칭성 깨기 문제를 작은 저차수 그래프에서 등가 문제로 감소시키는 일반적인 기법을 설계하는 것이 가능한가?
• RQ3 분산 최대 매칭 알고리즘에서 최대 차수 Δ에 대한 최적의 의존도는 무엇이며, 이를 달성할 수 있는가?
• RQ4 산성과 열거성이 분산 환경에서 대칭성 깨기 문제의 복잡도에 어떤 영향을 미치는가?
• RQ5 감소 프레임워크를 사용하여 흩어진 그래프 클래스에서 MIS 및 최대 매칭에 대해 거의 최적의 알고리즘을 도출할 수 있는가?

주요 결과

• 차수 Δ에 대해 $O(\log^2\Delta + 2^{O(\sqrt{\log\log n})})$ 시간에 실행되는 MIS 알고리즘을 제시하였으며, $\log n \ll \Delta \ll 2^{\sqrt{\log n}}$ 조건에서 1986년 Luby–Alon–Babai–Itai 알고리즘을 개선한다.
• 최대 매칭 알고리즘은 $O(\log\Delta + \log^4\log n)$ 시간에 실행되며, 이는 Israeli과 Itai의 1986년 알고리즘 이래로 첫 번째의 의미 있는 개선이다.
• 최대 매칭 알고리즘에서 Δ에 대한 의존도가 최적임을 증명하였으며, 기존의 $\Omega(\log \Delta)$ 하한과 정확히 일치한다.
• 산성이 $2^{\sqrt{\log n}}$ 이하인 그래프에서는 최대 매칭 알고리즘이 $O(\sqrt{\log n})$ 시간에 실행된다.
• 산성이 $2^{(\log n)^{1/3}}$ 이하인 그래프에서는 MIS 알고리즘이 $O(\log^{2/3} n)$ 시간에 실행된다.
• 제안된 감소 기법은 다항로그 크기의 그래프에서 결정론적으로 문제를 해결함으로써 대칭성 깨기 문제에 대한 빠른 알고리즘 도출을 가능하게 한다.