[論文レビュー] Obstructions for three-coloring graphs without induced paths on six vertices

Maria Chudnovsky, Jan Goedgebeur+2 more|arXiv (Cornell University)|Apr 27, 2015

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

ひとこと要約

この論文は、$P_6$-free 図形における3色可能性の障害を完全に分類し、4-臨界な $P_6$-free 図形がちょうど24個存在することを証明している。著者らは、三脚縮約に基づく新しい構造的アプローチとコンピュータ支援の列挙を用い、Golovach らとSeymourが提起した未解決問題を解決し、4-臨界な $H$-free 図形が有限であるかどうかの二分法を確立した：4-臨界な $H$-free 図形は、$H$ が $P_6$ の部分グラフである場合に限り有限である。この結果により、$P_6$-free 図形における3色可能性の証明可能アルゴリズムが可能になる。

ABSTRACT

We prove that there are 24 4-critical $P_6$-free graphs, and give the complete list. We remark that, if $H$ is connected and not a subgraph of $P_6$, there are infinitely many 4-critical $H$-free graphs. Our result answers questions of Golovach et al. and Seymour.

研究の動機と目的

• Golovach らとSeymourが提起した、4-臨界な $P_6$-free 図形の数が有限かどうかという未解決問題を解決すること。
• 3色可能性の障害をなすすべての4-臨界な $P_6$-free 図形を完全に分類すること。
• 二分法の定理を確立すること：4-臨界な $H$-free 図形は、$H$ が $P_6$ の部分グラフである場合に限り有限である。
• 障害集合が有限であることを利用した、$P_6$-free 図形における3色可能性問題の証明可能アルゴリズムを開発すること。

提案手法

• 著者らは、$P_6$-free 図形において4-臨界性に影響を与えないように三角形に縮約可能な特定の部分グラフ「三脚」の概念を導入・利用する。
• すべての最大三脚が三角形である（ダイヤモンドを含まない）場合とそうでない場合に分け、4-臨界な $P_6$-free 図形を分類する。
• ダイヤモンドを含まない場合、Hoàng らの手法の強化版に基づくコンピュータ支援の方法を用いて、すべてのこのような図形を列挙する。
• 三脚でない場合、頂点順序と彩色制約に基づく強力な剪定ルールを用いた包括的なコンピュータ探索を実施し、図形の頂点数を最大18個に制限する。
• 28頂点以下のすべての4-臨界な $P_6$-free 図形が、24個の図形の完全なリストに含まれることを、ダイヤモンドを許容する2番目のコンピュータ探索により検証する。
• Pokrovskiy による構成を用いて、$P_7$-free 図形が無限個の4-臨界図形を含むことを証明し、二分法を完成させる。

実験結果

リサーチクエスチョン

• RQ1 Golovach らが予想したように、4-臨界な $P_6$-free 図形は有限個存在するか？
• RQ2 すべての4-臨界な $P_6$-free 図形を完全に列挙できるか？その数はいくつなのか？
• RQ3 4-臨界な $H$-free 図形が有限であるかどうかの構造的二分法が成り立つのか？（$H$ が $P_6$ の部分グラフである場合に限り有限である。）
• RQ4 有限な障害集合に基づいて、$P_6$-free 図形における3色可能性問題を証明可能なアルゴリズムで決定できるか？

主な発見

• 4-臨界な $P_6$-free 図形はちょうど24個であり、論文では $F_1$ から $F_{24}$ として完全なリストが提示されており、付録に隣接リストが掲載されている。
• このリストには、$K_4$、5輪、モーザー・スパイン、およびグローツヒの図形（$F_{18}$）といったよく知られた図形が含まれる。
• 4-頂点臨界な $P_6$-free 図形はちょうど80個であり、より洗練された分類が確認された。
• 論文は、二分法を確立した：連結な $H$ に対して、4-臨界な $H$-free 図形が有限であるのは、$H$ が $P_6$ の部分グラフである場合に限り成り立つ。
• 論文は、Pokrovskiy による構成を用いて、4-臨界な $P_7$-free 図形が無限個存在することを証明し、$P_6$ が障害集合が有限となる最長のパスであることを示した。
• 結果として、障害集合が有限であるため、$P_6$-free 図形における3色可能性の証明可能アルゴリズムが存在することが示唆される。