第八章 Ramsey 定理

 独立集与覆盖
 边独立集与边覆盖
 点临界图与边临界
图
 Ramsey 数

yzwang@uestc.edu.cn
一、独立集与覆盖

定义 设 G=(V, E) 是一个图。 V 的一个顶点子集 V1 称为 G

的一个独立集，如果 V1 中的顶点互不邻接。 G 的一个包含
顶点数最多的独立集称为 G 的最大独立集。最大独立集包
含的顶点数，称为 G 的点独立数，简称独立数，记为 α(G) 。
例
v1 v2 v3 v1 v2 v3

v7 v7
v8 v8
v6 v4 v6 v4
v5 v5

G 的一个独立 G 的一个最大独立
集 集
定义 设 G=(V, E) 是一个图。 V 的一个顶点子集 K 称为
G 的一个覆盖，如果 E 中的每条边至少有一个端点在 K 中。

定义 G 的一个包含顶点数最少的覆盖称为 G 的最小覆
盖。 G 的最小覆盖包含的顶点数，称为 G 的点覆盖数，
简称覆盖数，记为 β(G) 。

例
v1 v2 v3 v1 v2 v3

v7 v7
v8 v8
v6 v4 v6 v4
v5 v5

G 的一个点覆 G 的一个最小点覆
盖 盖
定理 给定图 G=(V, E) 且 SV ，则 S 是 G 的独立集当
且仅当 V \S 是 G 的覆盖。

证明 一方面，由于 S 是 G 的独立集， G 中每条边至多

有一个端点在 S 中。

所以 G 中每条边至少有一个端点在 V \S 中。即 V \S 构成 G
的一个覆盖。

另一方面，设 V \S 是 G 的覆盖。

因为 G 中每条边至少有一个端点在 V \S 中，所以 G 中每条

边至多有一个端点在 S 中。即 S 构成 G 的一个独立集。

因此，结论成立。
定理 (Gallia) 对任意的 n 阶图 G ，有
α(G)+β(G)=n 。

二、边独立集与边覆盖

定义 设 G=(V, E) 是一个图。 E 的一个边子集 E1 称为 G

的一个边独立集，如果 E1 中的边互不相邻； G 的一个包含
边数最多的边独立集称为 G 的最大边独立集。最大边独立
集包含的边数，称为 G 的边独立数，记为 α'(G) 。
例

边独立 最大边独立
注：一个边独立集实际上就是图的一个匹配，一个最大边
独立集就是图的一个最大匹配。

定义 设 G=(V, E) 是一个图。 E 的一个边子集 L 称为 G 的

一个边覆盖，如果 G 中的每个顶点均是 L 中某条边的端点。
G 的一个包含边数最少的边覆盖称为 G 的最小边覆盖。最
小边覆盖包含的边数，称为 G 的边覆盖数，记为 β'(G) 。

一个边覆盖 一个最小边覆盖
定理 (Gallia) 对任意不含孤立点的 n 阶图 G ，有
α'(G)+β'(G)=n 。
证明 一方面，设 α'(G)=k ，则 G 的最大边独立集由 k 条
边组成，且覆盖了 2k 个顶点。

所以，余下的 n-2k 个顶点至多需要 n-2k 条边就可以被覆

盖，于是： β'(G)≤k+(n-2k)=n-k 。

所以， α'(G)+β'(G)≤k+(n-k)=n 。

另一方面，设 X 是 G 的一个最小边覆盖，则 |X|=β'(G) 。

考虑导出子图 F=G[X] ，则 F 中不会包含长度为 3 的迹。

若不然，设 F 中包含长度为 3 的迹。
取该迹的中间边 e ，显然 X-e 仍然构成 G 的边覆盖，与 X
的最小性矛盾。

所以， F 中不包含长度至少为 3 的迹，也不包含圈。

因此， F 中的每个连通分支必然为星图，显然 F 是森
林。
因为阶数为 n ，边数为 n-k 的森林包含 k 个连通分支。

