[논문 리뷰] Distributed Symmetry Breaking in Hypergraphs

Shay Kutten, Danupon Nanongkai외 2명|arXiv (Cornell University)|2014. 05. 07.

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

한 줄 요약

이 논문은 초그래프에서 기본적인 대칭성 깨뜨리기 문제를 위한 최초의 빠른 랜덤화 분산 알고리즘을 제안한다. LOCAL 모델에서 최대 독립 집합(MIS)에 대해 $O(\log^2 n)$라운드 알고리즘을 제시하고, CONGEST 모델에서 임의의 $\epsilon > 0$에 대해 $O(\Delta^{\epsilon} \operatorname{polylog} n)$라운드 알고리즘을 제시한다. 주요 기여는 초그래프의 MIS가 효율적으로 해결될 수 있음을 보여주며, 이는 균형 잡힌 최소 지배 집합(BMDS) 및 최소 연결 지배 집합(MCDS)과 같은 그래프 문제에 대한 빠른 알고리즘을 가능하게 한다.

ABSTRACT

Fundamental local symmetry breaking problems such as Maximal Independent Set (MIS) and coloring have been recognized as important by the community, and studied extensively in (standard) graphs. In particular, fast (i.e., logarithmic run time) randomized algorithms are well-established for MIS and $Δ+1$-coloring in both the LOCAL and CONGEST distributed computing models. On the other hand, comparatively much less is known on the complexity of distributed symmetry breaking in {\em hypergraphs}. In particular, a key question is whether a fast (randomized) algorithm for MIS exists for hypergraphs. In this paper, we study the distributed complexity of symmetry breaking in hypergraphs by presenting distributed randomized algorithms for a variety of fundamental problems under a natural distributed computing model for hypergraphs. We first show that MIS in hypergraphs (of arbitrary dimension) can be solved in $O(\log^2 n)$ rounds ($n$ is the number of nodes of the hypergraph) in the LOCAL model. We then present a key result of this paper --- an $O(Δ^ε ext{polylog}(n))$-round hypergraph MIS algorithm in the CONGEST model where $Δ$ is the maximum node degree of the hypergraph and $ε> 0$ is any arbitrarily small constant. To demonstrate the usefulness of hypergraph MIS, we present applications of our hypergraph algorithm to solving problems in (standard) graphs. In particular, the hypergraph MIS yields fast distributed algorithms for the {\em balanced minimal dominating set} problem (left open in Harris et al. [ICALP 2013]) and the {\em minimal connected dominating set problem}. We also present distributed algorithms for coloring, maximal matching, and maximal clique in hypergraphs.

연구 동기 및 목표

• 초그래프에서 대칭성 깨뜨리기 문제의 분산 복잡도에 대한 이해 격차를 메우기 위해, 특히 최대 독립 집합(MIS)에 대해.
• MIS, 색칠, 최대 매칭, 최대 클리크와 같은 기본적인 초그래프 문제에 대해 효율적인 랜덤화 분산 알고리즘을 개발하기 위해.
• 표준 그래프에서 고전적인 문제, 예를 들어 균형 잡힌 최소 지배 집합(BMDS) 및 최소 연결 지배 집합(MCDS)을 해결하기 위해 초그래프 알고리즘의 유용성을 탐색하기 위해.
• CONGEST 모델에서 다항로그 시간 내에 해결 가능한 문제들(예: 색칠)과 여전히 도전적인 문제들(예: MIS, 히팅 세트) 사이의 이분법적 성격을 조사하기 위해.

제안 방법

• 초그래프를 위한 새로운 분산 계산 모델을 제안하여, 정점 중심 표현과 서버-클라이언트 표현을 구분한다.
• 초모서리 수준의 조율을 사용한 루비 알고리즘의 변형을 활용하여, LOCAL 모델에서 $O(\log^2 n)$라운드 MIS 알고리즘을 설계한다.
• 문제를 선 그래프로 환원하고 효율적인 메시지 전달을 통해 루비 알고리즘을 시뮬레이션하여, CONGEST 모델에서 $O(\Delta^{\epsilon} \operatorname{polylog} n)$라운드 MIS 알고리즘을 개발한다.
• 초그래프에서 $(\Delta+1)$-색칠 문제를 간선 압축을 통해 표준 그래프 색칠 문제로 환원함을 증명하여, LOCAL 및 CONGEST 모델 모두에서 $O(\left(\log n\right))$라운드 해결책을 가능하게 한다.
• 초그래프에서 최대 매칭 문제를 선 그래프에서의 MIS 문제로 환원함으로써, 루비 알고리즘의 시뮬레이션을 통해 $O(\log n)$라운드 해결책을 가능하게 한다.
• 초그래프 MIS 알고리즘을 활용하여, 표준 그래프에서 BMDS 및 MCDS 문제에 대해 빠른 분산 알고리즘을 구성하기 위해, 이를 초그래프 문제로 모델링한다.

실험 결과

연구 질문

• RQ1 CONGEST 모델 하에서 초그래프에서 MIS에 대해 다항로그 시간 라운드를 달성할 수 있는 빠른(다항로그 시간) 랜덤화 알고리즘이 존재하는가?
• RQ2 초그래프에서 기본적인 대칭성 깨뜨리기 문제들, 예를 들어 색칠, 최대 매칭, 최대 클리크의 분산 복잡도는 무엇인가?
• RQ3 초그래프 알고리즘을 활용하여 표준 그래프에서 고전적인 문제들에 대해 더 빠른 분산 알고리즘을 설계할 수 있는가?
• RQ4 초그래프 문제의 복잡도에 기본적인 이분법적 성격이 존재하는가? 특히 CONGEST 모델에서 색칠 문제처럼 다항로그 시간 내에 해결 가능한 문제들과 MIS처럼 해결하기 어려운 문제들 사이에.
• RQ5 CONGEST 모델 하에서 고차원 초그래프에서 MIS에 대해 초다항로그 하한선을 증명할 수 있는가?

주요 결과

• LOCAL 모델에서 초그래프의 MIS에 대해 $O(\log^2 n)$라운드 랜덤화 알고리즘을 달성하였으며, 이는 표준 그래프에서의 최고 성능과 일치한다.
• CONGEST 모델에서 임의의 $\epsilon > 0$에 대해 $O(\Delta^{\epsilon} \operatorname{polylog} n)$라운드 MIS 알고리즘을 제시하였으며, 이는 다항로그 한계에 가까운 중요한 단계이다.
• 초그래프에서 $(\Delta+1)$-색칠 문제의 복잡도가 표준 그래프와 동일하게 간주될 수 있음을 입증하였으며, 이는 LOCAL 및 CONGEST 모델 모두에서 $O(\left(\log n\right))$라운드 내로 해결 가능하다.
• CONGEST 모델에서 초그래프의 최대 매칭 문제는 선 그래프에서의 MIS 문제로 환원되어 $O(\log n)$라운드 내로 해결 가능하다.
• 초그래프 MIS 알고리즘을 통해 표준 그래프에서 균형 잡힌 최소 지배 집합(BMDS) 및 최소 연결 지배 집합(MCDS) 문제에 대해 최초의 빠른 분산 알고리즘을 구성할 수 있다.
• 결과는 CONGEST 모델에서 복잡도의 이분법적 성격을 시사한다: 색칠 및 최대 매칭과 같은 문제들은 다항로그 시간 내에 해결 가능하지만, MIS 및 관련 문제들은 여전히 다항로그 시간 내에 해결하기 어려운 것으로 보인다.