[论文解读] Planar graphs with maximum degree D at least 8 are (D+1)-edge-choosable

Marthe Bonamy|arXiv (Cornell University)|Mar 17, 2013

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

一句话总结

本文证明了每个最大度 Δ ≥ 8 的平面图都是 (Δ+1)-边可选的，从而解决了 Borodin 对 Δ = 8 的长期猜想。作者使用了针对特定构型的放电法与有向图中的重着色论证，证明了不存在极小反例，从而确认了该类图的 Vizing 列表着色猜想。

ABSTRACT

We consider the problem of list edge coloring for planar graphs. Edge coloring is the problem of coloring the edges while ensuring that two edges that are incident receive different colors. A graph is k-edge-choosable if for any assignment of k colors to every edge, there is an edge coloring such that the color of every edge belongs to its color assignment. Vizing conjectured in 1965 that every graph is (D+1)-edge-choosable, where D is the maximum degree. In 1990, Borodin solved the conjecture for planar graphs with maximum degree at least 9, and asked whether the bound could be lowered to 8. We prove here that planar graphs with maximum degree D at least 8 are (D+1)-edge-choosable.

研究动机与目标

• 解决 Borodin 提出的开放问题：平面图在 Δ = 8 时是否为 (Δ+1)-边可选的。
• 弥合 Vizing 的列表边着色猜想在平面图中已知结果中 Δ ≥ 9 与 Δ ≤ 7 之间的差距。
• 建立所有最大度 Δ ≥ 8 的平面图均满足 (Δ+1)-边可选性，扩展了先前的结果。

提出的方法

• 在假设存在一个最大度 Δ(G) ≤ 8 且 χ′_ℓ(G) > 9 的极小反例图 G 上应用放电法。
• 通过结构分析与边列表着色扩展论证，定义并禁止特定构型（C₁ 至 C₁₁）。
• 为顶点分配初始权重 (d(v) − 6)，为面分配初始权重 (2d(f) − 6)，以应用欧拉公式并导出矛盾。
• 应用一组放电规则（R₃ 至 R₈），根据邻居类型（弱邻居、半弱邻居、E₂/E₃/E₄-邻居）重新分配权重，确保最终权重非负。
• 在关键命题（如命题 3、4、6）中使用有向图重着色论证，将子图上的 L-边着色扩展至整个图。
• 证明放电后总权重保持非负，与欧拉公式矛盾，从而消除了极小反例的存在。

实验结果

研究问题

• RQ1 所有最大度 Δ = 8 的平面图是否都是 (Δ+1)-边可选的？
• RQ2 Borodin 关于 (Δ+1)-边可选性的结果中，Δ ≥ 9 的界限能否降低至 Δ ≥ 8？
• RQ3 对于最大度 Δ ≥ 8 的平面图，列表边着色猜想是否成立，即是否满足 χ′_ℓ(G) ≤ Δ(G) + 1？

主要发现

• 每个最大度 Δ ≥ 8 的平面图都是 (Δ+1)-边可选的，从而确认了该情况下的猜想 2。
• 该结果解决了 Borodin 在 2013 年关于平面图列表边着色的调查中提出的第 5.9 题。
• 证明表明，在给定约束下不存在极小反例，方法基于禁止构型的放电法。
• 对于最大度满足 5 ≤ Δ ≤ 7 的平面图，结果意味着其具有 9-边可选性，这是此前未知的界。
• 该方法成功处理了标准放电技术难以应对的构型，通过有向图重着色论证实现。
• 该方法可推广用于证明 Δ ≥ 8 时的 (Δ+1)-边可选性，尽管其结果影响力不及 Δ ≥ 9 时的更简洁证明。