拉姆齐数,用图论的语言有两种描述:
对于所有的N顶图,包含k个顶的团或l个顶的独立集。具有这样性质的最小自然数N就称为一个拉姆齐数,记作R(k,l);
在着色理论中是这样描述的:对于完全图的任意一个2边着色,使得中含有一个k阶子完全图,含有一个l阶子完全图,则称满足这个条件的最小的n为一个拉姆齐数。(注意:按照图论的记法表示i阶完全图)
拉姆齐证明,对与给定的正整数数k及l,R(k,l)的答案是唯一和有限的。
拉姆齐数亦可推广到多于两个数:
对于完全图的每条边都任意涂上r种颜色之一,分别记为,在中,必定有个颜色为的阶子完全图,或有个颜色为的阶子完全图……或有个颜色为的阶子完全图。符合条件又最少的数n则记为。
已知的拉姆齐数非常少,保罗·艾狄胥曾以一个譬喻来描述寻找拉姆齐数的难度:“想像有队外星人军队在地球降落,要求取得R(5,5)的值,否则便会毁灭地球。在这个情况,我们应该集中所有电脑和数学家尝试去找这个数值。若他们要求的是R(6,6)的值,我们要尝试毁灭这班外星人了。”
显然易见的公式:R(0,s)=0,R(1,s)=1,R(2,s)=s,R()=R()=R()(将的顺序改变并不改变拉姆齐的数值)。
sr | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
---|---|---|---|---|---|---|---|---|---|---|
1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
2 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | |
3 | 6 | 9 | 14 | 18 | 23 | 28 | 36 | 40–42 | ||
4 | 18 | 25 | 36–41 | 49–61 | 59–84 | 73–115 | 92–149 | |||
5 | 43–48 | 58–87 | 80–143 | 101–216 | 133–316 | 149–442 | ||||
6 | 102–165 | 115–298 | 134–495 | 183–780 | 204–1171 | |||||
7 | 205–540 | 217–1031 | 252–1713 | 292–2826 | ||||||
8 | 282–1870 | 329–3583 | 343–6090 | |||||||
9 | 565–6588 | 581–12677 | ||||||||
10 | 798–23556 |
R(3,3,3)=17
更详尽的可见于
sr | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
---|---|---|---|---|---|---|---|---|---|---|
1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
2 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | |
3 | 6 | 9 | 14 | 18 | 23 | 28 | 36 | 40–42 | ||
4 | 18 | 25 | 36–41 | 49–61 | 59–84 | 73–115 | 92–149 | |||
5 | 43–48 | 58–87 | 80–143 | 101–216 | 133–316 | 149–442 | ||||
6 | 102–165 | 115–298 | 134–495 | 183–780 | 204–1171 | |||||
7 | 205–540 | 217–1031 | 252–1713 | 292–2826 | ||||||
8 | 282–1870 | 329–3583 | 343–6090 | |||||||
9 | 565–6588 | 581–12677 | ||||||||
10 | 798–23556 |