8 Ramsey 定理

2023-05-10
2023-05-10

第八章 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).

image-20230529225424340

点覆盖, 点覆盖数 β(G)\beta(G)

VV 的一个顶点子集 KK 称为图 G=(V,E)G=(V, E) 的一个点覆盖 (vertex cover), 如果 EE 中的每条边至少有一个端点在 KK 中.

GG 的一个包含顶点数最少的点覆盖称为 GG 的最小点覆盖. 最小点覆盖包含的顶点数, 称为 GG 的点覆盖数, 记为 β(G)\beta(G).

image-20230529225416982

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).

image-20230529230434245

注: 简单图的一个边独立集实际上就是图的一个匹配, 一个最大边独立集就是其一个最大匹配.

边覆盖, 边覆盖数 β′(G)β'(G)

图 G=(V,E)G=(V, E) 的一个边子集 LL 称为 GG 的一个边覆盖 (edge cover), 如果 GG 中的每个顶点均是 LL 中某条边的端点. 包含边数最少的边覆盖称为 GG 的最小边覆盖 (minimum edge cover), 其包含的边数, 称为 GG 的边覆盖数, 记为 β′(G)β'(G).

image-20230529230543420

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).

image-20230529231153439

解: 顶点 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.

image-20230529231239882

再由 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;

image-20230529232117813

另一方面: 可以证明, 任一 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 邻接.

image-20230529232135105

如果 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 (如下图).

image-20230529233010509

所以, 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 点独立集.

image-20230529233029299

该图是模 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 点独立集.

image-20230529233046503

所以, 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}

证明: 略

文章目录

版权

本文遵循署名-非商业性使用-禁止演绎 4.0 国际 (CC BY-NC-ND 4.0) 标准。

部分内容源自互联网、书本和课堂,仅供交流学习,未用于任何商业用途。如果它们侵犯了您的权益,请与我们联系,我们将立即删除它们。

版权所有 © 2020-2026 Kloudy 保留所有权利.