[论文解读] 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 算法的划分技术，并分析高阶顶点诱导子图的性质，作者简化并推广了此前关于带度数约束的 Brooks 型定理的结果，证明在该子图的团数满足特定界限时，仅可能的极值图是 $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}.

研究动机与目标

• 推广并简化此前关于顶点临界图中带度数约束的 Brooks 型定理的研究结果。
• 在高阶子图 $\mathcal{H}(G)$ 的团数满足给定界限的条件下，精确识别出极值图——即 $K_{\chi(G)}$ 或 $O_5$。
• 用 Catlin 更通用的方法替代 Mozhan 的算法，实现统一且简化的证明框架。
• 提出两个具有独立兴趣的新划分引理，其中一个引理可推出所有主要着色结果。

提出的方法

• 采用 Catlin 的算法化方法，将图划分为最大度有界的子图，优于此前依赖 Mozhan 算法的方法。
• 将子图 $\mathcal{H}(G)$ 定义为度数至少为 $\chi(G)$ 的顶点所诱导的子图，并分析其团数 $\omega(\mathcal{H}(G))$。
• 应用 $\mathbf{r}$-划分框架，其中 $w(\mathbf{r}) \geq \max\{\Delta(G)+1-k, d\}$，确保每个部分的最大度不超过 $r_i$。
• 引入 $d$-可移动子图的概念，用于追踪可在不增加目标函数 $f(P)$ 的情况下在各部分间移动的顶点。
• 在 $G$ 中 $\chi$-团的补图上使用列表着色论证，通过不相交的列表与独立集推导矛盾，前提是图不完全。
• 通过假设 $G$ 的极小性并分析由合并一对非邻接顶点形成的图 $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 能否通过用 Catlin 更通用的框架替代 Mozhan 的算法，来简化带度数约束的 Brooks 型定理的证明？
• 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$，否则将导致矛盾，该结论通过在 $\chi$-团补图上的列表着色与独立集论证得出。
• 该方法表明，若高阶子图中存在一对非邻接顶点，且其对应列表不相交且足够大，则除非图是 $O_5$，否则将导致矛盾。
• 对坍塌图 $A'$ 的分析表明 $\chi(A') = \chi$，且 $A'$ 必为 $K_\chi$ 或 $O_5$，若假设 $O_5$ 包含一个所有邻居均为低阶的顶点，则将导致矛盾。