Kneser 图着色中的平凡色

我们证明，只要 $n>(2+\varepsilon)k^2$（其中当 $k\to \infty$ 时 $\varepsilon\to 0$），任何用 $n-2k+2$ 种颜色对 Kneser 图 $KG_{n,k}$ 进行的正常着色都包含一个平凡色（即由全都含有某个固定元素的集合所组成的颜色）。该界本质上是紧的。这是关于正常着色 $KG_{n,k}$ 所需非平凡色的最小个数的一个更一般结果的推论。