[논문 리뷰] Locally-Iterative Distributed (Delta + 1)-Coloring below Szegedy-Vishwanathan Barrier, and Applications to Self-Stabilization and to Restricted-Bandwidth Models

Leonid Barenboim, Michael Elkin외 1명|arXiv (Cornell University)|2017. 12. 01.

Distributed systems and fault tolerance참고 문헌 57인용 수 4

한 줄 요약

이 논문은 $O(\Delta + \log^* n)$ 라운드 내에 실행되는 국소 반복적 $(\Delta+1)$-색칠 알고리즘을 제안하며, 이러한 알고리즘에 대해 오랫동안 유지되어 온 Szegedy-Vishwanathan 장벽인 $\Omega(\Delta\log\Delta + \log^* n)$ 을 뛰어넘는다. 새로운 3차원 색상 집계 기법과 단계 기반 정밀 조정 과정을 도입함으로써 분산 환경에서 더 빠른 수렴을 달성하였으며, 이는 향상된 자기안정성, 대역폭 제약, 동적 알고리즘을 가능하게 한다.

ABSTRACT

We consider graph coloring and related problems in the distributed message-passing model. {Locally-iterative algorithms} are especially important in this setting. These are algorithms in which each vertex decides about its next color only as a function of the current colors in its 1-hop neighborhood. In STOC'93 Szegedy and Vishwanathan showed that any locally-iterative (Delta+1)-coloring algorithm requires Omega(Delta log Delta + log^* n) rounds, unless there is "a very special type of coloring that can be very efficiently reduced" \cite{SV93}. In this paper we obtain this special type of coloring. Specifically, we devise a locally-iterative (Delta+1)-coloring algorithm with running time O(Delta + log^* n), i.e., {below} Szegedy-Vishwanathan barrier. This demonstrates that this barrier is not an inherent limitation for locally-iterative algorithms. As a result, we also achieve significant improvements for dynamic, self-stabilizing and bandwidth-restricted settings: - We obtain self-stabilizing distributed algorithms for (Delta+1)-vertex-coloring, (2Delta-1)-edge-coloring, maximal independent set and maximal matching with O(Delta+log^* n) time. This significantly improves previously-known results that have O(n) or larger running times \cite{GK10}. - We devise a (2Delta-1)-edge-coloring algorithm in the CONGEST model with O(Delta + log^* n) time and in the Bit-Round model with O(Delta + log n) time. Previously-known algorithms had superlinear dependency on Delta for (2Delta-1)-edge-coloring in these models. - We obtain an arbdefective coloring algorithm with running time O(\sqrt Delta + log^* n). We employ it in order to compute proper colorings that improve the recent state-of-the-art bounds of Barenboim from PODC'15 \cite{B15} and Fraigniaud et al. from FOCS'16 \cite{FHK16} by polylogarithmic factors. - Our algorithms are applicable to the SET-LOCAL model of \cite{HKMS15}.

연구 동기 및 목표

• Szegedy와 Vishwanathan가 확립한 국소 반복적 $(\Delta+1)$-색칠에 대한 $\Omega(\Delta\log\Delta + \log^* n)$ 하한을 극복하기 위해.
• 이 장벽 이하에서 $(\Delta+1)$-색칠을 달성하는 국소 반복 알고리즘을 설계하여, 이것이 본질적인 제한이 아니라는 것을 입증하기 위해.
• 새로운 색칠 접근법을 활용해 더 빠른 자기안정성, 동적, 제한된 대역폭 분산 알고리즘을 가능하게 하기 위해.
• 이전에 효율적인 알고리즘이 제한되었던 SET-LOCAL 모델로의 적용 범위를 확장하기 위해.

제안 방법

• 각 정점이 색상 정보를 인코딩하고 갈등을 해결하기 위해 삼중항 $\langle c_v, b_v, a_v \rangle$ 을 유지하는 3차원 색상 집계(3AG) 메커니즘을 도입한다.
• 단계 기반 정밀 조정 과정을 활용: 정점들이 $O(\Delta)$ 라운드 동안 $b$-값과 $a$-값을 순차적으로 최종화함으로써 최종 색칠에서 갈등이 발생하지 않도록 보장한다.
• 3AG 알고리즘에서 이중 단계 전략을 적용: 먼저 $3\Delta+1$ 라운드 동안 $b$-값을 안정화하고, 그 후 $2\Delta+1$ 라운드 동안 $a$-값을 최종화한다.
• 색상 수축 기법을 활용해 $p \geq (1+\epsilon)\Delta$ 인 $p$-색상 팔레트를 사용함으로써, $O(\frac{1}{\epsilon} \cdot p)$-라운드 내에 적절한 $p$-색칠에 수렴한다.
• arbdefective 색칠을 서브루틴으로 활용하여 $(1+\epsilon)\Delta$-색칠을 $O(\sqrt{\Delta} + \log^* n)$ 시간 내에 계산한다.
• 알고리즘을 SET-LOCAL 모델에 적응시켜, 이 제한적인 모델에서 처음으로 $\Delta$에 대해 선형인 $(\Delta+1)$-색칠 알고리즘을 달성한다.

실험 결과

연구 질문

• RQ1 국소 반복적 $(\Delta+1)$-색칠 알고리즘이 $o(\Delta\log\Delta)$ 시간 내에 수행 가능할 수 있는가, 이를 통해 Szegedy-Vishwanathan 장벽을 뛰어넘을 수 있는가?
• RQ2 ‘특수 색칠’이 필요하지 않도록 하는 구체적인 방법이 존재하는가, 이로 인해 장벽이 강화되는 것을 피할 수 있는가?
• RQ3 새로운 알고리즘이 자기안정성, 동적, 저대역폭 분산 모델에 적응되어 더 높은 효율성을 달성할 수 있는가?
• RQ4 이 알고리즘이 이전에 몇몇 알고리즘만 작동했던 SET-LOCAL 모델에서도 작동하도록 확장할 수 있는가?

주요 결과

• 논문은 국소 반복 알고리즘을 사용해 $O(\Delta + \log^* n)$ 라운드 내에 $(\Delta+1)$-색칠을 달성하며, $\Omega(\Delta\log\Delta + \log^* n)$ 하한을 돌파한다.
• 자기안정성 알고리즘은 $(\Delta+1)$-정점 색칠, $(2\Delta-1)$-간선 색칠, 최대 독립 집합, 최대 매칭에 대해 $O(\Delta + \log^* n)$ 시간 내에 실행되며, 이는 이전의 $O(n)$ 상한보다 향상된 것이다.
• CONGEST 모델에서 $(2\Delta-1)$-간선 색칠이 $O(\Delta + \log^* n)$ 시간 내에 계산되며, $\log^* n$ 는 피할 수 없다.
• Bit-Round 모델에서 $O(\Delta)$-간선 색칠이 $O(\Delta + \log n)$ 시간 내에 계산되며, $\log n$ 는 피할 수 없다.
• arbdefective 색칠이 $O(\sqrt{\Delta} + \log^* n)$ 시간 내에 계산되며, 이는 동일한 시간 범위 내에 적절한 $(1+\epsilon)\Delta$-색칠을 가능하게 한다.
• SET-LOCAL 모델에서 처음으로 $\Delta$에 대해 선형인 $(\Delta+1)$-색칠 알고리즘이 작동함을 보여주며, 이 모델에 대한 알려진 $\Omega(\Delta^{1/3})$ 하한을 극복한다.