[論文レビュー] The strong perfect graph conjecture

Gérard Cornuéjols|ArXiv.org|Apr 28, 2003

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

ひとこと要約

この論文は、強い完全グラフ予想を証明し、最小的に不完全なグラフは奇数の穴（odd holes）とその補グラフの唯一のものであることを確立する。証明は、奇数の穴やその補グラフを含まないグラフ（Bergeグラフ）の構造的分解定理に依拠しており、それらが基本的（二部グラフ、二部グラフの線グラフ、またはその補グラフ）であるか、もしくは4つの分解構造（ねじれ分割、同型ペア、2-結合、およびストレッチャーとホイールのような特定の部分構造）を含むことを示している。最終的に、多数の深いグラフ理論的結果を経て、予想が確認される。

ABSTRACT

A graph is {\em perfect} if, in all its induced subgraphs, the size of a largest clique is equal to the chromatic number. Examples of perfect graphs include bipartite graphs, line graphs of bipartite graphs and the complements of such graphs. These four classes of perfect graphs will be called {\em basic}. In 1960, Berge formulated two conjectures about perfect graphs, one stronger than the other. The weak perfect graph conjecture, which states that a graph is perfect if and only if its complement is perfect, was proved in 1972 by Lovász. This result is now known as the perfect graph theorem. The strong perfect graph conjecture (SPGC) states that a graph is perfect if and only if it does not contain an odd hole or its complement. The SPGC has attracted a lot of attention. It was proved recently (May 2002) in a remarkable sequence of results by Chudnovsky, Robertson, Seymour and Thomas. The proof is difficult and, as of this writing, they are still checking the details. Here we give a flavor of the proof.

研究の動機と目的

• 強い完全グラフ予想を解決すること。この予想は、最小的に不完全なグラフは奇数の穴とその補グラフに限られることを主張する。
• Bergeグラフの構造的分解定理を確立すること。これにより、Bergeグラフが基本的であるか、特定の分解を有することを示す。
• 最小的に不完全なBergeグラフがねじれ分割、2-結合、または同型ペアを含まないことを証明し、問題を基本的部分構造の分析に還元すること。
• ストレッチャー、適切なホイール、および関連部分グラフを分析することで、すべてのBergeグラフに対する分解予想を検証すること。
• 奇数の穴を含まないグラフや偶数の穴を含まないグラフの多項式時間認識アルゴリズムの基礎を提供すること。

提案手法

• 奇数の穴やその補グラフを含まないグラフ（Bergeグラフ）を研究の中心対象とする。
• 分解フレームワークを適用する：Bergeグラフは基本的であるか、自身またはその補グラフにねじれ分割、同型ペア、または2-結合を含む。
• RousselとRubioの「すばらしい補題（Wonderful Lemma）」を用いて、奇数の無弦路と連結な補グラフ部分集合を含む頂点分割を分析する。
• 特定の部分構造を分析する：ストレッチャー（3本の無弦路を持つ誘導部分グラフの一種）、適切なホイール、およびユニバーサルホイールを用いて構造的制約を導出する。
• 2-結合と二重スターカットセットに関する先行研究の結果を適用し、より広いグラフクラスへの分解定理の拡張を図る。
• 複数の部分証明の結果を統合する：(i) 二部グラフの分割線グラフ、(ii) ストレッチャー、(iii) 適切なホイールの不在、および (iv) 適切なホイールの存在を用いて、すべてのケースをカバーする。

実験結果

リサーチクエスチョン

• RQ1 すべてのBergeグラフは、基本的であるか、ねじれ分割、同型ペア、または2-結合によって分解可能か？
• RQ2 最小的に不完全なBergeグラフは、ねじれ分割、2-結合、または同型ペアを含むことができるか？
• RQ3 ストレッチャーまたは適切なホイールを含むすべてのBergeグラフは、4つの分解構造のいずれかを有するか？
• RQ4 ストレッチャーとホイールのような複雑な部分構造を含むBergeグラフに対しても、分解予想は成立するか？
• RQ5 Bergeグラフの構造的分解は、奇数の穴を含まないグラフの多項式時間認識アルゴリズムの設計に用いることができるか？

主な発見

• 強い完全グラフ予想は真であると証明された：最小的に不完全なグラフは奇数の穴とその補グラフに限られる。
• すべてのBergeグラフは、基本的であるか、自身またはその補グラフにねじれ分割、同型ペア、または2-結合を含む。
• Bergeグラフにストレッチャーが存在する場合、そのグラフは基本的であるか、ねじれ分割、同型ペア、または2-結合を含む（自身またはその補グラフにおいて）。
• 適切なホイール、ストレッチャー、およびそれらの補グラフを含まないBergeグラフは、基本的であるか、ねじれ分割を含む。
• 適切なホイールを含むがストレッチャーおよびその補グラフを含まないBergeグラフは、自身またはその補グラフにねじれ分割または2-結合を含む。
• 分解フレームワークにより、強い完全グラフ定理が導かれる：グラフが完全であることは、奇数の穴またはその補グラフを含まないことと同値である。