[논문 리뷰] Distributed coloring of graphs with an optimal number of colors

Étienne Bamas, Louis Esperet|arXiv (Cornell University)|2018. 09. 21.

Complexity and Algorithms in Graphs인용 수 3

한 줄 요약

이 논문은 최대 차수 Δ인 그래프를 c ≥ Δ − kΔ + 1 색으로 다각도적으로 최적화된 분산 랜덤 알고리즘을 제시한다. 이 알고리즘은 높은 확률로 다항로그 시간 내에 작동하며, kΔ ≈ √Δ − 2이다. 알고리즘은 높은 확률로 min{O((log Δ)^{1/12} log n), 2^{O(log Δ + √log log n)}} 라운드 내에서 작동하며, 최적의 색 수와 거의 최적의 라운드 복잡도를 달성한다. LOCAL 모델에서 처리 가능한 경우와 불가능한 경우를 분리하는 날카운 임계점 Δ − kΔ + 1을 제공한다.

ABSTRACT

This paper studies sufficient conditions to obtain efficient distributed algorithms coloring graphs optimally (i.e.\ with the minimum number of colors) in the LOCAL model of computation. Most of the work on distributed vertex coloring so far has focused on coloring graphs of maximum degree $\Delta$ with at most $\Delta+1$ colors (or $\Delta$ colors when some simple obstructions are forbidden). When $\Delta$ is sufficiently large and $c\ge \Delta-k_\Delta+1$, for some integer $k_\Delta\approx \sqrt{\Delta}-2$, we give a distributed algorithm that given a $c$-colorable graph $G$ of maximum degree $\Delta$, finds a $c$-coloring of $G$ in $\min\{O((\log\Delta)^{1/12}\log n), 2^{O(\log \Delta+\sqrt{\log \log n})}\}$ rounds, with high probability. The lower bound $\Delta-k_\Delta+1$ is best possible in the sense that for infinitely many values of $\Delta$, we prove that when $\chi(G)\le \Delta -k_\Delta$, finding an optimal coloring of $G$ requires $\Omega(n)$ rounds. Our proof is a light adaptation of a remarkable result of Molloy and Reed, who proved that for $\Delta$ large enough, for any $c\ge \Delta - k_\Delta$ deciding whether $\chi(G)\le c$ is in { extsf{P}}, while Embden-Weinert \emph{et al.}\ proved that for $c\le \Delta-k_\Delta-1$, the same problem is { extsf{NP}}-complete. Note that the sequential and distributed thresholds differ by one. We also show that for any sufficiently large $\Delta$, and $\Omega(\log \Delta)\le k \le \Delta/100$, every graph of maximum degree $\Delta$ and clique number at most $\Delta-k$ can be efficiently colored with at most $\Delta-\varepsilon k$ colors, for some absolute constant $\varepsilon >0$, with a randomized algorithm running in $O(\log n/\log \log n)$ rounds with high probability.

연구 동기 및 목표

• 최대 차수 Δ인 그래프의 효율적 분산 색칠이 가능한 최적의 색 수 c를 결정하는 것.
• 특히 크로마틱 수 임계점 Δ − kΔ 근처에서 순차적 및 분산 복잡도 임계점 간 격차를 메우는 것.
• c ≥ Δ − kΔ + 1 색으로 최적의 색칠을 거의 최적의 라운드 복잡도로 달성하는 분산 알고리즘을 설계하는 것.
• c ≤ Δ − kΔ − 1일 경우 최적의 색칠이 Ω(n/Δ) 라운드가 필요하다는 엄밀한 하한을 증명하여 임계점이 날카로운지 확인하는 것.

제안 방법

• O(log n) 라운드 내에서 계산 가능한 d-밀도 분해를 사용하여 그래프를 밀도 높은 부분과 희소한 부분으로 국소적으로 분해한다.
• 분산적으로 루바슈의 국소 렘마(Lovász Local Lemma, LLL)를 적용하여 c 색으로 부분 그래프 F를 색칠하며, LLL를 O((log Δ)^{13/12})번 적용한다.
• 이전 연구에서 존재하는 순차적 의존성을 피하기 위해 수정된 c-축소 과정을 사용하여 그래프의 구조를 단순화한다.
• 그리디 확장 과정을 통해 부분 그래프 H의 국소적이고 효율적인 부분 색칠을 전체 그래프 G로 확장한다.
• (deg+1)-리스트 색칠 알고리즘과 LLL 알고리즘의 라운드 복잡도를 조합하여 총 복잡도를 O(T_{deg+1}(n,Δ)) + O((log Δ)^{13/12}) · T_{LLL}(n, poly Δ)로 유도한다.
• LLL 적용 시 농도 경계의 정교한 분석을 통해 반복 횟수를 다항식에서 Δ에 대해 다항로그로 감소시킨다.

실험 결과

연구 질문

• RQ1 최대 차수 Δ인 그래프에 대해 다항로그 시간 내에 최적의 분산 색칠이 가능한 최소 색 수 c는 무엇인가?
• RQ2 분산 처리 가능성의 임계점이 순차적 임계점과 어떻게 비교되며, 왜 색 수가 하나 차이 나는가?
• RQ3 특히 c-리듀서가 존재할 경우, 순차적 의존성이 없는 효율적인 최적의 분산 색칠 알고리즘을 어떻게 구현할 수 있는가?
• RQ4 c ≤ Δ − kΔ − 1일 경우 최적의 색칠에 대한 라운드 복잡도 하한은 무엇이며, 상한과 비교해보면 어떻게 되는가?

주요 결과

• 알고리즘은 c ≥ Δ − kΔ + 1일 경우 높은 확률로 min{O((log Δ)^{1/12} log n), 2^{O(log Δ + √log log n)}} 라운드 내에서 최적의 c-색칠을 달성한다.
• 임계점 Δ − kΔ + 1는 날카롭다: c ≤ Δ − kΔ − 1일 경우 어떤 분산 알고리즘도 Ω(n/Δ) 라운드가 필요하며, 이는 비처리 가능성의 증명이다.
• 무한히 많은 Δ 값에 대해 c = Δ − kΔ일 경우, 최적의 색칠에 Ω(n) 라운드가 필요한 그래프가 존재하며, 이는 임계점의 날카로움을 확인한다.
• c ≥ Δ − kΔ + 1 조건을 활용하여 순차적 c-축소 단계를 피함으로써 완전히 국소적이고 효율적인 계산이 가능해진다.
• 라운드 복잡도는 주로 LLL 및 (deg+1)-리스트 색칠 구성요소에 의해 지배되며, 정교한 농도 분석을 통해 LLL 적용 횟수를 O((log Δ)^{13/12}) 라운드로 감소시켰다.
• 유계 차수 케이스(Δ가 상수일 경우)에서는 고급 LLL 기법을 사용해 exp^{(i)}(O(√log^{(i+1)} n))로 복잡도를 추가로 향상시킬 수 있으며, 이는 임의의 i ≤ log*n − 2 log*log*n에 대해 성립한다.