[論文レビュー] Brooks' Vertex-Colouring Theorem in Linear Time

Bradley Baetz, David R. Wood|arXiv (Cornell University)|Jan 30, 2014

Advanced Graph Theory Research参考文献 6被引用数 6

ひとこと要約

本稿では、Brooksの定理が保証するΔ色以内の頂点彩色を実現する線形時間アルゴリズムを提示する。これは、Lovászのアルゴリズム的証明を完成・精錬することで得られる。構造的コンponents（例：2重連結部分グラフ、距離2の頂点対）の効率的同定により、完全グラフや奇サイクルを含むすべてのグラフに対してO(|V| + |E|)の実行時間を達成する。

ABSTRACT

Brooks' Theorem [R. L. Brooks, On Colouring the Nodes of a Network, Proc. Cambridge Philos. Soc.} 37:194-197, 1941] states that every graph $G$ with maximum degree $Δ$, has a vertex-colouring with $Δ$ colours, unless $G$ is a complete graph or an odd cycle, in which case $Δ+1$ colours are required. Lovász [L. Lovász, Three short proofs in graph theory, J. Combin. Theory Ser. 19:269-271, 1975] gives an algorithmic proof of Brooks' Theorem. Unfortunately this proof is missing important details and it is thus unclear whether it leads to a linear time algorithm. In this paper we give a complete description of the proof of Lovász, and we derive a linear time algorithm for determining the vertex-colouring guaranteed by Brooks' Theorem.

研究の動機と目的

• Brooksの定理の完全かつ実装可能なアルゴリズム的証明を提供し、Lovászの元々の証明における欠落を補完すること。
• 最大次数Δをもつ任意のグラフに対して、Brooks彩色（ΔまたはΔ+1色）を計算する線形時間アルゴリズムを設計すること。
• 特殊ケース（完全グラフおよび奇サイクル）の処理と2重連結構造の活用により、正しさと効率性を保証すること。
• アルゴリズムがBrooksの定理の制約下で理論的下界に一致するO(|V| + |E|)時間で実行されることを示すこと。

提案手法

• G\{a,b}において、各頂点がその列より前に色が塗られた隣接頂点をもつような頂点順序を深さ優先探索で構築する。
• G\{a,b}が連結のまま保たれるような、距離2にあり非隣接な2頂点aとbを選択する。これにより、残りのグラフの安全な彩色が可能になる。
• 頂点列の逆順に貪欲彩色戦略を適用し、すでに色が塗られた隣接頂点で使われていない最小の色を割り当てる。
• 2重連結成分分解とブロックカットツリー走査を活用し、局所的な彩色を線形時間で全体に拡張する。
• 特殊ケース（完全グラフおよび奇サイクル）を別個に検出・処理し、必要に応じてΔ+1色を割り当てる。
• 2重連結性のテストおよびブロックカットツリー解析を用いて、末端ブロックおよびカットポイントを効率的に特定し、構造的整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 LovászのBrooksの定理に対する不完全なアルゴリズム的証明を、完全に指定されかつ効率的なアルゴリズムに完成させることは可能か？
• RQ2 完全グラフや奇サイクルを含むすべてのグラフに対して、Brooks彩色を線形時間O(|V| + |E|)で計算することは可能か？
• RQ3 2重連結グラフにどのような構造的性質が存在すれば、そのような距離2の頂点対(a,b)が存在し、G\{a,b}が連結を保つのか？
• RQ4 彩色プロセスをどのように効率的に並列化または順序付けすれば、バックトラックを避けながらΔ色彩色を達成できるか？

主な発見

• 本稿は、Lovászの元々の証明における欠落を補完した完全かつ正しいアルゴリズム的証明を提供する。
• G\{a,b}が連結を保つような適切な距離2の頂点対(a,b)の特定により、Brooks彩色の線形時間アルゴリズムが達成される。
• アルゴリズムはO(|V| + |E|)時間で実行され、Brooksの定理の制約下でのグラフ彩色の理論的下界に一致する。
• 特殊ケース（完全グラフおよび奇サイクル）は検出され、線形時間でΔ+1色に彩色され、定理と整合的である。
• 頂点順序の構築に深さ優先探索を用い、2重連結成分解析を活用することで、正しさと効率性が保証される。