[论文解读] 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)。证明基于基于 Kempe 链式重着色的最小着色论证与高阶顶点的结构分析，解决了 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) 为独立集时，Kχ(G) 是唯一满足 χ(G) ≥ ∆(G) ≥ 6 的 ∆-临界图。
• 通过 Ore-度推广 Brooks 定理，证明若 χ(G) = ⌊θ(G)/2⌋ + 1 且 χ(G) ≥ 6，则 G 包含一个 Kχ(G) 完全子图。
• 建立 ∆-临界图在由度数至少为 χ(G) 的顶点诱导的子图 H(G) 中具有小团时的结构约束。
• 证明在这些约束下，不存在非完全图的 ∆-临界图，从而刻画了极值情形。

提出的方法

• 采用基于 Mozhan 工作启发的算法方法，对 G 施加一个最小的 χ(G)-着色，以最小化着色类并集中的边数。
• 应用类 Kempe 链的重着色技术，在保持最小性的同时交换着色类之间的顶点，重点分析由高阶顶点诱导的连通分量。
• 分析由顶点 x 及其对应着色类诱导的连通分量 Z_i(x) 的结构，证明在特定度数条件下，这些分量必须是完全图或奇圈。
• 通过顶点数的归纳法，假设存在一个最小反例 G ≠ Kχ(G)，并利用列表着色论证推导出矛盾。
• 在移除团之后，对子图应用 Hall 定理以完成列表着色，确保在度数与团约束下保持可着色性。
• 使用递归的顶点交换算法，通过跟踪访问次数（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) 为独立集时，Kχ(G) 是唯一满足 χ(G) ≥ ∆(G) ≥ 6 的 ∆-临界图。
• 当 ∆(G) = 6 时，G 不包含 K6 − e 子图，因为此类子图将允许一种 5-着色，与临界性矛盾。
• 当 ∆(G) = 6 且 C 是一个 K5 团，且其中至多有一个高阶顶点时，C 外部的每个顶点在 C 中至多与一个低阶顶点相邻。
• 递归顶点交换算法确保对所有 y ∈ V(G) 有 q_k(y) ≤ 1，这对在着色过程中推导矛盾至关重要。
• 当假设存在一个非完全图的 ∆-临界图时，矛盾产生：由于颜色列表重叠与度数约束，列表着色论证失败，从而证明不存在此类图。