[论文解读] Chromatic number and mimimum degree of K_r-free graphs

Vladimir Nikiforov|arXiv (Cornell University)|Jan 13, 2010

Limits and Structures in Graph Theory参考文献 9被引用 7

一句话总结

该论文通过确定控制色数的最小度阈值，将关于无三角形图的经典结果推广至 $K_{r+1}$-自由图。证明了当 $K_{r+1}$-自由图的最小度超过 $\left(1 - \frac{2}{2r-1}\right)n$ 时，其色数至多为 $r+2$，并刻画了在此阈值下 $r+1$-色和 $r+2$-色图的结构，推广了早期关于 Andrásfai 图与 Hajnal 图的工作。

ABSTRACT

A number of famous results about triangle-free graphs determine the maximum chromatic number of graphs of order n with minimum degree greater than n/3. In this note these results are extended to Kr-free graphs.

研究动机与目标

• 填补对最小度较高的 $K_{r+1}$-自由图色数理解的空白，推广早期关于无三角形图的结果。
• 将 Erdős–Simonovits 猜想与 Brandt–Thomassé 定理从 $r=2$ 推广至 $r \geq 3$。
• 刻画最小度超过 $\left(1 - \frac{2}{2r-1}\right)n$ 且色数为 $r+1$ 或 $r+2$ 的 $K_{r+1}$-自由图的结构。
• 构造显式家族的 $K_{r+1}$-自由图，其色数可任意大，且最小度超过 $\left(1 - \frac{2}{2r-1}\right)n - o(n)$。
• 通过极值构造与 Andrásfai 图的放大构造，证明色数界 $r+2$ 的紧致性。

提出的方法

• 通过 Andrásfai 图的放大构造，将 Hajnal 构造无三角形图（最小度高且色数大）的方法推广至 $K_{r+1}$-自由图。
• 以 Turán 图 $T_{r-2}(n)$ 作为基础组件，构建具有受控最小度的 $K_{r+1}$-自由图。
• 应用第 $k$ 个 Andrásfai 图的放大构造 $A_k(t)$，构建最小度高且色数为 $r+1$ 的 $K_{r+1}$-自由图。
• 通过分别分析 Turán 组件与 Andrásfai 放大组件内的度数，建立最小度的下界。
• 利用渐近分析与下取整函数估计，证明最小度超过 $\left(1 - \frac{2k-1}{(2k-1)r - k + 1}\right)n - 1$。
• 通过构造满足度阈值但非同态于更小 Andrásfai 类型图的极值图，证明边界的紧致性。

实验结果

研究问题

• RQ1 对于最小度超过 $\left(1 - \frac{2}{2r-1}\right)n$ 的 $K_{r+1}$-自由图，其最大色数是多少？
• RQ2 对于最小度超过 $\left(1 - \frac{2}{2r-1}\right)n$ 的 $K_{r+1}$-自由图，色数最大可达到多大？
• RQ3 最小度超过 $\left(1 - \frac{2}{2r-1}\right)n$ 且色数为 $r+1$ 或 $r+2$ 的 $K_{r+1}$-自由图的结构特征是什么？
• RQ4 能否构造出最小度超过 $\left(1 - \frac{2}{2r-1}\right)n - o(n)$ 且色数可任意大 $K_{r+1}$-自由图？
• RQ5 对于最小度超过 $\left(1 - \frac{2}{2r-1}\right)n$ 的 $K_{r+1}$-自由图，色数界 $r+2$ 是否紧致？

主要发现

• 对每个 $r \geq 2$，任意阶为 $n$ 的 $K_{r+1}$-自由图 $G$，若 $\delta(G) > \left(1 - \frac{2}{2r-1}\right)n$，则有 $\chi(G) \leq r+2$。
• 存在阶为 $n$ 的 $K_{r+1}$-自由图，其最小度超过 $\left(1 - \frac{2}{2r-1}\right)n - o(n)$ 且色数可任意大。
• 最小度超过 $\left(1 - \frac{2}{2r-1}\right)n$ 的 $r+1$-色 $K_{r+1}$-自由图的结构被刻画为同态于 $A_k + K_{r-2}$ 的形式（对某个 $k$）。
• 对 $1 \leq k \leq 9$，若 $G$ 是 $K_{r+1}$-自由图且 $\delta(G) > \left(1 - \frac{2k-1}{(2k-1)r - k + 1}\right)n$，则 $G$ 同态于 $A_k + K_{r-2}$，从而 $\chi(G) \leq r+1$。
• 极值构造表明，色数界 $\chi(G) \leq r+2$ 是紧致的，因为存在 $K_{r+1}$-自由图在该阈值下可达到此色数。
• 最小度阈值 $\left(1 - \frac{2}{2r-1}\right)n$ 是精确的：对 $r \geq 3$，存在 $K_{r+1}$-自由图，其最小度超过 $\left(1 - \frac{2}{2r-1}\right)n - o(n)$ 且色数可任意大。