西塔潘猜想到底是什麼

西塔潘猜想是由英國數理邏輯學家西塔潘於上個世紀90年代提出的一個反推數學領域關於拉姆齊二染色定理證明強度的猜想。

拉姆齊二染色定理，在組合數學上，拉姆齊（Ramsey）定理是要解決以下的問題：要找這樣一個最小的數n，使得n個人中必定有k個人相識或l個人互不相識。