而 F 的边数为 n-(n-β'(G)) ，所以 F 有 n-β'(G) 个分支。

从 F 的每个分支中选取一条边，构成 G 的一个边独立集，
所以， α'(G)≥n-β'(G) ，即 α'(G)+β'(G) ≥n 。

由上面两个不等式得到： α'(G)+β'(G)=n 。
例 确定图 G 的 α, β, α', β' 。
1 4
2
7 3

6 5
G

解 点 2 的左右两部分均是 K4 ，所以可以推知 α(G)=2 ，再

由 Gallia 恒等式得： β(G)=5 。

又因为 G 的阶数为 7 ，所以 G 的最大边独立集包含的边数

不会超过 3 ，即 α'(G)≤3 ；

在 G 中可找到边独立集： {16, 23, 45} ，所以 α'(G)≥3 。

因此， α'(G)=3 ，进而 β'(G)=4 。

定理 设 G 是无孤立点的偶图，则 G 中最大独立集包含的
顶点数等于最小边覆盖包含的边数。

三、点临界图与边临界图

定义 设 G=(V, E) 是一个图。 v 是 G 的一个顶点， e 是 G

的一条边。若 β(G-v)<βG) ，称 v 是 G 的 β 临界点；若
β(G-e)<β(G) ，则称 e 是 G 的 β 临界边。

注：若 v 为 β 临界点， e 为 β 临界边，则

 (G  v )   (G  e )   (G )  1.
例
e
v

v 是 β 临界 e 是 β 临界
点
定理 点 v 是图 G 的 β 临界点当且仅当 v 含于图 G 的某个
最小覆盖中。

证明 若点 v 是图 G 的 β 临界点，则 β(G-v)=β(G)-
1。
取 G-v 的一个最小覆盖 K 。

显然 K∪{v} 是 G 的一个覆盖且 |K∪{v}|=β(G)-1+1=β(G) 。

这表明 K∪{v} 是 G 的一个最小覆盖。

反之，若点 v 含于 G 的某个最小覆盖 K 之中。

显然 K-v 构成 G-v 的覆盖，于是 β(G-v)<β(G) 。

所以，点 v 是图 G 的 β 临界点。
注： (1) 有 β 临界边的图必有 β 临界点。
(2) 有 β 临界点的图不一定有 β 临界边。例如 C4 。

定义 若图 G 的每个顶点均是 β 临界点，称 G 是 β 点临界

图；若 G 的每条边均是 β 临界边，称 G 是 β 边临界图。

注： β 边临界图一定是 β 点临界图，反之不一定！

例 考察 Kn 与 C2n+1 是否为 β 点临界图与 β 边临界图。

解 在 Kn 中任取一条边 e ，显然 αKn)=1 ， α(Kn-e)=2 。

因此， βKn=n-1 ， β(Kn-e)=n-2 。这表明 Kn 是 β 边临界
图，从而也是 β 点临界图。
假设 e∈C2n+1 ，容易证明 βC2n+1=n+1 ， β(C2n+1-e)=n 。
所以， C2n+1 是 β 边临界图，从而也是 β 点临界图。
四、 Ramsey 数 R(m, n)
在图论问题中，极值问题是最有意义但又是最令
人感到困难的问题。 Ramsey 问题是极值图论中著名问题之
一。 Erdös 教授是 Ramsey 问题研究的中心人物。
值得一提的是， 97 年 (Fulkerson 奖 ) ， 98 年
(Fields 奖 ) ， 99 年 (Wolf 奖 ) 的世界三项数学大奖均与
Ramsey 问题有关。
定义 设 m 和 n 是两个正整数，令 R(m, n) 是最小的正整
数使得任意的阶图要么包含 m 个顶点的团，要么包含 n
个顶点的独立集。 R(m, n) 称为 (m, n)Ramsey 数。
Ramsey (1903 － 1930) ，英国数学家， 1920 年毕业于
英国曼切斯特学院，随后获得奖学金入剑桥三一学院研究
数学， 1924 年当选为该学院 Fellow 。 26 岁时，意外去世。
 求 (m, n)Ramsey 数是一个非常困难的问题，以至
于到目前为止，求出来的 Ramsey 数还屈指可数。

Erdös 教授曾经开玩笑：外星人对地球人说：我们要
毁灭你们，除非你们算出了 R(5, 5) 。地球人讨论后决定，
还是和外星人决以死战算了。

如果用定义直接求 R(m, n) ，一般是先恰当找出一个 k 阶图

G ，说明它既不含 Km ，也不含 n 点独立集，得到 R(m,
n)>k ；然后再证明任意 k+1 阶图 H ，或者包含 Km 或者含
有 n 点独立集，得到 R(m, n)≤k+1 。
因此， R(m, n)=k+1 。

注：由定义知 R(m, n)=R(n, m) ， R(1, n)=R(n, 1)=1 。

