[論文レビュー] Graphs of bounded cliquewidth are polynomially $χ$-bounded

Marthe Bonamy, Michał Pilipczuk|arXiv (Cornell University)|Oct 1, 2019

Advanced Graph Theory Research参考文献 15被引用数 4

ひとこと要約

この論文は、有界クライク幅をもつグラフが多項式的χ有界であることを証明している。つまり、その彩色数はクライク数の多項式関数によって上界づけられる。著者たちは、遺伝的グラフクラスが多項式的χ有界であるならば、そのクラスの部分に分けられるグラフ（境界のランクが有界なカットに沿った分解）のクラスも多項式的χ有界であることを示す一般枠組みを確立した。この枠組みにより、クライク幅kのすべてのグラフが多項式的χ有界であることが直接的に示される。

ABSTRACT

We prove that if $\mathcal{C}$ is a hereditary class of graphs that is polynomially $χ$-bounded, then the class of graphs that admit decompositions into pieces belonging to $\mathcal{C}$ along cuts of bounded rank is also polynomially $χ$-bounded. In particular, this implies that for every positive integer $k$, the class of graphs of cliquewidth at most $k$ is polynomially $χ$-bounded.

研究の動機と目的

• 構造的グラフ理論における長年の未解決問題である、有界クライク幅のグラフの多項式的χ有界性を確立すること。
• 制御された分解によって構築されるより複雑なグラフクラスへ、既知の遺伝的グラフクラスのχ有界性を拡張すること。
• 特定のグラフ分解操作において多項式的χ有界性が保たれる一般的手法を提供すること。
• クライク幅有界クラスにおけるχ有界関数の漸近的タイトネスを解明し、この文脈で多項式的境界が最適であることを示すこと。

提案手法

• 著者たちは、遺伝的グラフクラスCが多項式的χ有界であるならば、そのクラスに従属する分解を境界のランクが有界なカットに沿って持つグラフのクラスも多項式的χ有界であるという一般の閉包性を導入した。
• カットの「多様性」を、2つの部分間の異なる近傍の数として定義し、これを分解の複雑さを制御するための指標とした。
• 構造的分解定理と分解木上の帰納的彩色の議論を用いて証明し、彩色数がクライク数に対して多項式的に増加することを保証した。
• DvořákとKrál’によるχ有界性に関する先行研究を一般化し、彩色の伝搬を分解を通して精査することで、多項式的境界に発展させた。
• この枠組みを用いて、クライク幅がk以下のすべてのグラフが多項式的χ有界であることを示した。
• 有界クライク幅と有界ランク幅の同値性に依拠し、ランクに基づく分解技術を用いることができた。

実験結果

リサーチクエスチョン

• RQ1 有界クライク幅のグラフのχ有界性を多項式的χ有界性に強化することは可能か？
• RQ2 有界ランクのカットに沿ったCに従属する分解に対して、多項式的χ有界性の閉包性がすべての遺伝的クラスで成り立つか？
• RQ3 クライク幅kのグラフに対して、χ有界関数の多項式的依存関係がタイトであるか？
• RQ4 この枠組みを、頂点マイナーを除外する他のグラフクラスの多項式的χ有界性を導出するために応用可能か？
• RQ5 クライク幅kのグラフに対して、多項式的χ有界関数の最小次数は何か？ そして、これはkとともに増加するか？

主な発見

• 任意の固定されたk ∈ ℕに対して、クライク幅がk以下のグラフのクラスは多項式的χ有界である。これはχ有界性理論における未解決問題を解決する。
• クライク幅kのグラフに対する多項式的χ有界関数の次数はkとともに増加し、これはLemma 5.2で示されたように避けがたい。
• 一般枠組みにより、遺伝的クラスCが多項式的χ有界であるならば、そのクラスの部分に分けられるグラフ（境界のランクが有界なカットに沿った分解）のクラスも多項式的χ有界であることが証明された。
• この結果により、W₅-頂点マイナーを除外するグラフは多項式的χ有界であることが示され、以前の研究が示したχ有界性を拡張した。
• この枠組みは、DvořákとKrál’によるχ有界性に関する先行研究や、KimたちによるCₗ-頂点マイナーを除外するグラフの多項式的χ有界性に関する研究を統合・強化した。
• Geelenたちの最近の結果に基づき、すべてのH-頂点マイナーを除外するグラフクラスが多項式的χ有界であるという予想を支持する。特に、Hがサークルグラフである場合に成立する。