[論文レビュー] An Optimal Distributed $(\Delta+1)$-Coloring Algorithm?

Yi‐Jun Chang, Wenzheng Li+1 more|arXiv (Cornell University)|Nov 3, 2017

Complexity and Algorithms in Graphs被引用数 5

ひとこと要約

この論文は、LOCALモデルにおける$(\Delta+1)$-list彩色のための確率的分散アルゴリズムを提示している。このアルゴリズムは$O(\text{Det}_d(\text{poly } \log n))$時間で実行され、$\text{Det}_d$は$(\text{deg}+1)$-list彩色の決定的複雑度を表す。既知の$\Omega(\text{Det}(\text{poly } \log n))$の確率的下界と一致させることで、現在の境界下で、この問題に対する確率的と決定的複雑度のギャップを初めて埋めることに成功した。

ABSTRACT

Vertex coloring is one of the classic symmetry breaking problems studied in distributed computing. In this paper we present a new algorithm for $(\Delta+1)$-list coloring in the randomized ${\sf LOCAL}$ model running in $O(\mathsf{Det}_{\scriptscriptstyle d}( ext{poly} \log n))$ time, where $\mathsf{Det}_{\scriptscriptstyle d}(n')$ is the deterministic complexity of $( ext{deg}+1)$-list coloring on $n'$-vertex graphs. (In this problem, each $v$ has a palette of size $ ext{deg}(v)+1$.) This improves upon a previous randomized algorithm of Harris, Schneider, and Su [STOC'16, JACM'18] with complexity $O(\sqrt{\log \Delta} + \log\log n + \mathsf{Det}_{\scriptscriptstyle d}( ext{poly} \log n))$, and, for some range of $\Delta$, is much faster than the best known deterministic algorithm of Fraigniaud, Heinrich, and Kosowski [FOCS'16] and Barenboim, Elkin, and Goldenberg [PODC'18], with complexity $O(\sqrt{\Delta\log \Delta}\log^\ast \Delta + \log^* n)$. Our algorithm "appears to be" optimal, in view of the $\Omega(\mathsf{Det}( ext{poly} \log n))$ randomized lower bound due to Chang, Kopelowitz, and Pettie [FOCS'16], where $\mathsf{Det}$ is the deterministic complexity of $(\Delta+1)$-list coloring. At present, the best upper bounds on $\mathsf{Det}_{\scriptscriptstyle d}(n')$ and $\mathsf{Det}(n')$ are both $2^{O(\sqrt{\log n'})}$ and use a black box application of network decompositions (Panconesi and Srinivasan [Journal of Algorithms'96]). It is quite possible that the true complexities of both problems are the same, asymptotically, which would imply the randomized optimality of our $(\Delta+1)$-list coloring algorithm.

研究の動機と目的

• 分散システムにおける$(\Delta+1)$-list彩色の確率的複雑度と決定的複雑度のギャップを埋めること。
• 先行研究が示唆する理論的下界に一致する、より高速な確率的アルゴリズムを開発すること。
• Harris, Schneider, and Suの$O(\sqrt{\log \Delta} + \log \log n + \text{Det}_d(\text{poly } \log n))$の複雑度を、$\Delta$が大きい場合に特に改善すること。
• $(\text{deg}+1)$-list彩色の決定的複雑度と$(\Delta+1)$-list彩色の決定的複雑度が漸近的に同等であるかどうかを検討すること。

提案手法

• グラフを$\text{poly } \log n$サイズの小さな独立した部分問題に分解する、洗練されたグラフシャッタリング技術を用いる。
• 密度の高いクラスタ内の頂点に対して、確率的解析により色の可用性を保証する方法で、クラスタベースの彩色手順を適用する。
• 頂点の参加しない事象の間の負の相関を利用する、DenseColoringStepアルゴリズムの新規変種を導入する。
• 頂点が色を選択しなかった確率が、その局所的な乱数ビットにのみ依存することを活用し、きめ細かい集中限界を導出する。
• すべての可能な頂点部分集合の和集合を用いたバウンドに依存し、$\delta_j$を局所的なスパarsityと色の可用性の指標として用いる。
• 任意の部分集合$T$における未彩色頂点の数が、サイズ$t$の部分集合に対して$O(\delta)^t$の周囲に集中することを証明し、高速収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 確率的$(\Delta+1)$-list彩色アルゴリズムが、$\Omega(\text{Det}(\text{poly } \log n))$の下界と一致する複雑度を達成できるか。
• RQ2 $(\text{deg}+1)$-list彩色の決定的複雑度と$(\Delta+1)$-list彩色の決定的複雑度が漸近的に同等であるか。
• RQ3 現在の技術を用いて、確率的アルゴリズムにおける$\text{Det}_d(\text{poly } \log n)$項を$O((\log \log n)^2)$未満に低下させられるか。
• RQ4 不規則な次数のグラフにおいて、$\epsilon$-スパース／スパース頂点の定義を直接$(\text{deg}+1)$-list彩色に拡張できない構造的要因は何か。

主な発見

• 提案されたアルゴリズムは$O(\text{Det}_d(\text{poly } \log n))$の実行時間を達成しており、Chang, Kopelowitz, and Pettieが示した$\Omega(\text{Det}(\text{poly } \log n))$の下界を考慮すると、漸近的に最適である。
• 特に$\Delta$が大きい場合に、Harris, Schneider, and Suの$O(\sqrt{\log \Delta} + \log \log n + \text{Det}_d(\text{poly } \log n))$の結果を改善する。
• 任意の部分集合$T$において、$t$個の未彩色頂点が存在する確率が$\binom{|T|}{t} \cdot (O(\delta))^t$で抑えられることを分析により示し、高速収束を保証する。
• 密度の高いクラスタにおける色選択の失敗確率が、局所的な乱数ビットと負の相関に依存することを確立し、きめ細かい集中限界を可能にする。
• 本稿では、$(\text{deg}+1)$-list彩色の現在最良の決定的アルゴリズム（ネットワーク分解に基づくもの）が、$(\Delta+1)$-list彩色の現在最良の確率的複雑度をもたらすことも示している。
• 著者らは、特にパレットが1色しか共有しない場合に、$\epsilon$-スパース／スパース頂点の概念を不規則なグラフに一般化できない根本的な障害を同定した。