[論文レビュー] Partitioning and coloring with degree constraints

Landon Rabern|arXiv (Cornell University)|Feb 27, 2012

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

ひとこと要約

本稿は、次数および彩色数の制約に基づき、頂点臨界グラフが完全グラフまたは特別なグラフ $O_5$ であるための新たな十分条件を確立する。Catlinのアルゴリズムを用いた分割技法の精緻化と、高次頂点に由来する部分グラフの分析を通じて、次数制約付きのブルックス型定理に関する先行研究を単純化・一般化し、この部分グラフのクリーク数に特定の上限がある場合、極値グラフとして $K_{\chi(G)}$ または $O_5$ のみが可能であることを証明する。

ABSTRACT

We prove that if $G$ is a vertex critical graph with $χ(G) \geq Δ(G) + 1 - p \geq 4$ for some $p \in \mathbb{N}$ and $ω(\fancy{H}(G)) \leq \frac{χ(G) + 1}{p + 1} - 2$, then $G = K_{χ(G)}$ or $G = O_5$. Here $\fancy{H}(G)$ is the subgraph of $G$ induced on the vertices of degree at least $χ(G)$. This simplifies and improves the results in the paper of Kostochka, Rabern and Stiebitz \cite{krs_one}.

研究の動機と目的

• 次数制約付きの頂点臨界グラフにおけるブルックス型定理に関する先行研究を一般化・単純化すること。
• 高次頂点部分グラフ $\mathcal{H}(G)$ のクリーク数に与えられた上限を満たす場合に、正確に $K_{\chi(G)}$ または $O_5$ のみが極値グラフとして可能であることを同定すること。
• Mozhanのアルゴリズムに代えて、より一般な手法を有する Catlin の方法を導入し、統一的かつ単純化された証明枠組みを構築すること。
• 独立に価値のある2つの分割補題を新たに確立し、そのうちの1つがすべての主要彩色結果を含意すること。

提案手法

• Mozhanのアルゴリズムに依存する既存手法を改善するため、Catlinのアルゴリズム的手法を用いて最大次数が有界な部分グラフにグラフを分割する。
• 部分グラフ $\mathcal{H}(G)$ を、次数が $\chi(G)$ 以上である頂点に誘導される部分グラフとして定義し、そのクリーク数 $\omega(\mathcal{H}(G))$ を分析する。
• 各部品の最大次数がそれぞれ $r_i$ 以下となるように、$\mathbf{r}$-分割フレームワークを適用する。ここで $w(\mathbf{r}) \geq \max\{\Delta(G)+1-k, d\}$ を満たす。
• 目的関数 $f(P)$ を増加させずに頂点を部品間で移動できるようにするため、$d$-可動部分グラフの概念を導入する。
• グラフ内の $\chi$-クリークの補部分グラフにリスト彩色の議論を適用し、互いに素なリストと独立集合を用いて、非完全性の仮定の下で矛盾を導出する。
• 最小性の仮定に基づく極値的推論を用い、非隣接頂点対を縮約して得られるグラフ $A'$ の構造を分析することで、$A'$ が $K_\chi$ または $O_5$ でなければならないことを示す。

実験結果

リサーチクエスチョン

• RQ1 高次頂点部分グラフ $\mathcal{H}(G)$ のクリーク数にどのような制約が与えられると、$\chi(G) \geq \Delta(G)+1-p \geq 4$ を満たす頂点臨界グラフ $G$ が $K_{\chi(G)}$ または $O_5$ に縮退するか？
• RQ2 補題3.2と補題3.3の境界の間にある中間ケースでは、どのように振る舞い、どのような極値グラフが生じるか？
• RQ3 MozhanのアルゴリズムをCatlinのより一般な枠組みに置き換えることで、次数制約付きブルックス型定理の証明を単純化できるか？
• RQ4 高次頂点部分グラフ $\mathcal{H}(G)$ が $\chi(G)$ および $p$ に対してクリーク数が有界である場合、どのような構造的性質が現れるか？

主な発見

• $G$ が頂点臨界で、$\chi(G) \geq \Delta(G)+1-p \geq 4$ かつ $\omega(\mathcal{H}(G)) \leq \frac{\chi(G)+1}{p+1} - 2$ を満たす場合、$G = K_{\chi(G)}$ または $G = O_5$ である。これは先行研究を一般化・単純化する。
• 極値グラフは完全に特徴付けられており、与えられた次数および彩色数の制約とクリーク数の上限を満たすのは $K_{\chi(G)}$ と $O_5$ のみである。
• $\chi(G) = 5$ の場合、条件により $h = \omega(\mathcal{H}(G)) = 1$ となり、$G$ が完全でない限り $O_5$ でなければならない。これは低近傍の構造的制約による。
• 証明では、$G \neq K_\chi$ を仮定すると、$\chi = 5$ かつ $G = O_5$ でない限り矛盾が生じることを、リスト彩色および独立集合の議論により示す。
• 高次頂点部分グラフ内の非隣接頂点対に対して、互いに素なリストと十分なサイズが与えられると、グラフが $O_5$ でない限り矛盾が生じる。
• $A'$ の分析により、$\chi(A') = \chi$ であり、$A'$ は $K_\chi$ または $O_5$ でなければならない。$O_5$ がすべての低次頂点を有する低次頂点を含むと仮定すると、この仮定は矛盾を引き起こす。