[論文レビュー] Exact bounds for distributed graph colouring

Joel Rybicki, Jukka Suomela|arXiv (Cornell University)|Feb 17, 2015

Complexity and Algorithms in Graphs参考文献 18被引用数 6

ひとこと要約

本稿は、有向パスにおける分散3彩色の正確な時間計算量の下限を確立し、$ n $ の無限個の値に対して、時間計算量が正確に $ \frac{1}{2}\log^{*}n $ ラウンドであることを証明している。これは、後続グラフと彩色数の分析をコンピュータ支援証明を用いて行い、長年の上界と下界のギャップを解消した。

ABSTRACT

We prove exact bounds on the time complexity of distributed graph colouring. If we are given a directed path that is properly coloured with $n$ colours, by prior work it is known that we can find a proper 3-colouring in $\frac{1}{2} \log^*(n) \pm O(1)$ communication rounds. We close the gap between upper and lower bounds: we show that for infinitely many $n$ the time complexity is precisely $\frac{1}{2} \log^* n$ communication rounds.

研究の動機と目的

• 分散有向パスにおける3彩色の既知の上界と下界のギャップを埋める。
• 同期分散モデルにおける $ n $ 色から3色への彩色の還元の正確な時間計算量の境界を確立する。
• Naor–Stockmeyerアルゴリズムが近似的に最適である一方で、Cole–Vishkinアルゴリズムは非最適であることを示す。
• 後続グラフの彩色数を用いた、下界を証明するための新しいコンピュータ支援手法を開発・適用する。

提案手法

• 片側アルゴリズム ($ T(n,c) $) の分析により、両側アルゴリズム ($ C(n,c) $) の境界を、恒等式 $ C(n,3) = \lceil T(n,3)/2 \rceil $ を用いて導出する。
• コンピュータ探索を用いて、特に $ \mathcal{S}_2^* $ を含む後続グラフ $ \mathcal{S}_k $ の彩色数を計算し、$ T(n,3) $ の境界を求める。
• Linialの高速化補題の変形版を適用し、$ T(n,3) $ の下界を導出するが、重要なグラフの検証はコンピュータを用いて行う。
• 55ノードの密集した後続グラフ $ \mathcal{S}_2^* $ を構築し、その16彩色可能性から $ T(n,16) \leq T(n,3) - 2 $ を導出する。
• 近傍グラフ（例：$ \mathcal{N}_{7,1} $）の彩色数を用いて、$ T(16,3) \geq 3 $ を証明し、下界の導出における重要なステップを達成する。
• 理論的境界と計算的検証を統合し、無限個の $ n $ に対して正確な結果を得る。

実験結果

リサーチクエスチョン

• RQ1 有向パスに $ n $ 色を用いた分散3彩色の正確な時間計算量は何か？
• RQ2 この問題に対して、既知の $ \frac{1}{2}\log^{*}n \pm O(1) $ の境界のギャップを埋められるか？
• RQ3 Naor–Stockmeyerによる彩色還元アルゴリズムは最適か、それ以上の tightened 界を示せるか？
• RQ4 後続グラフのコンピュータ支援的分析により、すべての $ n $ に対して $ T(n,3) $ の改善された下界を得られるか？

主な発見

• 無限個の $ n $ に対して、有向パスにおける分散3彩色の時間計算量は正確に $ \frac{1}{2}\log^{*}n $ ラウンドである。
• 本稿は、55ノードの後続グラフの彩色数のコンピュータ検証を用いて、$ T(16,3) \geq 3 $ を証明した。
• また、$ T(n,16) \leq T(n,3) - 2 $ を確立し、大規模な $ n $ に対する $ T(n,3) $ のよりタイトな境界を得た。
• 上界は $ \left\lceil \frac{1}{2}(\log^{*}n + 1) \right\rceil $、下界は $ \left\lceil \frac{1}{2}(\log^{*}n - 1) \right\rceil $ であり、正確な値に非常に近い。
• 結果として、Naor–Stockmeyerアルゴリズムが近似的に最適である一方で、Cole–Vishkinアルゴリズムは非最適であることが示された。
• 本研究は、後続グラフの彩色数を用いて漸近的下界を導出する新しい手法を導入し、SATソルバーや計算探索を用いて検証された。