西塔潘猜想又称“拉姆齐二染色定理”，是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想。在组合数学上，拉姆齐（ramsey）定理是要解决以下的问题：要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互...
西潘塔猜想又称“拉姆齐二染色定理”，是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想。在组合数学上，拉姆齐（Ramsey）定理是要解决以下的问题：要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互...
西塔潘猜想不像“费马大定理”那么容易理解，它比较偏门，对非数学专业的人来说，理解起来比较复杂。西塔潘猜想，是英国数理逻辑学家西塔潘于 20 世纪 90 年代提出的，属于反推数学分支，是一个关于拉姆齐二染色定理证明强度...
刘路只是否定了这个猜想，就是告诉西塔潘：你这个想法是行不通的。但刘路也丝毫没有给出拉姆塞数的计算规律。如果他能给出计算规律，别说在国内当教授，国外顶尖大学都会抢着要他。刘路作为一名本科生，难能可贵之处是在于他...
在这3条边除了P以外的3个端点，它们互相连结的边有3条。若这3条边中任何一条是红色，这条边的两个端点和P相连的2边便组成一个红色三角形。若这3条边中任何一条都不是红色，它们必然是蓝色，因此，它们组成了一个...
在上世纪90年代，英国数理逻辑学家西塔潘提出了一个反推数学领域关于拉姆齐二染色定理证明强度的猜想，被称为西塔潘猜想。这一猜想提出后，引来了世界顶级数学家们的大量研究，然而都未能得到解决。直到2011年，一个来自中南大学...
图”有许多，而R(m,n)等于“点”最少的那个“图”的“点”的个数。R(3,3)=6，就是说，可以构造一个有6个点的图，图中具有一个完全图（任两点相连）大小为3，和一个独立点集（任两点不连）大小为3。
证明西塔潘猜想后，刘路用英文写下了证明的全过程，然后以“刘嘉忆”的名字寄到美国由芝加哥大学主办的《符号逻辑期刊》。困扰数学界多年的难题，就这样被解开了！很多研究过这个难题的数学家，都对这个证明西塔潘猜想的“刘...
使得n个人中必定有k个人相识或l个人互不相识，这个数n记为R(k,l)”。拉姆齐二染色定理的通俗版本被称为“友谊定理”，即在一群不少于6人的人中，或者有3人，他们互相都认识；或者有3人，他们互相都不认识。