西塔潘猜想的定义
对于所有的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)的答案为唯一和有限的。
拉姆齐数亦可推广到多于两个数:
对完全图Kn每条边都任意涂上r种颜色之一,要分别记e1,e2,e3,...,er,在Kn里,一定有一个颜色为e1的l1阶子完全图,或有一个颜色为e2的l2阶子完全图……或有一个颜色是er的lr阶子完全图。符合条件又最少的数n则记R(l1,l2,l3,...,lr;r)。 已知的拉姆齐数非常少,保罗·艾狄胥曾以一个故事来描述寻找拉姆齐数难度:“想像有队外星人军队在地球降落,要取得R(5,5)的值,否则就会毁灭地球。
在这一个情况,应该集中所有电脑和数学家尝试去找这一个数值。假如它们要求的是R(6,6)的值,要尝试毁灭这班外星人了。”