[论文解读] Proof of the Goldberg-Seymour Conjecture on Edge-Colorings of Multigraphs

Guantao Chen, Guangming Jing+1 more|arXiv (Cornell University)|Jan 29, 2019

Advanced Graph Theory Research参考文献 18被引用 12

一句话总结

该论文证明了Goldberg-Seymour猜想，确立了任意多重图的色数指数至多为max{Δ(G)+1, ⌈Γ(G)⌉}，其中Δ(G)为最大度数，Γ(G)为图的密度。该证明解决了五十年来未解的边着色问题，表明色数指数仅有两种可能取值，且分数阶边着色松弛解与整数解相差至多为1，意味着存在一个强整数舍入性质。

ABSTRACT

Given a multigraph $G=(V,E)$, the {\em edge-coloring problem} (ECP) is to color the edges of $G$ with the minimum number of colors so that no two adjacent edges have the same color. This problem can be naturally formulated as an integer program, and its linear programming relaxation is called the {\em fractional edge-coloring problem} (FECP). In the literature, the optimal value of ECP (resp. FECP) is called the {\em chromatic index} (resp. {\em fractional chromatic index}) of $G$, denoted by $χ'(G)$ (resp. $χ^*(G)$). Let $Δ(G)$ be the maximum degree of $G$ and let \[Γ(G)=\max \Big\{\frac{2|E(U)|}{|U|-1}:\,\, U \subseteq V, \,\, |U|\ge 3 \hskip 2mm { m and \hskip 2mm odd} \Big\},\] where $E(U)$ is the set of all edges of $G$ with both ends in $U$. Clearly, $\max\{Δ(G), \, \lceil Γ(G) ceil \}$ is a lower bound for $χ'(G)$. As shown by Seymour, $χ^*(G)=\max\{Δ(G), \, Γ(G)\}$. In the 1970s Goldberg and Seymour independently conjectured that $χ'(G) \le \max\{Δ(G)+1, \, \lceil Γ(G) ceil\}$. Over the past four decades this conjecture, a cornerstone in modern edge-coloring, has been a subject of extensive research, and has stimulated a significant body of work. In this paper we present a proof of this conjecture. Our result implies that, first, there are only two possible values for $χ'(G)$, so an analogue to Vizing's theorem on edge-colorings of simple graphs, a fundamental result in graph theory, holds for multigraphs; second, although it is $NP$-hard in general to determine $χ'(G)$, we can approximate it within one of its true value, and find it exactly in polynomial time when $Γ(G)>Δ(G)$; third, every multigraph $G$ satisfies $χ'(G)-χ^*(G) \le 1$, so FECP has a fascinating integer rounding property.

研究动机与目标

• 为解决图论中关于多重图边着色的长期悬而未决问题——Goldberg-Seymour猜想。
• 在最大度数Δ(G)和边密度Γ(G)的术语下，建立色数指数χ′(G)的紧致界。
• 证明χ′(G) ∈ {⌈max{Δ(G), Γ(G)}⌉, ⌈max{Δ(G), Γ(G)}⌉ + 1}，与简单图的Vizing定理相呼应。
• 证明分数阶色数指数χ*(G)与整数色数指数相差至多为1，从而确认了一个深刻的整数舍入性质。

提出的方法

• 将边着色问题表述为整数规划问题，并将其线性规划松弛形式化为分数阶边着色问题（FECP）。
• 以Seymour的结果为基础，即χ*(G) = max{Δ(G), Γ(G)}，用于界定整数解的范围。
• 应用匹配理论与多面体组合学中的高级技术，包括Edmonds的匹配多面体定理。
• 通过Kempe变换和边着色树（ETTs）中的路径分析，对边着色实施稳定性论证。
• 采用对反例的极小性论证，结合退出路径与颜色可交换性，导出矛盾。
• 引入并分析(T, D, φ)-稳定着色及其在Kempe变换下的行为，以控制色数指数的增长。

实验结果

研究问题

• RQ1 每个多重图的色数指数是否满足χ′(G) ≤ max{Δ(G)+1, ⌈Γ(G)⌉}？
• RQ2 多重图的色数指数是否仅能取两个值，类似于简单图的Vizing定理？
• RQ3 分数阶色数指数χ*(G)与整数色数指数χ′(G)之间的差距是否至多为1？
• RQ4 是否能在多项式时间内将色数指数近似到其真实值的±1范围内？
• RQ5 边着色的何种结构特性可确保χ′(G)被限制在max{Δ(G)+1, ⌈Γ(G)⌉}以内？

主要发现

• Goldberg-Seymour猜想已得证明：对所有多重图G，有χ′(G) ≤ max{Δ(G)+1, ⌈Γ(G)⌉}。
• 色数指数χ′(G)仅有两种可能取值：⌈max{Δ(G), Γ(G)}⌉ 和 ⌈max{Δ(G), Γ(G)}⌉ + 1，将Vizing定理推广至多重图。
• 分数阶色数指数满足χ*(G) = max{Δ(G), Γ(G)}，且χ′(G) − χ*(G) ≤ 1，确认了强整数舍入性质。
• 当Γ(G) > Δ(G)时，色数指数χ′(G)可在多项式时间内被精确计算。
• 存在一种近似算法，即使精确计算色数指数为NP难，该算法仍能将χ′(G)近似到真实值的±1范围内。
• 该证明依赖于一种新颖的极小性论证，涉及边着色树中的退出路径以及在Kempe变换下的稳定性。