[论文解读] Ore's Conjecture on color-critical graphs is almost true

Alexandr Kostochka, Matthew Yancey|arXiv (Cornell University)|Sep 5, 2012

Limits and Structures in Graph Theory参考文献 13被引用 4

一句话总结

该论文证明了 $k$-临界图中最小边数的近乎最优下界，确立了 $f_k(n) \geq F(k,n) = \left\lceil \frac{(k+1)(k-2)n - k(k-3)}{2(k-1)} \right\rceil$，该下界在 $k=4$ 且对所有 $n \geq 6$ 时精确成立，且在 $k \geq 5$ 且 $n \equiv 1 \pmod{k-1}$ 时也精确成立。该结果几乎完全证实了奥雷于1967年提出的猜想，且对满足稀疏性条件的图提供了多项式时间的 $(k-1)$-染色算法。

ABSTRACT

A graph $G$ is $k$-critical if it has chromatic number $k$, but every proper subgraph of $G$ is $(k-1)$--colorable. Let $f_k(n)$ denote the minimum number of edges in an $n$-vertex $k$-critical graph. We give a lower bound, $f_k(n) \geq F(k,n)$, that is sharp for every $n=1 ({ m mod} k-1)$. It is also sharp for $k=4$ and every $n\geq 6$. The result improves the classical bounds by Gallai and Dirac and subsequent bounds by Krivelevich and Kostochka and Stiebitz. It establishes the asymptotics of $f_k(n)$ for every fixed $k$. It also proves that the conjecture by Ore from 1967 that for every $k\geq 4$ and $n\geq k+2$, $f_k(n+k-1)=f(n)+\frac{k-1}{2}(k - \frac{2}{k-1})$ holds for each $k\geq 4$ for all but at most $k^3/12$ values of $n$. We give a polynomial-time algorithm for $(k-1)$-coloring a graph $G$ that satisfies $|E(G[W])| < F_k(|W|)$ for all $W \subseteq V(G)$, $|W| \geq k$. We also present some applications of the result.

研究动机与目标

• 确定所有 $k \geq 4$ 和 $n \geq k$ 的情况下，$n$ 个顶点的 $k$-临界图中最小边数的精确值，记为 $f_k(n)$。
• 通过证明该猜想对所有但有限多个 $n$ 成立，从而解决奥雷于1967年提出的猜想：$f_k(n+k-1) = f_k(n) + \frac{(k-1)(k - 2/(k-1))}{2}$，其中 $k \geq 4$ 且 $n \geq k+2$。
• 为满足对所有满足 $|W| \geq k$ 的子集 $W \subseteq V(G)$ 有 $|E(G[W])| < F_k(|W|)$ 的图 $G$，提供一个多项式时间的 $(k-1)$-染色算法。
• 在加拉依、迪拉克、克里维列维奇以及科斯托奇卡与施蒂比茨的经典下界基础上，改进 $k$-临界图中最小边数的下界。

提出的方法

• 通过分析 $k$-临界图的结构和闭邻域性质，推导出新的下界 $f_k(n) \geq F(k,n) = \left\lceil \frac{(k+1)(k-2)n - k(k-3)}{2(k-1)} \right\rceil$。
• 采用基于顶点约简和列表染色的递归算法，涵盖度数为 $k-1$ 的顶点、共享闭邻域以及退化子图的各类情况。
• 利用网络流技术对子图 $H$ 中的边进行定向，并应用基于核的染色方法，将部分染色从子图 $G'$ 扩展到完整图 $G$。
• 通过在图上定义偏序关系以确保递归算法的终止，基于顶点对等价关系和边数减少量来限制递归深度。
• 整合一种构造性证明技术，验证在稀疏性约束下 $(k-1)$-染色的存在性，从而导出一个多项式时间算法。
• 通过归纳法和图结构的案例分析验证该下界，包括使用 $k$-临界子图和边最小性。

实验结果

研究问题

• RQ1 奥雷于1967年提出的关于 $f_k(n)$ 边数增长的猜想是否对所有 $k \geq 4$ 和 $n \geq k+2$ 成立？
• RQ2 对于固定的 $k \geq 4$，当 $n \to \infty$ 时，$f_k(n)$ 的精确渐近行为是什么？
• RQ3 能否构造一个多项式时间算法，对所有大子集中均稀疏的图实现 $(k-1)$-染色？
• RQ4 新下界 $F(k,n)$ 与加拉依、迪拉克、克里维列维奇以及科斯托奇卡与施蒂比茨的先前下界相比如何？
• RQ5 在哪些 $n$ 值下，下界 $F(k,n)$ 是精确的？实现该下界的极值 $k$-临界图的结构是怎样的？

主要发现

• 下界 $f_k(n) \geq F(k,n) = \left\lceil \frac{(k+1)(k-2)n - k(k-3)}{2(k-1)} \right\rceil$ 在 $k=4$ 且对所有 $n \geq 6$ 时精确成立，且在 $k \geq 5$ 且所有满足 $n \equiv 1 \pmod{k-1}$，$n \neq 1$ 的情况下也精确成立。
• 渐近边密度满足 $\phi_k = \lim_{n \to \infty} \frac{f_k(n)}{n} = \frac{k}{2} - \frac{1}{k-1}$，与哈约斯构造的上界一致。
• 奥雷于1967年的猜想 $f_k(n+k-1) = f_k(n) + \frac{(k-1)(k - 2/(k-1))}{2}$ 对所有 $k \geq 4$ 以及所有但至多 $k^3/12$ 个 $n$ 值成立。
• 提供了一个多项式时间算法，可对任意满足对所有 $W \subseteq V(G)$ 且 $|W| \geq k$ 有 $|E(G[W])| < F_k(|W|)$ 的图 $G$ 实现 $(k-1)$-染色，时间复杂度为 $O(k^{3.5}n^{6.5}\log n)$。
• 该结果优于所有先前关于 $f_k(n)$ 的下界，包括加拉依、迪拉克、克里维列维奇以及科斯托奇卡与施蒂比茨的成果。
• 该证明还给出了格罗茨施的定理的简短新证明：每个不含三角形的平面图都是 $3$-可染色的。