西塔潘猜想到底是什么


西塔潘猜想到底是什么

文章插圖
西塔潘猜想是由英國數理邏輯學家西塔潘于上個世紀90年代提出的一個反推數學領域關于拉姆齊二染色定理證明強度的猜想 。
【西塔潘猜想到底是什么】拉姆齊二染色定理,在組合數學上,拉姆齊(Ramsey)定理是要解決以下的問題:要找這樣一個最小的數n,使得n個人中必定有k個人相識或l個人互不相識 。