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

Maria Chudnovsky, Neil Robertson+2 more|ArXiv.org|Dec 4, 2002

Advanced Graph Theory Research被引用数 10

ひとこと要約

この論文は、強い完璧グラフ定理を証明し、グラフが完璧であるための必要十分条件が、長さ5以上の奇数の誘導部分グラフのサイクルおよびその補グラフ（いわゆるベルジュグラフ）を含まないことであることを確立した。証明は、ベルジュグラフが5つの基本クラスのいずれかに属するか、特定の分解（例えば2-ジョインやスケュー・パーティション）を許容する構造的分解定理に依拠しており、これらの条件下では最小反例が存在し得ないことを示した。これにより、数十年にわたる努力の末、予想が確認された。

ABSTRACT

A graph G is perfect if for every induced subgraph H, the chromatic number of H equals the size of the largest complete subgraph of H, and G is Berge if no induced subgraph of G is an odd cycle of length at least 5 or the complement of one. The "strong perfect graph conjecture" (Berge, 1961) asserts that a graph is perfect if and only if it is Berge. A stronger conjecture was made recently by Conforti, Cornuejols and Vuskovic -- that every Berge graph either falls into one of a few basic classes, or it has a kind of separation that cannot occur in a minimal imperfect graph. In this paper we prove both these conjectures.

研究の動機と目的

• ベルジュが1961年に提起した強い完璧グラフ予想を解決すること。この予想は、グラフが完璧であるための必要十分条件が、長さ5以上の誘導部分グラフの奇数の穴（hole）または反穴（antihole）を含まないこと（すなわちベルジュグラフであること）であるというものである。
• ベルジュグラフの構造的分解定理を確立すること。この定理は、すべてのベルジュグラフが5つの基本クラスのいずれかに属するか、特定の種類の分解（例えば2-ジョイン、スケュー・パーティション、M-ジョイン）を許容することを示している。
• 提案された分解枠組みのもとで、最小反例が存在し得ないことを証明すること。これにより、ベルジュグラフと完璧グラフとの同値性が確認される。

提案手法

• 証明は、コンフォルティ、コルヌエジュルズ、ヴシュコビッチが提起した予想に基づく構造的アプローチを用いる。この予想は、すべてのベルジュグラフが5つの基本クラスのいずれかに属するか、2-ジョインやスケュー・パーティションなどの分解を許容することを示している。
• 5つの基本的グラフクラス（二部グラフ、二部グラフの線グラフ、バイコグラフ、およびそれらの補グラフ）を定義し、これらがすべて完璧であることが知られていることを利用している。
• 2-ジョイン（頂点の分割で、両側間の完全な対および完全に非接続な対を持つもの）、M-ジョイン（6つの部分に分割され、特定の完全性および非完全性条件を満たすもの）、スケュー・パーティション（連結かつ反連結な集合に分割され、バランスの取れた性質を持つもの）といった主要な分解構造を定義し、それらを用いる。
• ベルジュグラフが基本クラスに属さない場合、これらの分解のいずれかを許容することを証明し、最小性の議論を用いて、このような分解が最小反例においては存在し得ないことを示した。
• 証明は、パスおよび反パス（それぞれ次数≤2の誘導部分グラフおよびその補グラフ）の使用、および禁止構造を除外するために必要な「バランスの取れた対」の概念を含む、多数の補題と構造的結果に依拠している。
• 極値的議論と構造的帰納法を用い、分解が存在せず基本クラスに属しないグラフは、必ず禁止された誘導部分グラフ（例えば、長い奇数の穴や反穴）を含むことになり、ベルジュ性に反することを示した。

実験結果

リサーチクエスチョン

• RQ1 すべてのベルジュグラフは、5つの基本クラスのいずれかに属するか、2-ジョイン、スケュー・パーティション、M-ジョインなどの分解を許容するかのいずれかであるか？
• RQ2 すべての分解を回避し、基本クラスの外にある最小反例が、強い完璧グラフ予想に対して存在しうるか？
• RQ3 長さ5以上の誘導部分グラフの奇数の穴や反穴を含まないグラフは、必ず完璧であるとされるのは真か？
• RQ4 構造的分解枠組みを用いて、予想のすべての可能な最小反例を排除できるか？
• RQ5 グラフが完璧であるための必要十分条件は何か？そして、誘導部分グラフの奇数のサイクルおよびその補グラフの不在とどのように関係するか？

主な発見

• 強い完璧グラフ定理が証明された：グラフが完璧であるための必要十分条件は、長さ5以上の誘導部分グラフの奇数サイクルまたはその補グラフを含まないこと（すなわちベルジュグラフであること）である。
• すべてのベルジュグラフは、5つの基本クラス（二部グラフ、二部グラフの線グラフ、バイコグラフ、およびそれらの補グラフ）のいずれかに属するか、2-ジョイン、スケュー・パーティション、M-ジョインのいずれかの分解を許容する。
• すべての分解を回避し、基本クラスの外にある最小反例は存在し得ない。なぜなら、そのようなグラフは必然的に禁止された誘導部分グラフを含むからである。
• 誘導部分グラフの長さ5以上の奇数の穴や反穴が存在しないことは、完璧性を示すことが確認され、長年の予想が裏付けられた。
• 構造的分解枠組みは、すべての潜在的反例を排除するのに成功した。なぜなら、基本クラスに属さないグラフは、仮想の反例において最小性を破る分解を許容する必要があるからである。
• 証明は40年以上にわたるグラフ理論の未解決問題を解決し、完璧グラフの完全な構造的特徴付けを確立した。