[论文解读] A short proof of Brooks' theorem

Mariusz Zając|arXiv (Cornell University)|May 28, 2018

Interconnection Networks and Systems被引用 1

一句话总结

本文提出了一种简洁的、基于归纳法的Brooks定理证明，采用贪心路径着色方法，避免了连通性相关的复杂问题。该方法可推广至列表着色和对应着色，提供了一种统一的、算法化的思路，证明了最大度为k的图（排除完全图和奇圈）的k-可着色性。

ABSTRACT

We give a simple short proof of Brooks' theorem using only induction and greedy coloring, while avoiding issues of graph connectivity. The argument generalizes easily to some extensions of Brooks' theorem, including its variants for list coloring, signed graphs coloring and correspondence coloring.

研究动机与目标

• 提供一种不依赖图连通性论证的简洁、自包含的Brooks定理证明。
• 将该证明方法扩展至列表着色和对应着色，这两种是图着色的推广形式。
• 提出一种用于最大度为k的图的k-着色的构造性算法，排除完全图和奇圈。
• 通过避免复杂子图搜索（如双连通分量、完全图、theta图）来简化现有证明。

提出的方法

• 基于顶点数进行归纳，从较小的图开始。
• 应用一种贪心路径着色过程PathColor，沿路径依次着色顶点，但保留最后一个顶点未着色。
• 从顶点v的两个非相邻邻居出发，构造一条最大路径P，以确保结构灵活性。
• 在情况1（P覆盖所有顶点）中，通过为两个非相邻邻居共享一种颜色来着色路径和顶点v。
• 在情况2（P未覆盖所有顶点）中，从图中删除一个环C，通过归纳法着色剩余部分，再通过颜色共享策略重新整合C。
• 通过将约束建模为约束图F，将该方法扩展至对应着色，每条邻接边最多保留一种可用颜色。

实验结果

研究问题

• RQ1 是否可以仅使用归纳法和贪心着色来证明Brooks定理，而无需依赖基于连通性的案例分析？
• RQ2 所提出的方法是否可推广至列表着色，即每个顶点有k种可接受的颜色？
• RQ3 该方法是否可扩展至对应着色，一种包含符号图着色的推广形式？
• RQ4 所得的着色算法是否高效且可在线性时间内实现？
• RQ5 该方法是否可在避免复杂子图检测（如完全图、theta图）的同时保持正确性？

主要发现

• 本文提供了一种仅使用归纳法和贪心路径着色的简短、自包含的Brooks定理证明。
• 该证明避免了复杂的连通性论证，且无需识别双连通分量或特殊子图。
• 该方法可直接推广至列表着色，确保当每个顶点有k种可用颜色时，可实现合法着色。
• 该方法可扩展至对应着色，证明了在任意约束图F下存在满足条件的着色，且|L(v)| = k。
• 该算法的时间复杂度为O(m + n)，与先前方法效率相当，但正确性证明和实现更为简单。
• 该结果作为对应着色的特例，也给出了符号图的Brooks型定理的新证明。