西塔潘猜想的通俗答案?

西塔潘猜想的通俗答案?

1930年,英国数学家弗兰克·普伦普顿·拉姆齐在一篇题为《形式逻辑上的一个问题》的论文中证明了R(3,3)=6。这条定理被命名为“拉姆齐二染色定理”。用文字来表述就是“要找这样一个最小的数n,使得n个人中必定有k个人相识或l个人互不相识,这个数n记为R(k,l)”。拉姆齐二染色定理的通俗版本被称为“友谊定理”,即在一群不少于6人的人中,或者有3人,他们互相都认识;或者有3人,他们互相都不认识。