这一猜想引发了大量研究,困扰了许多数学家十多年之久,直到刘嘉忆的出现,他证明了 RT2 2并不包含 WKL 0 ,从而给该猜想一个否定的回答。
编辑本段相关概念拉姆齐数的定义
拉姆齐数,用图论的语言有两种描述:对于所有的N顶图,包含k个项的团或l个项的独立集。具有这样性质的最小自然数N就称为一个拉姆齐数,记作R(k,l);在着色理论中是这样描述的:对于完全图Kn的任意一个2边着色(e1,e2),使得Kn[e1]中含有一个k阶子完全图,Kn[e2]含有一个l阶子完全图,则称满足这个条件的最小的n为一个拉姆齐数。(注意:Ki按照图论的记法表示i阶完全图)拉姆齐证明,对与给定的正整数数k及l,R(k,l)的答案是唯一和有限的。