克内泽 (1955) 提出的一个组合猜想。它指出，无论何时将一个 
-集合的 
-子集划分为 
类，那么总有两个不相交的子集最终属于同一类。
Lovász (1978) 给出了一个基于图论的证明。 特别是，他证明了 克内泽图（其顶点表示 
-子集，每条边连接两个不相交的子集）不是 
-可着色的。 更准确地说，他的结果表明色数等于 
，这意味着如果类的数量增加到 
，克内泽猜想总是错误的。
Bárány (1978) 给出了另一个证明。
克内泽猜想
另请参阅
克内泽图此条目由 Margherita Barile 贡献
使用 Wolfram|Alpha 探索
参考文献
Bárány, I. "克内泽猜想的简短证明。" J. Comb. Th. A 25, 325-326, 1978.Godsil, C. 和 Royle, G. 代数图论。 New York: Springer-Verlag, p. 160, 2001.Kneser, M. "问题 300。" Jahresber. Deutsch. Math.-Verein 58, 1955.Lovász, L. "克内泽猜想、色数和同伦。" J. Comb. Th. A 25, 319-324, 1978.在 Wolfram|Alpha 中被引用
克内泽猜想请引用为
Barile, Margherita. "克内泽猜想。" 来自 MathWorld--Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/KnesersConjecture.html