第八章 Ramsey 定理
8.1 独立集和覆盖
(点) 独立集与 (点) 覆盖
点独立集, 点独立数 α(G)\alpha(G)
设 G=(V,E)G=(V, E) 是一个图. VV 的一个顶点子集 V1V_1 称为 GG 的一个点独立集, 如果 V1V_1 中的顶点互不邻接.
GG 的一个包含顶点数最多的独立集称为 GG 的最大独立集. 最大独立集包含的顶点数, 称为 GG 的点独立数 (independence number), 记为 α(G)\alpha(G).
点覆盖, 点覆盖数 β(G)\beta(G)
VV 的一个顶点子集 KK 称为图 G=(V,E)G=(V, E) 的一个点覆盖 (vertex cover), 如果 EE 中的每条边至少有一个端点在 KK 中.
GG 的一个包含顶点数最少的点覆盖称为 GG 的最小点覆盖. 最小点覆盖包含的顶点数, 称为 GG 的点覆盖数, 记为 β(G)\beta(G).
Gallai 恒等式
(Gallai,1959) 对任意不含孤立点的 nn 阶图 GG, 有:
α(G)+β(G)=nα(G)+β(G)=n
证明: 一方面, 设 SS 是 GG 的最大点独立集. 因为 GG 中每条边的端点最多一个在 SS 中, 所以 GG 中每条边的端点至少有一个在 V−SV−S 中. 即 V−SV−S 构成 GG 的一个点覆盖, 于是有:
β(G)≤∣V−S∣=n−α(G)β(G)≤|V−S|=n−α(G)
另一方面, 设 KK 是 GG 的最小点覆盖. 因为 GG 中每条边的端点至少有一个在 KK 中, 所以 GG 中每条边的端点至多有一个在 V−KV−K 中. 即 V−KV−K 构成 GG 的一个点独立集, 于是有:
α(G)≥∣V−K∣=n−β(G)α(G) ≥ |V−K|=n−β(G)
由上面两个不等式, 得到:
α(G)+β(G)=nα(G)+β(G)=n
边独立集与边覆盖
边独立集, 边独立数 α′(G)α'(G)
若图 G=(V,E)G=(V, E) 的一个边子集 MM 中的边互不邻接, 则称 MM 是一个边独立集 (或匹配). 包含边数最多的边独立集称为 GG 的最大边独立集, 其包含的边数, 称为 GG 的边独立数,记为 α′(G)α'(G).
注: 简单图的一个边独立集实际上就是图的一个匹配, 一个最大边独立集就是其一个最大匹配.
边覆盖, 边覆盖数 β′(G)β'(G)
图 G=(V,E)G=(V, E) 的一个边子集 LL 称为 GG 的一个边覆盖 (edge cover), 如果 GG 中的每个顶点均是 LL 中某条边的端点. 包含边数最少的边覆盖称为 GG 的最小边覆盖 (minimum edge cover), 其包含的边数, 称为 GG 的边覆盖数, 记为 β′(G)β'(G).
Gallai 恒等式
(Gallai,1959) 对任意不含孤立点的 nn 阶简单图 GG, 有:
α′(G)+β′(G)=nα'(G)+β'(G)=n
证明: 一方面, 设 α′(G)=kα'(G)=k, 则 GG 的最大匹配由 kk 条边组成, 且覆盖了 2k2k 个顶点.
所以, 余下的 n−2kn−2k 个顶点至多需要 n−2kn−2k 条边就可以被覆盖, 于是 β′(G)≤k+(n−2k)=n−kβ'(G)≤k+(n-2k)=n-k.
于是 α′(G)+β′(G)≤k+(n−k)=nα'(G)+β'(G)≤k+(n-k)=n.
另一方面, 设 LL 是 GG 的一个最小边覆盖, 即 ∣L∣=β′(G)|L|=β'(G). 设 H=G[L]H= G[L]. 并设 MM 是 HH 的最大匹配. 用 UU 记 HH 中的 MM 未饱和点的集合. 因 MM 是最大匹配, 则 H[U]H[U] 不包含边. 从而
∣L∣−∣M∣=∣L−M∣≥∣U∣=∣V(G)∣−2∣M∣|L|−|M|=|L−M|≥|U|=|V(G)|−2|M|
故有 ∣L∣+∣M∣≥n|L|+|M|≥n.
又因为 HH 是 GG 的子图, 所以 MM 也是 GG 的匹配. 则 α′(G)≥∣M∣α'(G)≥|M|.
所以 α′(G)+β′(G)≥nα'(G)+β'(G)≥n.
由上面两个不等式, 得到: α′(G)+β′(G)=nα'(G)+β'(G)=n.
例
确定下图 GG 的 α(G), β(G), α′(G), β′(G)α(G), β(G), α'(G), β'(G).
解: 顶点 22 的左右两部分均是 K4K_4, 所以可以推知 α(G)=2α(G)=2, 再由 Gallai 恒等式得: β(G)=5β(G)=5.
又因为 GG 的阶数为 77, 所以, GG 的最大匹配包含的边数不会超过 33, 即 α′(G)≤3α'(G)≤3;
而在 GG 中找出了匹配: {16,23,45}\{16, 23, 45\}, 所以 α′(G)≥3α'(G)≥3, 即 α′(G)=3α'(G)=3.
再由 Gallai 恒等式: β′(G)=4β'(G)=4.
二部图的最大点独立集和最小边覆盖
定理 (Kőnig,1916)
设 GG 是无孤立点的二部图, 则 GG 中最大点独立集包含的顶点数等于最小边覆盖所包含的边数.
证明: 首先由两个 Gallai 恒等式得:
α(G)+β(G)=α′(G)+β′(G)α(G)+β(G)=α'(G)+β'(G)
其次, 由第 5 章中的 Kőnig 定理得: β(G)=α′(G)β(G)=α'(G).
所以得 α(G)=β′(G)α(G)=β'(G). 定理得到证明.
8.2 Ramsey 定理
Ramsey 理论的核心可以概括成: 完全的无序是不可能的.
具体的, Ramsey 理论中典型的问题是: 为了保证在某个集合 (或系统) 中有某种性质 (或结构) 一定出现, 这个集合的元素个数应该达到多少?
我们熟悉的鸽笼原理也是 Ramsey 理论的一个例子.
Ramsey 数
★Ramsey 数 r(m,n)r(m,n)
设 kk 和 ll 是两个正整数, 如果存在最小的 r(k,l)r(k, l) 阶的图 GG, 使得 GG 中或者有 KkK_k 或者有 ll 个顶点的独立集, 则称正整数 r(k,l)r(k, l) 为 (k,l)(k, l) Ramsey (拉姆齐) 数.
对于 r(5,5)r(5,5), 仅知道在 43 (Geoffrey Exoo, 1989) 和 48 (2017 年 McKay 和 Angeltveit 通过计算机验证) 之间.
★用定义直接求 r(k,l)r(k,l)
如果用定义直接求 r(k,l)r(k,l):
-
一般是先得到 r(k,l)≤nr(k, l)≤n (一个理想的上界);
-
然后找出一个 n–1n–1 阶完全图 GG, 说明它既不含红色 KkK_k, 也不含蓝色 KlK_l, 得到 r(k,l)>n–1r(k, l)>n–1. (或找 kk 阶图, 说明它既不包含 KkK_k, 也不包含 ll 点独立集)
通过上面的方法得到: r(k,l)=nr(k, l)=n.
例
求:
(1) r(1,l)r(1, l);
(2) r(2,l)r(2, l);
(3) r(3,3)r(3, 3).
解:
(1) r(1,l)=1r(1,l)=1. 因为 11 阶图存在 K1K_1.
(2) r(2,l)=lr(2,l)=l. 因为 ll 阶图若有边, 则存在 K2K_2; 若无边, 则存在 ll 个顶点的独立集.
(3) 一方面: 注意到下图 K5K_5 中既不包含红色 K3K_3, 也不包含蓝色 K3K_3 (33 点独立集), 所以: r(3,3)≥6r(3,3)≥6;
另一方面: 可以证明, 任一 66 阶简单图, 或者含有 K3K_3, 或者含有 33 点独立集.
事实上, 设 V(G)={v1,v2,…,v6}V(G)=\{v_1, v_2, …, v_6\}. 考虑 v1v_1.
情形1: 若 GG 中至少有 33 个点与 v1v_1 邻接. 不失一般性, 设 v1v_1 与 v2,v3,v4v_2, v_3, v_4 邻接.
如果 v2,v3,v4v_2, v_3, v_4 互不邻接, 则它们构成 GG 的 33 点独立集; 否则, 显然在 GG 中存在 K3K_3.
情形2: 若 GG 中至多有 22 个点与 v1v_1 邻接. 那么在 GG 的补图中至少有 33 个顶点与 v1v_1 邻接. 于是由情形1, GG 的补图中或者存在 K3K_3 或者存在 33 点独立集, 当然在 GG 中也就或者存在 33 点独立集或者存在 K3K_3.
所以, r(3,3)=6r(3,3)=6.
Ramsey 数的性质
Ramsey 数的计算很难, 所以研究 Ramsey 数的上下界是该问题的主题. 下面综述一些结果.
定理
Erdős 教授在 1935 年提出如下结论:
对于任意两个正整数 kk 和 ll, 且 k,l≥2k, l ≥2, 有:
r(k,l)≤r(k,l−1)+r(k−1,l)r(k,l)≤r(k,l-1)+r(k-1,l)
并且, 如果 r(k,l−1)r(k, l−1) 和 r(k−1,l)r(k−1, l) 都是偶数, 则上面严格不等式成立. 即 r(k,l)≤r(k,l−1)+r(k−1,l)−1r(k,l)≤r(k,l-1)+r(k-1,l)-1.
例 [Greenwood and Gleason, 1955]
求:
(1) r(3,4)r(3, 4);
(2) r(3,5)r(3, 5);
(3) r(4,4)r(4, 4).
解:
(1) 由定理, 有: r(3,4)≤r(2,4)+r(3,3)r(3,4)≤r(2,4)+r(3,3).
而 r(2,4)=4,r(3,3)=6r(2,4)=4, r(3,3)=6 均为偶数. 故有 r(3,4)≤r(2,4)+r(3,3)−1=9r(3,4)≤r(2,4)+r(3,3)−1=9.
另一方面, 存在 K8K_8 既不含红色 K3K_3, 也不含蓝色 K4K_4 (如下图).
所以, r(3,4)=9r(3,4) =9.
(2) 由定理, 有: r(3,5)≤r(2,5)+r(3,4)=5+9=14r(3,5)≤r(2,5)+r(3,4)=5+9=14.
另一方面可以构造出一个 1313 阶图 GG, 它既不含 K3K_3, 又不含 55 点独立集.
该图是模 1313 的三次剩余 (1,5,8,12)(1,5,8,12) 图. 两个顶点 i,ji,j 相差剩余中的数则相邻.
所以, r(3,5)=14r(3,5) =14.
(3) 由定理: r(4,4)≤r(3,4)+r(4,3)=18r(4, 4)≤r(3, 4)+r(4, 3) =18.
另一方面可以构造出一个 1717 阶图 GG. 事实上, 该图是 Paley 图, 模 1717 的二次剩余图 (剩余为1,2,4,8,9,13,15,161,2,4,8,9,13,15,16), 它是自补的. Paley 图既不含 K4K_4, 又不含 44 点独立集.
所以, r(4,4)=18r(4,4) =18.
定理
当 k,l≥2k, l≥2 时, 有:
r(k,l)≤(k+l−2k−1)r(k,l)≤\binom{k+l-2}{k-1}
对角型拉姆齐数
称 r(k,k)r(k, k) 为对角型拉姆齐数 (diagonal Ramsey number).
定理’ (Erdős, Szekeres1935)
当 k≥2k≥2 时,
r(k,k)≤(2k−2 k−1)≤22k−2≤4kr(k,k)≤\binom{2k-2}{ k-1}≤2^{2k-2}≤4^k
定理 (Erdős, 1947)
r(k,k)≥2k/2r(k,k)≥2^{k/2}
证明: 略