[論文レビュー] Clustered Graph Coloring and Layered Treewidth

Chun‐Hung Liu, David R. Wood|arXiv (Cornell University)|May 22, 2019

Advanced Graph Theory Research参考文献 39被引用数 16

ひとこと要約

本稿では、木分解と段階的彩色に基づく新しいアルゴリズム的手法を用いて、層状の木幅が有界でかつ $K_{s,t}$ を部分グラフとして持たないグラフが、クラスタリングが有界な $(s+2)$-彩色可能であることを確立している。主な結果は、完全二部部分グラフ $K_{s,t}$ を除外するスパarsなグラフクラスへのクラスタリング彩色の拡張を実現し、各辺あたりの交差数が有界な平面的・表面埋め込みグラフに対する既存の結果を一般化する。

ABSTRACT

A graph coloring has bounded clustering if each monochromatic component has bounded size. This paper studies such a coloring, where the number of colors depends on an excluded complete bipartite subgraph. This is a much weaker assumption than previous works, where typically the number of colors depends on an excluded minor. This paper focuses on graph classes with bounded layered treewidth, which include planar graphs, graphs of bounded Euler genus, graphs embeddable on a fixed surface with a bounded number of crossings per edge, amongst other examples. Our main theorem says that for fixed integers $s,t,k$, every graph with layered treewidth at most $k$ and with no $K_{s,t}$ subgraph is $(s+2)$-colorable with bounded clustering. The $s=3$ case implies that every graph with a drawing on a fixed surface with a bounded number of crossings per edge is 5-colorable with bounded clustering. Our main theorem is also a critical component in two companion papers that study clustered coloring of graphs with no $K_{s,t}$ subgraph and excluding a fixed minor, odd minor or topological minor.

研究の動機と目的

• . 本稿の目的は、除外マイナークラスを超えて、$K_{s,t}$ を部分グラフとして除外するグラフクラスに対して、クラスタリング彩色の結果を一般化することである。
• . 除外マイナーという強い構造的仮定よりも弱い仮定のもとで、クラスタリングが有界に達成可能かどうかを検討し、層状の木幅を主要なパラメータとして焦点を当てる。
• . クラスタリング彩色に必要な色数を最小限に抑えることが目的であり、その際単色成分のサイズが有界である。
• . これまでの最大次数が有界なグラフや各辺あたりの交差数が有界な平面的グラフに関する結果を統合・拡張することを目的とする。
• . 本研究は、除外部分グラフ、マイナー、位相的マイナーを伴うクラスタリング彩色に関する今後の研究の基盤を提供する。

提案手法

• . 層状の木幅を主たる構造的パラメータとする木分解フレームワークを用いる。
• . 木分解における「フェンス」と「パレード」に基づく再帰的アルゴリズム的彩色プロセスを導入し、成分のサイズを制御する。
• . 各頂点に $(s+2)$-色のリストを割り当て、互換性条件を課えるリスト彩色設定を用いて、制約下でも適切な彩色を保証する。
• . 「擬似成分」と「ブロック」を通じて、単色成分のサイズを追跡・有界化する署名に基づく解析を適用する。
• . 頂点の複製と辺の置換によるグラフ変換を用い、$K_{s,t}$-フリー性を保ちつつ、アルゴリズム的彩色を可能にする。
• . アルゴリズム的プロセスにおける段階とゲートに関する帰納的仮定を分析することで、単色成分のサイズが有界であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 . 層状の木幅が有界で、任意の固定された $s$ と $t$ に対して、$K_{s,t}$-フリーなグラフに対して、色数が定数であるクラスタリング彩色が可能か？
• RQ2 . クラスタリング彩色における色数は、$t$ や層状の木幅パラメータとは独立して、除外された $K_{s,t}$ 部分グラフにのみ依存するか？
• RQ3 . 本結果は、各辺あたりの交差数が有界な平面的グラフ（既に層状の木幅が有界であることが知られている）に拡張可能か？
• RQ4 . 本手法は、固定されたマイナー、奇数マイナー、または位相的マイナーを除外するグラフに一般化可能か？（補足論文が示唆する通り。）
• RQ5 . $K_{2,t}$-フリーで層状の木幅が有界なグラフに対して、3色彩色によるクラスタリングが可能かどうかは、分野における未解決のオープンな問題である。

主な発見

• . 層状の木幅が $k$ 以下で $K_{s,t}$ を部分グラフとして持たない任意のグラフは、$s$、$k$、$t$ に依存する関数 $\eta^*$ によって有界なクラスタリングを持つ $(s+2)$-彩色可能である。
• . $s=3$ の場合、固定された曲面への描画が可能で各辺あたりの交差数が有界なグラフは、5色でクラスタリングが有界に彩色可能であることを示唆する。
• . クラスタリングの有界性 $\eta^*$ は、木分解、フェンス、段階的彩色を含むアルゴリズム的プロセスによって明示的に構築される。
• . 証明により、単色成分のサイズが $\eta^* = \max\{\eta_1, \eta_2\}$ で有界であることが示され、ここで $\eta_1 = h_{s+1}(k + \xi)$ であり、$\eta_2$ は主補題の再帰的適用から得られる。
• . アルゴリズムは、各単色成分が、元のグラフまたは頂点を複製した変換版の部分グラフ内に収まるように保証する。
• . $s \geq 2$ の場合、層状の木幅が有界でない限り、有界なクラスタリング結果は得られず、本結果はその意味でタイトである。