[論文レビュー] Coloring $\Delta$-Critical Graphs With Small High Vertex Cliques

Landon Rabern|arXiv (Cornell University)|Feb 4, 2011

Advanced Graph Theory Research被引用数 3

ひとこと要約

本稿は、彩色数 χ(G) ≥ ∆(G) ≥ 6 かつ団子数 ω(H(G)) ≤ ⌊∆(G)/2⌋ − 2 を満たす ∆-臨界グラフに対して、唯一のこのようなグラフは完全グラフ Kχ(G) であることを証明する。証明は、ケンプチェーンに類似した再彩色と、高次元頂点の構造的解析に基づく最小彩色の議論を用い、KiersteadとKostochkaが以前に提示した7という上限を6に改善できるという予想を解決する。

ABSTRACT

We prove that $K_{\\chi(G)}$ is the only critical graph $G$ with $\\chi(G) \\geq \\Delta(G) \\geq 6$ and $\\omega(\\mathcal{H}(G)) \\leq \\left \\lfloor \\frac{\\Delta(G)}{2} \ ight \ floor - 2$. Here $\\mathcal{H}(G)$ is the subgraph of $G$ induced on the vertices of degree at least $\\chi(G)$. Setting $\\omega(\\mathcal{H}(G)) = 1$ proves a conjecture of Kierstead and Kostochka.

研究の動機と目的

• KiersteadとKostochkaの予想を解決すること：H(G) が独立集合であるとき、χ(G) ≥ ∆(G) ≥ 6 を満たす ∆-臨界グラフで Kχ(G) 以外に存在しないことの証明。
• Ore次数を用いてブルックスの定理を一般化すること：χ(G) = ⌊θ(G)/2⌋ + 1 かつ χ(G) ≥ 6 ならば、G は Kχ(G) クリークを含むことの証明。
• χ(G) に等しい次数以上の頂点が誘導する部分グラフ H(G) に小さな団子を持つ ∆-臨界グラフの構造的制約を確立すること。
• これらの制約のもとで、非完全な ∆-臨界グラフは存在しえないことを証明し、極値ケースを完全に同定すること。

提案手法

• Mozhanの研究にインspしたアルゴリズム的アプローチに基づき、色クラスの和集合に含まれる辺数を最小化する χ(G)-彩色を用いる。
• ケンプチェーンに類似した再彩色技術を適用し、色クラス間の頂点の入れ替えを実行しながら最小性を保ち、高次元頂点が誘導する成分に焦点を当てる。
• 頂点 x 及びその色クラスが誘導する成分 Z_i(x) の構造を分析し、特定の次数条件のもとでこれらが完全グラフまたは奇サイクルでなければならないことを示す。
• 頂点数に関する帰納法を用い、最小反例 G ≠ Kχ(G) を仮定して、リスト彩色の議論により矛盾を導く。
• 団子を除去した後、部分グラフにおけるリスト彩色を完成させるためにハールの定理を適用し、次数および団子の制約のもとで彩色可能性を保証する。
• 訪問回数 (q_i) を追跡する再帰的頂点交換アルゴリズムを用い、臨界的で低い次数の頂点を同定し、構造的矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 Kχ(G) は、χ(G) ≥ ∆(G) ≥ 6 かつ ω(H(G)) ≤ ⌊∆(G)/2⌋ − 2 を満たす ∆-臨界グラフにおいて唯一のものか？
• RQ2 H(G) が独立集合である場合、Kierstead-Kostochka の予想における7という上限を6に改善できるか？
• RQ3 χ(G) = ∆(G) を満たす ∆-臨界グラフが、完全部分グラフ Kχ(G) を含む条件は何か？
• RQ4 Ore次数条件 θ(G) = 2(χ(G)−1) が、χ(G) ≥ 6 を満たすグラフにおいて Kχ(G) クリークの存在を示唆するか？

主な発見

• Kχ(G) は、χ(G) ≥ ∆(G) ≥ 6 かつ ω(H(G)) ≤ ⌊∆(G)/2⌋ − 2 を満たす ∆-臨界グラフにおいて唯一のものであり、主定理が証明された。
• KiersteadとKostochkaの予想が確認された：H(G) が独立集合であるとき、χ(G) ≥ ∆(G) ≥ 6 を満たす ∆-臨界グラフで Kχ(G) 以外に存在しない。
• ∆(G) = 6 のとき、G は K6 − e を部分グラフとして含まない。なぜなら、そのような部分グラフが存在すれば5色で彩色可能となり、臨界性に反する。
• ∆(G) = 6 で C が K5 クリーク、かつ高次元頂点が高々1個であるとき、C の外側の各頂点は C 内の低次元頂点に高々1個しか隣接しない。
• 再帰的頂点交換アルゴリズムにより、すべての y ∈ V(G) に対して q_k(y) ≤ 1 が成り立つ。これは彩色プロセスにおける矛盾を導くために不可欠である。
• 非完全な ∆-臨界グラフが存在すると仮定すると、重複する色リストと次数制約によりリスト彩色の議論に失敗し、矛盾が生じる。これにより、そのようなグラフは存在しえないことが証明された。