克內澤 (1955) 提出的一個組合猜想。它指出,無論何時將一個 -集合的
-子集劃分為
類,那麼總有兩個不相交的子集最終屬於同一類。
Lovász (1978) 給出了一個基於圖論的證明。 特別是,他證明了 克內澤圖(其頂點表示 -子集,每條邊連線兩個不相交的子集)不是
-可著色的。 更準確地說,他的結果表明色數等於
,這意味著如果類的數量增加到
,克內澤猜想總是錯誤的。
Bárány (1978) 給出了另一個證明。
克內澤 (1955) 提出的一個組合猜想。它指出,無論何時將一個 -集合的
-子集劃分為
類,那麼總有兩個不相交的子集最終屬於同一類。
Lovász (1978) 給出了一個基於圖論的證明。 特別是,他證明了 克內澤圖(其頂點表示 -子集,每條邊連線兩個不相交的子集)不是
-可著色的。 更準確地說,他的結果表明色數等於
,這意味著如果類的數量增加到
,克內澤猜想總是錯誤的。
Bárány (1978) 給出了另一個證明。
此條目由 Margherita Barile 貢獻
Barile, Margherita. "克內澤猜想。" 來自 Web 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/KnesersConjecture.html