拉姆齐定理

目录导航

拉姆齐数的定义

拉姆齐数,用图论的语言有两种描述:

  1. 对于所有的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()(将的顺序改变并不改变拉姆齐的数值)。

拉姆齐数R(r, s)的值/已知上下界 (OEIS中的数列A212954)
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

更详尽的可见于

R(3,3)等于6的证明

拉姆齐数R(r, s)的值/已知上下界 (OEIS中的数列A212954)
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

相关百科
返回顶部
产品求购 求购