[論文レビュー] Colouring graphs with no long holes

Maria Chudnovsky, Alex Scott|arXiv (Cornell University)|Jun 7, 2015

Advanced Graph Theory Research参考文献 14被引用数 7

ひとこと要約

この論文は、Gyárfás (1985) が提起した長年の予想を証明し、十分に大きな彩色数を持つ任意のグラフは、大きなクリークまたは与えられた境界を超える長さの誘導サイクルを含むことを確立している。証明は構造的グラフ理論とグラフ分解に基づく帰納的議論を用い、長時間の誘導サイクルが存在しない場合、大きなクリークが強制的に現れることを示しており、完璧グラフ理論およびサイクル構造分野における中心的問題を解決している。

ABSTRACT

We prove a 1985 conjecture of Gyárfás that for all k, `, every graph with sufficiently large chromatic number contains either a clique of cardinality more than k or an induced cycle of length more than `. 1

研究の動機と目的

• 1985年のGyárfásの予想、特に彩色数が大きいグラフの構造に関するもの。
• 長い誘導サイクルを避けるグラフが、大きなクリークを含むことの確立。
• グラフ理論における彩色数、誘導サイクル、クリークサイズの間の相互作用の理解の拡張。
• 誘導サイクル長に制約を課した場合の、彩色数が大きいグラフの構造的特徴づけ。

提案手法

• 長時間の誘導サイクルを含まないグラフの構造を分析するために、グラフ分解に基づく帰納的技法を用いる。
• 「クリーンな」分割と制御された分解を用いて、彩色数が大きい部分構造を特定する。
• 完璧グラフと強い完璧グラフ定理に関する既知の結果を基盤的ツールとして応用する。
• グラフの成分とその接続性の再帰的解析を通じて、彩色数の境界を確立する。
• 長時間のホール（長時間の誘導サイクル）の不在を活用し、構造的制約によって大きなクリークの存在を強制する。
• 極値グラフ理論と帰納的推論を組み合わせ、大きなクリークまたは長い誘導サイクルの存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 任意のグラフが十分に大きな彩色数を持つ場合、その中には大きさ >k のクリークまたは長さ >l の誘導サイクルが存在するのだろうか？
• RQ2 彩色数が大きいグラフにおいて、大きなクリークの存在を強制する構造的制約は何か？
• RQ3 長さが有界な誘導サイクルは、グラフの彩色数にどのように影響するか？
• RQ4 長い誘導サイクルの不在を、グラフに大きなクリークが存在することを保証するために利用できるか？
• RQ5 大きなクリークまたは長い誘導サイクルを強制するための、彩色数の正確な閾値は何か？

主な発見

• 本論文は、任意の整数 k と l に対して、彩色数が十分に大きい任意のグラフは、大きさ >k のクリークまたは長さ >l の誘導サイクルを含むことを確認している。
• この結果は、二分岐を確立する：彩色数が大きいグラフは、高密度なクリーク構造または長い誘導サイクル構造を示さなければならない。
• 証明は、長い誘導サイクルが存在しない場合、彩色数が最大クリークサイズの関数によって有界であることを示している。
• 二つの構造のいずれかを強制するために必要な彩色数の境界は、実用的に計算可能ではあるが、要約では明示的に特定されていない。
• この結果は、以前の完璧グラフに関する結果を一般化し、スパarsなグラフクラスにおけるErdős–Hajnal性質の理解を拡張している。
• 本研究は、誘導サイクル長に制約を課した場合の、彩色数が大きいグラフに対する構造的二分岐定理を提供している。