[論文レビュー] Perfect graphs: a survey

Nicolas Trotignon|arXiv (Cornell University)|Jan 22, 2013

Advanced Graph Theory Research参考文献 80被引用数 13

ひとこと要約

本調査は、完全グラフについて包括的な概説を提供しており、完全グラフの定理（SPGT）に焦点を当てている。SPGTは、グラフが完全であるための必要十分条件として、奇数の穴（odd hole）や奇数の反穴（odd antihole）を誘導部分グラフとして含まないことを述べている。本論文は、分解定理、2-結合（2-joins）、ねじれ分割（skew partitions）、およびトライグラフ（trigraphs）を用いたSPGTの構造的証明を詳細に説明し、アルゴリズム的意義についても論じており、特に、バランスの取れたねじれ分割を含まないBergeグラフにおける最大重み付き安定集合を多項式時間で求めるアルゴリズムを含む。

ABSTRACT

Perfect graphs were defined by Claude Berge in the 1960s. They are important objects for graph theory, linear programming and combinatorial optimization. Claude Berge made a conjecture about them, that was proved by Chudnovsky, Robertson, Seymour and Thomas in 2002, and is now called the strong perfect graph theorem. This is a survey about perfect graphs, mostly focused on the strong perfect graph theorem.

研究の動機と目的

• 非専門家向けに、強完全グラフ定理（SPGT）とその証明をわかりやすく提示すること。
• SPGTの証明に用いられる基礎的結果および構造的ツール（2-結合、ねじれ分割、トライグラフなど）を調査すること。
• アルゴリズム的意義を強調し、特にバランスの取れたねじれ分割を含まないBergeグラフにおける最大安定集合の多項式時間アルゴリズムを含む。
• 完全グラフ理論における主要な未解決問題、特にχ-有界性と多項式時間彩色に関する問題を特定・論じること。
• 完全グラフに関する統合的かつ最新の参照資料を提供し、最近の発展と未解決の課題に重点を置くこと。

提案手法

• 本論文は、誘導部分グラフと禁止構成（forbidden configurations）に依存して、Bergeグラフを分解定理を用いて基本クラスに分解する構造的グラフ理論を用いる。
• Berge性を保ちながら安定数αを追跡するため、2-結合とバランスの取れたねじれ分割を主な分解ツールとして用いる。
• 分解における辺の符号の曖昧さを扱うためにトライグラフが用いられ、Bergeグラフにおける帰納的証明を可能にする。
• 証明戦略は、最小反例の分析と、ルッセル＝ルビオ補題（Roussel–Rubio lemma）を用いた分解成分内のパスと連結性の制御に依存する。
• 重み付き安定集合アルゴリズムはブロック分解を用いて構築され、バランスの取れたねじれ分割を含まないBergeグラフに対してはO(n⁷)の時間計算量を達成する。
• 本論文は、ChudnovskyたるおよびChudnovskyとSeymourの結果を統合しており、K₄を含まないBergeグラフの構造的特徴付けを含む。

実験結果

リサーチクエスチョン

• RQ1 偶数対を含まないBergeグラフの構造的特徴付けは何か？ また、それらはSPGTとどのように関係するか？
• RQ2 すべてのBergeグラフを彩色するための組合せ的多項式時間アルゴリズムを設計できるか？
• RQ3 すべての奇数の穴を含まないBergeグラフが、ある関数fによってχ-有界であるような関数fが存在するか？
• RQ4 バランスの取れたねじれ分割による一意的な分解が可能なすべてのBergeグラフは、Gまたはその補グラフに偶数対を含むか？
• RQ5 2-結合やねじれ分割のような分解技術をどのように拡張すれば、完全グラフのための効率的な彩色アルゴリズムを得られるか？

主な発見

• 強完全グラフ定理（SPGT）が確認された：グラフが完全であるための必要十分条件は、奇数の穴や奇数の反穴を誘導部分グラフとして含まないことである。
• O(n⁷)時間のアルゴリズムにより、バランスの取れたねじれ分割を含まないBergeグラフに対して最大重み付き安定集合と適切な頂点彩色が計算可能である。
• バランスの取れたねじれ分割を含まないBergeグラフは、片方のブロックが基本的（basic）である極端な分解を許容し、帰納的証明が可能になる。
• WBGKSF（Worst Berge Graph Known So Far）は、偶数対の欠如が完全性を妨げないことを示しており、構造的予想に挑戦する。
• 定理12.9は、3連結でK₄を含まず、偶数対もクラーク・カットセット（clique cutset）も持たないBergeグラフは、二部グラフの線グラフであることを示しており、{K₄, 奇数の穴}を含まないグラフに一般化される。
• 予想12.10は未解決のまま：Bergeグラフがバランスの取れたねじれ分割によって一意的に分解可能である場合、Gまたはその補グラフに偶数対が存在する。