[论文解读] Brooks' Vertex-Colouring Theorem in Linear Time

Bradley Baetz, David R. Wood|arXiv (Cornell University)|Jan 30, 2014

Advanced Graph Theory Research参考文献 6被引用 6

一句话总结

本文提出了一种线性时间算法，用于使用至多 Δ 种颜色对图进行顶点着色，这符合 Brooks 定理的保证，通过完善和优化 Lovász 的算法证明实现。通过高效识别结构组件（如双连通子图和距离为 2 的顶点对），该算法在所有图（包括完全图和奇圈）上实现了 O(|V| + |E|) 的运行时间，达到最优性能。

ABSTRACT

Brooks' Theorem [R. L. Brooks, On Colouring the Nodes of a Network, Proc. Cambridge Philos. Soc.} 37:194-197, 1941] states that every graph $G$ with maximum degree $Δ$, has a vertex-colouring with $Δ$ colours, unless $G$ is a complete graph or an odd cycle, in which case $Δ+1$ colours are required. Lovász [L. Lovász, Three short proofs in graph theory, J. Combin. Theory Ser. 19:269-271, 1975] gives an algorithmic proof of Brooks' Theorem. Unfortunately this proof is missing important details and it is thus unclear whether it leads to a linear time algorithm. In this paper we give a complete description of the proof of Lovász, and we derive a linear time algorithm for determining the vertex-colouring guaranteed by Brooks' Theorem.

研究动机与目标

• 提供 Brooks 定理的完整且可实现的算法证明，弥补 Lovász 原证明中的缺失细节。
• 设计一种线性时间算法，用于计算任意最大度为 Δ 的图的 Brooks-着色（使用 Δ 或 Δ+1 种颜色）。
• 通过单独处理特殊情况（完全图和奇圈）并利用双连通结构，确保算法的正确性和效率。
• 证明该算法在 O(|V| + |E|) 时间内运行，达到在定理约束下图着色的理论时间下限。

提出的方法

• 使用深度优先搜索在 G\{a,b} 中构造顶点顺序，使得每个顶点在其序列中较早位置即拥有已着色的邻居。
• 选择两个距离为 2 且不相邻的顶点 a 和 b，使得 G\{a,b} 保持连通，从而安全地对图的其余部分进行着色。
• 以顶点序列的逆序应用贪心着色策略，为每个顶点分配尚未被其已着色邻居使用的最小颜色。
• 利用双连通分量分解和块-树森林遍历，将局部着色扩展到整个图，实现线性时间复杂度。
• 单独识别并处理特殊情况（完全图和奇圈），在必要时分配 Δ+1 种颜色。
• 使用双连通性测试和块-树分析，高效定位末端块和割点，确保结构正确性。

实验结果

研究问题

• RQ1 Lovász 对 Brooks 定理的不完整算法证明能否被补全为一个完整指定且高效的算法？
• RQ2 是否可能对所有图（包括完全图和奇圈）在 O(|V| + |E|) 时间内计算出 Brooks-着色？
• RQ3 双连通图的哪些结构特性使得存在距离为 2 的顶点对，其移除后仍保持连通性？
• RQ4 如何高效地并行化或排序着色过程，以确保在不回溯的情况下实现 Δ-着色？

主要发现

• 本文提供了 Brooks 定理的完整且正确的算法证明，解决了 Lovász 原证明中缺失的细节。
• 通过识别合适的距离为 2 的顶点对 (a,b)，使得 G\{a,b} 保持连通，实现了线性时间的 Brooks-着色算法。
• 该算法在 O(|V| + |E|) 时间内运行，达到 Brooks 定理约束下图着色的最优时间复杂度。
• 特殊情况（完全图和奇圈）被检测并以 Δ+1 种颜色在时间复杂度线性时间内着色，与定理一致。
• 通过使用深度优先搜索进行顶点排序以及双连通分量分析，确保了算法的正确性和效率。