[論文レビュー] An algorithmic framework for colouring locally sparse graphs

Ewan Davies, Ross J. Kang+2 more|arXiv (Cornell University)|Apr 15, 2020

Limits and Structures in Graph Theory参考文献 39被引用数 6

ひとこと要約

この論文は、局所スパースなグラフの効率的な彩色を可能にする、独立集合の局所的確率的性質に着目した、革新的なアルゴリズム的枠組みを提示する。任意の固定された $k \geq 3$ および $ε > 0$ に対して、各頂点が高々 $t \leq \Delta^{2\varepsilon/(1+2\varepsilon)}/(\log\Delta)^2$ 個の $k$-サイクルに属するグラフにおいて、彩色数の境界を $ε$-改善する確率的多項式時間アルゴリズムを提供し、$\lfloor(1+\varepsilon)\Delta/\log(\Delta/\sqrt{t})\rfloor$ 色を達成する。これは、ランダムグラフにおける既知のアルゴリズム的バrierと一致する。

ABSTRACT

We develop an algorithmic framework for graph colouring that reduces the problem to verifying a local probabilistic property of the independent sets. With this we give, for any fixed $k\ge 3$ and $\varepsilon>0$, a randomised polynomial-time algorithm for colouring graphs of maximum degree $Δ$ in which each vertex is contained in at most $t$ copies of a cycle of length $k$, where $1/2\le t\le Δ^\frac{2\varepsilon}{1+2\varepsilon}/(\logΔ)^2$, with $\lfloor(1+\varepsilon)Δ/\log(Δ/\sqrt t) floor$ colours. This generalises and improves upon several notable results including those of Kim (1995) and Alon, Krivelevich and Sudakov (1999), and more recent ones of Molloy (2019) and Achlioptas, Iliopoulos and Sinclair (2019). This bound on the chromatic number is tight up to an asymptotic factor $2$ and it coincides with a famous algorithmic barrier to colouring random graphs.

研究の動機と目的

• グローバルな彩色問題を、独立集合の局所的確率的性質の検証に還元する、一般化されたアルゴリズム的枠組みの開発。
• 特に、頂点ごとの $k$-サイクルが少ないような、局所的密度が制限されたグラフの彩色数に対する既存の境界の改善。
• ランダムグラフにおける既知のアルゴリズム的バrierに、要因2の範囲内で一致する彩色数の境界を達成すること。
• エントロピー圧縮などの現代的な確率的局所探索技法を、スパースなグラフの効率的彩色を目的とした統一的な枠組みに統合すること。

提案手法

• グラフ上でのハードコアモデルを用い、独立集合をファージャシティ $\lambda$ を持つギブス測度としてモデル化し、局所的確率的性質を分析する。
• グローバルな彩色問題を、ハードコアモデルが局所的独立性条件を満たすことを確認することに還元し、それをもとに確率的局所探索アルゴリズムを誘導する。
• 動的計画法を用いて、成分部分グラフ内の最長パスを基に、誘導部分グラフの分配関数 $Z_H(\lambda)$ を計算し、残りの頂点集合における $P_k$-フリー性を活用する。
• グラフの各成分 $F_i$ に対して、最長パス $P_i$ を計算し、その後 $J_i \subset \hat{L}(P_i)$ となる独立集合を走査して条件付き確率を計算し、再帰的に分配関数を更新する。
• ハードコアモデルからのサンプリングは、事前に計算された確率を用いて $\mathbf{I} \cap \hat{L}(P_i)$ をサンプリングし、その後条件付きモデル下で残りのグラフを再帰的にサンプリングすることで実現する。
• 実行時間は $y^{3k^2}(1+q)^{k^3/2}(ck)^{k^3}$ で抑えられ、$k$ が固定されている場合に多項式時間となる。

実験結果

リサーチクエスチョン

• RQ1 独立集合の局所的性質を分析することによって、局所スパースなグラフの彩色を統一的なアルゴリズム的枠組みで実現できるか。
• RQ2 確率論的および局所的解析を用いて、$k$-サイクル密度が制限されたグラフの彩色数をどの程度まで改善できるか。
• RQ3 この枠組みは、スパースで局所的に構造化されたグラフの文脈において、ランダムグラフにおける既知のアルゴリズム的バrierに達しているか。
• RQ4 エントロピー圧縮と確率的局所探索が、効率的グラフ彩色のための枠組みに体系的に統合可能か。

主な発見

• 任意の固定された $k \geq 3$ および $\varepsilon > 0$ に対して、アルゴリズムは $\lfloor(1+\varepsilon)\Delta/\log(\Delta/\sqrt{t})\rfloor$ 色の彩色を確率的多項式時間で計算する。ここで $t$ は頂点ごとの $k$-サイクルの最大数である。
• この境界は、要因2の範囲内でランダムグラフにおける漸近的アルゴリズム的バrierと一致し、Kim (1995)、Alon et al. (1999)、Molloy (2019)、Achlioptas et al. (2019) の先行研究をすべて上回る。
• この枠組みは、三角形を含まないグラフに対するJohanssonの $O(\Delta/\log\Delta)$ の境界を一般化し、$k$-サイクル密度が制御されたグラフへと拡張する。
• $k$ が固定されている場合、頂点数 $y$ に対して多項式時間で実行可能であり、実行時間の上限は $y^{3k^2}(1+q)^{k^3/2}(ck)^{k^3}$ である。ここで $y$ は頂点数、$q$ は最大リストサイズである。
• この手法により、局所スパースなグラフ上でのハードコアモデルからの効率的サンプリングが可能となり、これは彩色のアルゴリズム的構築にとって不可欠である。