[論文レビュー] Islands in minor-closed classes. I. Bounded treewidth and separators

Zdenĕk Dvořák, Sergey Norin|arXiv (Cornell University)|Oct 7, 2017

Limits and Structures in Graph Theory参考文献 20被引用数 20

ひとこと要約

この論文は、任意の固定された曲面に埋め込めるグラフのクラスタリング彩色数がちょうど4であることを確立し、EsperetとOchemの予想を裏付ける。また、有界な木幅と分離子の性質を満たす場合、クラスタリング彩色およびリスト彩色にタイトな境界が得られることを示すために、マイナー閉じたグラフクラスにおける「島」の概念を導入する。本研究は、彩色数と浸透閾値に裏打ちされた、新たな構造的技術を用いて長年の予想を解決する。

ABSTRACT

The clustered chromatic number of a graph class is the minimum integer $t$ such that for some $C$ the vertices of every graph in the class can be colored in $t$ colors so that every monochromatic component has size at most $C$. We show that the clustered chromatic number of the class of graphs embeddable on a given surface is four, proving the conjecture of Esperet and Ochem. Additionally, we study the list version of the concept and characterize the minor-closed classes of graphs of bounded treewidth with given clustered list chromatic number. We further strengthen the above results to solve some extremal problems on bootstrap percolation of minor-closed classes.

研究の動機と目的

• 固定された曲面に埋め込めるグラフのクラスタリング彩色数が4であるという予想を解決すること。
• 有界な木幅をもつマイナー閉じたグラフクラスにおけるクラスタリングリスト彩色数の特徴付けをすること。
• 島と浸透フレームワークを用いて、クラスタリング彩色数に対するタイトな境界を確立すること。
• マイナー閉じたクラスにおけるブートストラップ浸透の結果を、構造的グラフパラメータに結びつけることで強化すること。

提案手法

• グラフにおけるt-島の概念を導入：空でない部分集合Sで、Sに属する各頂点がSの外側にt未満の隣接頂点を持つもの。
• クラスタリング彩色数 col_C(G) を、Gの空でない任意の部分グラフが、サイズがC以下のt-島を含むような最小のtとして定義。
• グラフのサイズに関する帰納法を用いて、χ^l_C(G) ≤ col_C(G) を証明し、リスト彩色と島の存在を結びつける。
• 島フレームワークをマイナー閉じたクラスに適用し、有界な木幅が彩色数の有界性を示すことを示す。
• 抵抗性（t-浸透に対する耐性）の概念を通じて、p-彩色数とクラスタリング彩色数の関係を確立。
• 極値的グラフ構成を用いて、特に外部平面グラフにおいて彩色数の下界を証明。

実験結果

リサーチクエスチョン

• RQ1 任意の固定された曲面に埋め込めるグラフのクラスのクラスタリング彩色数は何か？
• RQ2 有界な木幅をもつマイナー閉じたグラフクラスにおいて、クラスタリングリスト彩色数と彩色数の関係は何か？
• RQ3 島法を用いて、マイナー閉じたクラスにおけるクラスタリング彩色数のタイトな境界を導出できるか？
• RQ4 マイナー閉じたグラフクラスにおいて、彩色数とクラスタリングリスト彩色数の関係は何か？
• RQ5 木幅や分離子といった構造的性質は、不正な彩色における小さな単色成分の存在にどのように影響するか？

主な発見

• 任意の固定された曲面に埋め込めるグラフのクラスのクラスタリング彩色数は正確に4であり、EsperetとOchemの予想を裏付ける。
• 任意のマイナー閉じたグラフクラスGに対して、クラスタリング彩色数 col_*(G) は、t-浸透に対する耐性を測るパラメータp(G)に等しい。
• クラスタリングリスト彩色数 χ^l_*(G) は彩色数 col_C(G) によって上から抑えられ、この境界は、あるCに対して χ^l_*(G) ≤ col_C(G) が成り立つという意味でタイトである。
• 外部平面グラフでは、クラスタリングリスト彩色数は2であるが、彩色数は3であるため、χ^l_*(G) < col_*(G) が可能であることが示された。
• 本論文は、χ^l_*(X(K_t)) = t-1 であることを証明し、クラスタリングリスト彩色におけるハドウィガー予想の弱化版を裏付ける。
• 島法は、分離子や木幅に基づく従来の手法とは異なり、クラスタリング彩色に関する境界を証明するための、新たな自己完結型フレームワークを提供する。