每个 图，具有 
个顶点，且最大顶点度 
，是 
-可着色的，且所有颜色类的大小为 
或 ![[n/(k+1)]](/images/equations/Hajnal-SzemerediTheorem/Inline5.svg)
，其中 
是向下取整函数，![[x]](/images/equations/Hajnal-SzemerediTheorem/Inline7.svg)
是向上取整函数。
Hajnal-Szemerédi 定理
另请参阅
Seymour 猜想使用 Wolfram|Alpha 探索
参考文献
Hajnal, A. 和 Szemerédi, E. “Erdős 猜想的证明。” 在 组合理论及其应用，第 2 卷 （P. Erdős, A. Rényi 和 V. T. Sós 编辑）中。 荷兰阿姆斯特丹：North-Holland，第 601-623 页，1970 年。Komlós, J.; Sárkőzy, G. N.; 和 Szemerédi, E. “大型图的 Seymour 猜想的证明。” Ann. Comb. 2, 43-60, 1998。在 Wolfram|Alpha 中被引用
Hajnal-Szemerédi 定理请按如下方式引用
Weisstein, Eric W. “Hajnal-Szemerédi 定理。” 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/Hajnal-SzemerediTheorem.html