Kneser图在$n\geq 4k$时为哈密顿图的简短证明

对于整数$n\geq k\geq 1$，Kneser图$K(n,k)$的顶点集为$V=[n]^{(k)}$、边集为$E=\{\{x,y\} \in V^{(2)}: x\cap y=\emptyset\}$。Chen证明了当$n\geq 3k$时Kneser图是哈密顿图，后来将其改进为$n\geq 2.62k+1$。此外，Chen和F"uredi给出了一个简短证明：若$k | n$，则Kneser图在$n\geq 3k$时为哈密顿图。在本注记中，我们给出一个不需要可除性条件的简短证明，即我们证明$K(n,k)$在$n\geq 4k$时为哈密顿图。