[論文レビュー] A certifying algorithm for 3-colorability of P5-free graphs

Daniel Bruce, Chı́nh T. Hoàng+1 more|ArXiv.org|Jul 20, 2009

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

ひとこと要約

この論文では、$P_5$-freeグラフにおける3色可能性の証明可能アルゴリズムを提示している。その根拠として、3色にできない有限最小の$P_5$-freeグラフがちょうど6つ存在することを証明している。アルゴリズムは、3色分けが可能であればそれを返し、不可能な場合にはその6つの禁止グラフのいずれかに同型な部分グラフを証明書として返すことで、正しさと検証可能性を多項式時間で保証する。

ABSTRACT

We provide a certifying algorithm for the problem of deciding whether a P5- free graph is 3-colorable by showing there are exactly six finite graphs that are P5-free and not 3-colorable and minimal with respect to this property.

研究の動機と目的

• 3色可能性の証明可能アルゴリズムを$P_5$-freeグラフに対して開発し、yesおよびnoの両方の答えに対して検証可能な証明書を提供すること。
• すべての有限最小非3色可能$P_5$-freeグラフを特定・特徴づけ、有限の障害集合を確立すること。
• 既存の$P_5$-freeグラフの3色可能性を多項式時間で解くアルゴリズムにおける検証可能な証明書の欠如を解消すること。
• $P_5$-freeグラフにおける3色可能性が有限の障害集合によって決定可能であることを確立し、証明可能フレームワークを構築すること。

提案手法

• アルゴリズムは、非3色可能性の証明書として、6つの最小非3色可能$P_5$-freeグラフの有限集合を用いる。
• 構造的グラフ理論を適用し、これらの6つのグラフを含まない$P_5$-freeグラフはすべて3色可能であることを証明する。
• 最小反例における支配的クリークおよび支配的$P_3$または5ハッチの分析に依拠して証明を行う。
• 補題を用いて、誘導された5ハッチ周辺の頂点近傍を分類し、非3色可能性が6つのグラフのいずれかの包含を意味することを示す。
• アルゴリズムは、6つのグラフのいずれかの部分グラフ同型をチェックする。見つかった場合は、非3色可能性の証明書としてそのグラフを返す。
• そのような部分グラフが見つからない場合、すべての$P_5$-freeグラフが6つのグラフを避けるならば3色可能であるという事実を活用し、有効な3色分けを返す。

実験結果

リサーチクエスチョン

• RQ1 最小非3色可能$P_5$-freeグラフは有限個に限るのか？
• RQ2 有限の障害集合を用いて、$P_5$-freeグラフにおける3色可能性の証明可能アルゴリズムを構築できるか？
• RQ3 最小非3色可能$P_5$-freeグラフを特徴づける構造的性質は何か？
• RQ4 6つの特定のグラフが存在しないことは、$P_5$-freeグラフにおける3色可能性を保証するのに十分か？

主な発見

• 3色にできない有限最小の$P_5$-freeグラフはちょうど6つ存在し、このクラスにおける3色可能性の唯一の障害である。
• これらの6つのグラフを部分グラフとして含まない$P_5$-freeグラフは、すべて3色可能であることが保証される。
• アルゴリズムは多項式時間で実行され、非3色可能性の証明書は6つのグラフのいずれかであり、いずれも小さく容易に検証可能である。
• 証明により、すべての最小非3色可能$P_5$-freeグラフは支配的$P_3$を含むか、5ハッチを含むことが示され、構造的分類が可能になる。
• 有限障害集合の存在は、固定された$k$に対する$P_5$-freeグラフにおける$k$-色可能性が有限障害集合を用いて決定可能である可能性を示唆しており、より広範なパターンを示唆している。