西塔潘猜想是由英國數理邏輯學家西塔潘于上個世紀90年代提出的一個反推數學領域關于拉姆齊二染色定理證明強度的猜想。
拉姆齊二染色定理,在組合數學上,拉姆齊(Ramsey)定理是要解決以下的問題:要找這樣一個最小的數n,使得n個人中必定有k個人相識或l個人互不相識。
更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!