[论文解读] A Proof of a Conjecture of Ohba

Jonathan A. Noel, Bruce A. Reed+1 more|arXiv (Cornell University)|Nov 8, 2012

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

一句话总结

本文证明了欧巴猜想，该猜想指出：每个满足 $ |V(G)| \leq 2\chi(G)+1 $ 的图 $ G $ 都有 $ \chi_{\ell}(G) = \chi(G) $。证明通过结构分析、霍尔定理和计数论证，表明极小反例不可能存在，从而确立了此类图的列表色数等于色数。

ABSTRACT

We prove a conjecture of Ohba which says that every graph $G$ on at most $2χ(G)+1$ vertices satisfies $χ_\ell(G)=χ(G)$.

研究动机与目标

• 为解决列表染色领域一个长期悬而未决的难题——欧巴猜想，该猜想认为满足 $ |V(G)| \leq 2\chi(G)+1 $ 的图有 $ \chi_\ell(G) = \chi(G) $。
• 证明 $ 2\chi(G)+1 $ 这一顶点数的界是紧的，因为存在顶点数为 $ 2\chi(G)+2 $ 但满足 $ \chi_\ell(G) > \chi(G) $ 的图。
• 通过将问题约化为最多有 $ 2k+1 $ 个顶点的完全 $ k $-部图的情形，证明该猜想对所有图均成立。
• 对极小反例进行结构刻画，并通过组合与极值论证证明其不存在。

提出的方法

• 约化为完全 $ k $-部图：若该猜想对所有满足 $ |V(G)| \leq 2k+1 $ 的完全 $ k $-部图成立，则对所有图均成立。
• 应用霍尔定理验证在特定列表赋值下可接受染色的存在性，尤其关注颜色可用性与顶点覆盖情况。
• 对列表中颜色数量的计数论证：在极小反例中，所有列表中不同颜色的总数至多为 $ 2k $，从而可利用频繁出现的颜色。
• 引入一种特殊的非可接受染色类型：某顶点被赋予其列表中不存在的颜色，但无其他顶点被赋予该颜色，从而可在可接受染色基础上进行受控修改。
• 应用极值界：证明利用了最大部分大小 $ \alpha $、频繁颜色数量以及邻域集大小之间的不等式，导出反例存在的矛盾。
• 利用极小反例中 $ |V(G)| = 2k+1 $ 的事实，对颜色 $ c $ 的 $ \left|N_B(c) ight| $ 建立紧致界，若 $ \beta \geq \frac{1}{2}(k+1-b-2\gamma) $，则导致矛盾。

实验结果

研究问题

• RQ1 每个满足 $ |V(G)| \leq 2\chi(G)+1 $ 的图 $ G $ 是否都有 $ \chi_\ell(G) = \chi(G) $？
• RQ2 顶点数的界 $ 2\chi(G)+1 $ 对于 $ \chi_\ell(G) = \chi(G) $ 是否是紧的？
• RQ3 该猜想能否约化为完全 $ k $-部图的情形？
• RQ4 极小反例必须满足哪些结构性质？
• RQ5 能否利用列表中不同颜色数量的极值界以及颜色频率分布，来排除反例的存在？

主要发现

• 欧巴猜想被证明为真：每个满足 $ |V(G)| \leq 2\chi(G)+1 $ 的图 $ G $ 都有 $ \chi_\ell(G) = \chi(G) $。
• 界 $ 2\chi(G)+1 $ 是紧的，因为存在顶点数为 $ 2\chi(G)+2 $ 但满足 $ \chi_\ell(G) > \chi(G) $ 的图。
• 在欧巴猜想的任何极小反例中，所有列表中不同颜色的总数至多为 $ 2k $，其中 $ k = \chi(G) $。
• 若存在颜色 $ c^* $ 满足 $ |N_B(c^*)| = k - \beta $，且 $ \beta < \frac{1}{2}(k+1-b-2\gamma) $，则导致矛盾，从而证明不存在此类反例。
• 证明表明，对于顶点数不超过 $ 2k+1 $ 的完全 $ k $-部图，有 $ \chi_\ell(G) = k $，从而确认了该猜想。
• 该结果意味着，对于顶点数不超过 $ 3k $ 的图，其列表色数满足 $ \max\left\{k, \left\lceil \frac{|V(G)| + k - 1}{3} \right\rceil \right\} $ 的上界，如后续工作所示。