拉姆齊二染色定理
西塔潘猜想，也被稱為拉姆齊二染色定理，是由英國數理邏輯學家西塔潘於上個世紀90年代提出的一個猜想。這個猜想在組合數學領域內，旨在解決以下問題：尋找一個最小的數n，使得在n個人中必定有k個人相識或l個人互不相識。這個猜想在反推數學領域內關於拉姆齊二染色定理證明強度的猜想。
西塔潘猜想還有一個通俗的解釋，被稱為友誼定理：在不少於三人的團體中，如果有兩人任意匹配，都恰好有且只有一個共同交好的人，則這個團體中總會有一個人是團體中剩下的其他人都認識的。這個理論可以轉變到邏輯圖上，如果每個頂點都跟其餘的頂點恰好有且只有一個共同的相鄰的頂點，那麼這幅邏輯圖中則總會有一個頂點和其他剩餘的頂點都相鄰。
2011年5月，由北京大學、南京大學和浙江師範大學聯合舉辦的邏輯學術會議在浙江師範大學舉行，中南大學數學科學與計算技術學院的劉嘉憶在報告中給這一懸而未決的公開問題一個否定式的回答，徹底解決了西塔潘的猜想，證明了R(3,3)=6。