[论文解读] Edge-coloring via fixable subgraphs

Daniel W. Cranston, Landon Rabern|arXiv (Cornell University)|Jul 20, 2015

Advanced Graph Theory Research参考文献 7被引用 4

一句话总结

本文提出了一种统一框架，通过引入‘可修复性’（fixability）的概念，用于证明边着色中的可约配置，实现了可约配置的系统性计算机辅助识别。研究证明，在多星图中，过剩性（superabundance）是可修复性的充分条件，并推测其在树图中也成立，从而为基于计算证据的人类可理解的边着色定理证明提供了路径。

ABSTRACT

Many graph coloring proofs proceed by showing that a minimal counterexample to the theorem being proved cannot contain certain configurations, and then showing that each graph under consideration contains at least one such configuration; these configurations are called \emph{reducible} for that theorem. (A \emph{configuration} is a subgraph $H$, along with specified degrees $d_G(v)$ in the original graph $G$ for each vertex of $H$.) We give a general framework for showing that configurations are reducible for edge-coloring. A particular form of reducibility, called \emph{fixability}, can be considered without reference to a containing graph. This has two key benefits: (i) we can now formulate necessary conditions for fixability, and (ii) the problem of fixability is easy for a computer to solve. The necessary condition of \emph{superabundance} is sufficient for multistars and we conjecture that it is sufficient for trees as well, which would generalize the powerful technique of Tashkinov trees. Via computer, we can generate thousands of reducible configurations, but we have short proofs for only a small fraction of these. The computer can write \LaTeX\ code for its proofs, but they are only marginally enlightening and can run thousands of pages long. We give examples of how to use some of these reducible configurations to prove conjectures on edge-coloring for small maximum degree. Our aims in writing this paper are (i) to provide a common context for a variety of reducible configurations for edge-coloring and (ii) to spur development of methods for humans to understand what the computer already knows.

研究动机与目标

• 将边着色证明中多样的可约配置统一于一个理论框架之下。
• 开发一种计算上可行的方法，以独立于所含图的方式识别可修复子图。
• 弥合计算机生成的可修复性证明与人类可理解的约化之间的鸿沟。
• 为利用可修复性与过剩性证明边着色领域长期存在的猜想提供基础。
• 推动基于计算洞察的可修复配置的人类可读证明的发展。

提出的方法

• 将可修复性定义为图在列表赋色与颜色集合下的一个属性，独立于其所在图，从而实现抽象分析。
• 采用双人博弈模型形式化部分着色可被修改以扩展为完整着色的概念。
• 引入过剩性概念，作为树图与多星图中可修复性的必要条件，并推测其为充分条件。
• 实现自底向上的动态规划算法，通过迭代识别可着色或可通过凯姆佩变换修复的列表赋色，以测试k-可修复性。
• 通过颜色置换约简与记忆化优化算法，高效探索列表赋色的空间。
• 生成用于可修复性证明的LaTeX代码，尽管这些证明通常冗长且不易为人理解。

实验结果

研究问题

• RQ1 可修复性能否独立于所含图进行定义，从而为边着色中的可约配置提供一个通用框架？
• RQ2 过剩性是否为所有树图中可修复性的充分条件，从而推广塔什金诺夫树方法？
• RQ3 计算机生成的可修复配置列表能否转化为简短、人类可读的证明？
• RQ4 基于可修复性的方法在多大程度上能证明已知的边着色猜想，如维津猜想与伍德哈尔猜想？
• RQ5 该可修复性框架能否统一并扩展边着色证明中现有的可约性技术？

主要发现

• 在多星图中，过剩性是可修复性的充分条件，为识别可约配置提供了具体标准。
• 作者推测，过剩性在树图中也是可修复性的充分条件，这将推广塔什金诺夫树方法。
• 计算机可生成数千个可修复配置，但仅有极少数可转化为简短、人类可读的证明。
• 用于测试k-可修复性的算法采用动态规划与记忆化，高效探索列表赋色与凯姆佩变换策略的空间。
• 若猜想4.3与猜想4.1成立，则可推出维津关于Δ-临界图平均度数猜想的改进界。
• 该框架为通过可修复配置证明伍德哈尔关于Δ-临界图独立数与平均度数的界限提供了路径。