[论文解读] A simple and fast heuristic algorithm for edge-coloring of graphs

M.A. Fiol, J. Vilaltella|arXiv (Cornell University)|Oct 18, 2012

Advanced Graph Theory Research参考文献 3被引用 10

一句话总结

本文提出一种快速启发式算法CVD（冲突顶点位移），用于图的边着色，特别针对立方图和Δ-正则图，通过凯姆佩链交换来解决颜色冲突。该算法在实践中高效地找到了正确的边着色，对随机图表现出经验上的成功，并验证了关于奇图的长期存在的猜想，直至k=11。

ABSTRACT

A simple but empirically efficient heuristic algorithm for the edge-coloring of graphs is presented. Its basic idea is the displacement of "conflicts" (repeated colors in the edges incident to a vertex) along paths of adjacent vertices whose incident edges are recolored by swapping alternating colors (that is, doing a Kempe interchange). The results of performance tests on random cubic and $Δ$-regular graphs are presented, and a full implementation of the algorithm is given to facilitate its use and the reproducibility of results.

研究动机与目标

• 开发一种简单且快速的启发式算法用于图的边着色，特别是针对NP完全的立方图和Δ-正则图问题。
• 通过使用概率方法而非精确计算来打破不可解性，从而为大规模图提供实用解法。
• 在随机图上测试该算法的性能，并将其应用于验证组合猜想，例如奇图O_k的类一状态。
• 提供一个完全可实现的算法，支持可重现结果，以促进未来在组合学和优化领域的研究与应用。

提出的方法

• 算法从一个立方图的随机3-边着色开始，识别出其关联边颜色相同的冲突顶点。
• 通过构建凯姆佩链——两种颜色交替的路径——并在这些路径上执行颜色交换，将冲突位移到其他顶点来解决冲突。
• 算法优先处理冲突水平最高的顶点（度数减去其关联边中不同颜色的数量）以指导冲突解决。
• 使用字典数据结构维护每个顶点的冲突水平，从而高效跟踪所有顶点的总冲突度（冲突水平之和）。
• 如果在固定次数的重复冲突顶点选择（重复限制）后未取得改进，则算法将使用新的随机着色重新开始。
• 对于一般Δ-正则图和最大度Δ的图，该方法通过将冲突水平作为不正确着色的度量进行推广，采用类似的基于凯姆佩的解决策略和重启启发式方法。

实验结果

研究问题

• RQ1 能否通过一种简单的启发式算法在实践中高效解决立方图边着色的NP完全问题？
• RQ2 基于凯姆佩链的冲突位移策略是否能显著减少冲突数量，并在随机立方图和Δ-正则图中导致正确的着色？
• RQ3 该算法能否成功验证奇图O_k为类一图的猜想（除了k=3和k为2的幂次），直至k=11？
• RQ4 该算法在大规模随机图上的运行时间和成功率方面，其经验性能如何？
• RQ5 该算法的行为如何随不同参数设置（如重复限制和迭代限制）而变化？

主要发现

• CVD算法在测试的所有随机立方图和Δ-正则图中均成功实现了边着色，表现出高度的经验效率，表明尽管问题为NP完全，但在实践中仍具有可解性。
• 该算法验证了奇图O_k在所有k≤11的情况下均为类一图的猜想，除了k=3和k为2的幂次，支持了更广泛的猜想。
• 预期运行时间为O(n²)，由于早期收敛，实际性能通常优于最坏情况估计。
• 在凯姆佩链操作过程中，总冲突度（所有顶点冲突水平之和）显著下降，且在许多运行中算法稳定在零冲突度。
• 通过使用冲突水平优先策略和重启机制，有效防止了无限循环，并提升了收敛速度，尤其是在困难实例中。
• 论文中提供的完整实现支持可重现性，并便于集成到更大的组合问题求解流程中。