[论文解读] The strong perfect graph conjecture

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

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

一句话总结

本文證明了強完美圖猜想，確立了唯一極小不完備圖為奇圈及其補圖。證明依賴於對Berge圖（即不含奇圈或其補圖的圖）的結構分解定理，顯示它們要麼是基本圖（二分圖、二分圖的線圖，或其補圖），要麼具有四種分解結構之一：扭曲分割、同質對、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圖不可能包含扭曲分割、2-併合或同質對，從而將問題簡化為分析基本子結構。
• 透過分析拉長體、正確輪圖及其相關子圖，驗證所有Berge圖的分解猜想。
• 為奇圈自由圖與偶圈自由圖的多項式時間辨識演算法提供基礎。

提出的方法

• 以Berge圖（即不含奇圈或其補圖的圖）為主要研究對象。
• 應用分解架構：若一Berge圖非基本圖，則其本身或其補圖中必含扭曲分割、同質對或2-併合。
• 運用「神奇引理」（Roussel與Rubio）分析涉及奇長無弦路徑與連通補圖子圖的頂點分割。
• 分析特定子結構：拉長體（具備三條無弦路徑的誘導子圖）、正確輪圖與全域輪圖，以推導結構限制。
• 應用先前關於2-併合與雙星割集的研究成果，將分解定理擴展至更廣泛的圖類。
• 整合多個子證明的結果：(i) 二分圖的線圖，(ii) 拉長體，(iii) 無正確輪圖，以及 (iv) 存在正確輪圖，以涵蓋所有情況。

实验结果

研究问题

• RQ1 所有Berge圖是否要麼是基本圖，要麼可透過扭曲分割、同質對或2-併合分解？
• RQ2 極小不完備的Berge圖是否可能包含扭曲分割、2-併合或同質對？
• RQ3 所有含拉長體或正確輪圖的Berge圖是否皆具有四種分解結構之一？
• RQ4 分解猜想是否對所有Berge圖皆成立，包括含複雜子結構如輪圖與拉長體者？
• RQ5 Berge圖的結構分解是否可用於設計奇圈自由圖的多項式時間辨識演算法？

主要发现

• 強完美圖猜想已獲證明：唯一極小不完備圖為奇圈及其補圖。
• 每個Berge圖要麼是基本圖，要麼其本身或補圖中含扭曲分割、同質對或2-併合。
• 若一Berge圖含拉長體，則該圖要麼是基本圖，要麼含扭曲分割、同質對或2-併合（於其本身或補圖中）。
• 若一Berge圖不含正確輪圖、拉長體或其補圖，則其要麼是基本圖，要麼含扭曲分割。
• 若一Berge圖含正確輪圖但不含拉長體或其補圖，則其本身或補圖中必含扭曲分割或2-併合。
• 該分解架構導出強完美圖定理：一圖為完美圖，當且僅當其不含奇圈或其補圖。