[논문 리뷰] The Locality of Distributed Symmetry Breaking

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

Complexity and Algorithms in Graphs참고 문헌 39인용 수 86

한 줄 요약

이 논문은 대규모 랜덤화 문제를 소규모 다항로그 크기의 구성 요소로 환원함으로써 분산 대칭성 해제에서 유니언 바운드 장벽을 극복하는 새로운 기법을 제안한다. 최대 독립 집합(MIS), 최대 매칭, 정점 색칠 문제에 대해 랜덤화 복잡도에서 처음으로 중요한 개선을 이룩하였으며, 주요 결과로는 $O(\log^2\Delta + 2^{O(\sqrt{\log\log n})})$ 시간에 실행되는 MIS 알고리즘과 $O(\log\Delta + \log^4\log n)$ 시간에 실행되는 증명 가능 최적의 최대 매칭 알고리즘이 포함되어 있다.

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Δ+ 2^{O(\sqrt{\log\log n})})$ time, where $Δ$ 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 Δ\ll 2^{\sqrt{\log n}}$, and comes close to the $Ω(\log Δ)$ lower bound of Kuhn, Moscibroda, and Wattenhofer. - A maximal matching algorithm running in $O(\logΔ+ \log^4\log n)$ time. This is the first significant improvement to the 1986 algorithm of Israeli and Itai. Moreover, its dependence on $Δ$ 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.

연구 동기 및 목표

• 분산 대칭성 해제에서 랜덤화 알고리즘의 효과를 제한하는 근본적인 유니언 바운드 장벽을 극복하기 위해.
• 핵심 분산 문제인 MIS, 최대 매칭, 룰링 세트, 정점 색칠에 대해 더 빠른 랜덤화 알고리즘을 개발하기 위해.
• 특히 차수나 산림성도가 유한한 그래프에 대해 LOCAL 모델에서 증명 가능 최적 또는 근접 최적의 시간 복잡도를 달성하기 위해.
• 대규모 대칭성 해제 문제를 소규모로 관리 가능한 부분 문제로 변환하는 일반적인 환원 프레임워크를 수립하기 위해.
• 랜덤화 복잡도와 결정론적 복잡도 사이의 관계를 명확히 하여, 분산 대칭성 해제에서 내재된 제약 조건을 규명하기 위해.

제안 방법

• 원래의 $n$개 노드로 구성된 대칭성 해제 문제를 랜덤화 전략이 높은 확률로 성공할 수 있는 ${\mathrm{poly}}(\log n)$ 크기의 서로소 부분 문제 집합으로 환원하기 위해.
• 그래프를 저차수 구성 요소로 계층적 분해한 후, 나무 기반 독립 집합 알고리즘을 반복 적용하기 위해.
• 고지름 그래프를 다룰 수 있도록 $\mathsf{TreeIndependentSet}$ 및 $\mathsf{TreeMIS}$ 알고리즘의 수정된 버전을 사용하여 임계값과 반복 횟수를 조정하기 위해.
• 각 구성 요소 내 고차수 이웃 수를 제한하는 새로운 불변량을 도입하여 실패 확률이 유한하게 유지되도록 보장하기 위해.
• 최대 차수 $O(\log n)$인 부분그래프는 기존 기법을 활용해 $2^{O(\sqrt{\log\log n})}$ 시간 내에 해결할 수 있음을 활용하기 위해.
• 구조적 분해를 통해 저산림성도 그래프의 대칭성 해제 문제를 저차수 그래프로 환원하여 희박한 그래프에서 더 빠른 알고리즘을 가능하게 하기 위해.

실험 결과

연구 질문

• RQ1 랜덤화 알고리즘을 사용해 LOCAL 모델에서 MIS에 대해 $\Omega(\log \Delta)$ 하한선을 뛰어넘을 수 있는가?
• RQ2 랜덤화 LOCAL 모델에서 최대 매칭에 대해 $\Delta$에 대한 증명 가능한 최적 의존도를 달성할 수 있는가?
• RQ3 $(\Delta+1)$-색칠 문제의 복잡도를 $O(\log \Delta + \sqrt{\log n})$ 이하로 낮출 수 있는가?
• RQ4 유니언 바운드 장벽은 랜덤화 대칭성 해제를 본질적으로 제한하는가? 만약 그렇다면 이를 극복할 수 있는가?
• RQ5 일반 그래프에서 MIS 및 최대 매칭에 대해 $o(\log n)$ 시간 알고리즘을 달성할 수 있는가?

주요 결과

• MIS 알고리즘은 $O(\log^2\Delta + 2^{O(\sqrt{\log\log n})})$ 시간에 실행되며, $\log n \ll \Delta \ll 2^{\sqrt{\log n}}$ 조건에서 1986년 Luby–Alon–Babai–Itai 알고리즘보다 향상된다.
• 최대 매칭 알고리즘은 $O\left(\log\Delta + \log^4\log n\right)$ 시간에 실행되며, 1986년 Israeli–Itai 알고리즘 이후 처음으로 중요한 개선을 이룩했고 $\Delta$에 대한 최적 의존도를 달성한다.
• $(\Delta+1)$-색칠 알고리즘은 $O\left(\log\Delta + 2^{O(\sqrt{\log\log n})}\right)$ 시간에 실행되며, 이전의 $O\left(\log\Delta + \sqrt{\log n}\right)$ 한계를 향상시킨다.
• 산림성도가 $2^{\sqrt{\log n}}$ 이하인 그래프에서는 저차수 그래프로의 환원을 통해 최대 매칭 알고리즘이 $O\left(\sqrt{\log n}\right)$ 시간에 실행된다.
• 산림성도가 $2^{(\log n)^{1/3}}$ 이하인 그래프에서는 동일한 환원 기법을 사용해 MIS 알고리즘이 $O\left(\log^{2/3}n\right)$ 시간에 실행된다.
• 논문은 유니언 바운드가 근본적인 장벽임을 규명하고, 랜덤화 복잡도가 결정론적 복잡도와 연결되어 있음을 추측하며, $2^{O(\sqrt{\log\log n})}$ 항목이 결정론적 개선 없이 피할 수 없다고 주장한다.