例 求 (1) R(2, n) ； (2) R(3, 3) 。
解 (1) R(2, n)=n ；
(2) 一方面，注意到 C5 中既不含有 K3 ，也不含有 3 点独
立集，所以 R(3, 3 )≥6 ；
另一方面，可以证明，任一 6 阶简单图，或者含有 K3 ，或
者含有 3 点独立集。
v1
事实上，设 V(G)={v1, v2,…, v6} 。考虑 v1 。

情形 1 若 G 中至少有 3 个点与 v1 邻 v4
接。不失一般性，设 v1 与 v2, v3, v4 邻 v2 v3

接。
如果 v2, v3, v4 互不邻接，则它们构成 G 的 3 点独立集；否则，
显然在 G 中存在 K3 。
情形 2 若 G 中至多有 2 个点与 v1 邻接。

那么在 G 的补图中至少有 3 个顶点与 v1 邻接。

于是由情形 1 ， G 的补图中或者存在 K3 或者存在 3 点独

立集，当然在 G 中也就或者存在 3 点独立集或者存在 K3 。
所以， R(3, 3)=6 。

Ramsey 数的计算很难，所以研究 Ramsey 数的上下界是该

问题的主题。下面综述一些结果。

1 、 Erdös 教授在 1935 年提出如下结论：

定理 对于任意两个正整数 m 和 n ，且 m, n≥2 ，有
R( m , n)  R( m , n  1)  R( m  1, n)，
并且，如果 R(m, n-1) 和 R(m-1, n) 都是偶数，则上面不等
式严格成立。

例 已知 R(2, 5)=5 ， R(3, 4)=9 ，求 R(3, 5) 和 R(4, 4) 。

解 (1) 显然 R(3, 5)≤R(2, 5)+R(3, 4)=14 。

另外，可以构造出一个 13 阶图，它既不含 K3 ，又不含 5

点独立集。

该图表明 R(3, 5)≥14 ，所以， R(3, 5)=14 。

(2) 显然 R(4, 4)≤R(3, 4)+R(4, 3)=18 。

另外，可以构造出一个 17 阶图，它既不含 K4 ，又不含 4

点独立集。

该图表明 R(4, 4)≥18 。

所以， R(4, 4)=18 。
定理 当 m, n≥2 时，有：
 m  n  2
R( m , n )   .
 m 1 

定义 称 R(m, m) 为对角线 Ramsey 数。

2 、 Erdös 教授利用概率方法证明了如下结论：
定理
n
1
R( n, n)  1  o(1)  2
n2 .
2

注： f (n)≥(1-o(1))g(n) 表示：对任意 >0 ，存在自然数 N ，

当 n≥N 时，有 f (n)≥(1-g(n) 。
3 、 1959 年， Erdös 教授利用随机图论方法，巧妙证明了
如下结论：
定理
2
 n 
R(3, n)  c   .
 ln n 

1995 年，贝尔实验室的年轻数学家 Kim( 现在微软公

司，他是 Erdös 的学生 ) 得到上述定理的改进界：

定理 n2
R(3, n)  c1 .
ln n

Kim 由此获得 1997 年度的 Fulkerson 奖。这是图论

领域的重大事件。
4 、 对于 R(m, n) 的下界， 1977 年， Spencer 利用 Lovosz
的局部引理得到：

定理
m 1
 n  2
R( m , n )  c   .
 ln n 

Lovosz 由此获得 1999 年度的 Wolf 奖。这也是图论

领域的重大事件。

1980 年， Komlos 等得到：

定理
n m 1
R( m , n)  (5000)m .
 ln n 
m2
后来， Bollbás 教授作了改进：

定理
n m 1
R( m , n)  c(20) m
.
 ln n 
m2

2007 年，我国学者李雨生等进一步对上述界做了改进，
引起数学界的关注 !

定理

n m 1
R( m , n)  (1  o(1)) .
 ln n 
m2

以上是对 Ramsey 问题的简单介绍。

 Ramsey 理论的不少研究者，都工作在著名的高新技术
大公司的数学研究中心，如贝尔实验室， IBM 和微软公司
等。这说明，高新技术离不开图论与组合数学。

随着社会的进步，特别是信息化进程的加速，图
论与组合数学必然得到进一步发展。连续数学和离散数学
的相互渗透，可能代表数学发展的一个重要趋势。
Thank you!