【图论及其运用 — 电子科技大学】（八）第八章 Ramsey 定理

(一)、独立集与覆盖

1、概念

定义1 设$G=(V,E)$是一个图。$V$的一个顶点子集$V_1$称为$G$的一个点独立集, 如果$V_1$中的顶点互不邻接；

$G$的一个包含顶点数最多的独立集称为$G$的最大独立集。最大独立集包含的顶点数，称为$G$的点独立数，记为$\alpha (G)$。

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

$G$的一个包含顶点数最少的点覆盖称为$G$的最小点覆盖。最小点覆盖包含的顶点数，称为$G$的点覆盖数，记为$\beta (G)$。

定理1 (加莱) 对任意不含孤立点的$n$阶图$G$，有：
$$\alpha (G)+\beta (G)=n$$

证明： 一方面，设$V_1$是G的最大点独立集。$G$中每条边的端点最多一个在$V_1$中 （因为点独立集要求顶点之间互不相邻），所以$G$中每条边的端点至少有一个在$V-V_1$中。即$V-V_1$构成$G$的一个点覆盖 （即每条边至少有一个端点在点覆盖中），于是有：$$\beta (G)\le ｜V-V1｜=n-\alpha (G)$$

另一方面，设$K$是$G$的最小点覆盖。因为$G$中每条边的端点至少有一个在$K$中，所以$G$中每条边的端点至多有一个在$V-K$中。即$V-K$构成$G$的一个点独立集，于是有：$$\alpha (G)\ge ｜V-K｜=n-\beta (G)$$
由上面两个不等式，得到：
$$\alpha (G)+\beta (G)=n$$

(二)、边独立集与边覆盖

1、概念

定义3 设$G=(V,E)$是一个图。$E$的一个边子集$E_1$称为$G$的一个边独立集, 如果$E_1$中的边互不邻接；

$G$的一个包含边数最多的边独立集称为$G$的最大边独立集。最大边独立集包含的边数，称为$G$的边独立数，记为 ${\alpha }^{\prime }(G)$ 。

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

定义4 设$G=(V,E)$是一个图。$E$的一个边子集 $L$ 称为$G$的一个边覆盖, 如果$G$中的每个顶点均是$L$中某条边的端点。

$G$的一个包含边数最少的边覆盖称为$G$的最小边覆盖。最小边覆盖包含的边数，称为$G$的边覆盖数，记为 ${\beta }^{\prime }(G)$。

2、加莱恒等式

定理2 (加莱) 对任意不含孤立点的$n$阶单图$G$，有：
$${\alpha }^{\prime }(G)+{\beta }^{\prime }(G)=n$$

证明： 一方面, 设 ${\alpha }^{\prime }G)=k$, 则$G$的最大匹配由$k$条边组成，且覆盖了$2k$个顶点。
所以，余下的$n-2k$个顶点至多需要$n-2k$条边就可以被覆盖，于是： $${\beta }^{\prime }(G)\leqq k+(n-2k)=n-k=n-{\alpha }^{\prime }G)$$
所以，$${\alpha }^{\prime }(G)+{\beta }^{\prime }(G)\leqq k+(n-k)=n$$
另一方面, 设$X$是$G$的一个最小边覆盖，则 $|X|={\beta }^{\prime }(G)$。 考虑导出子图$F=G[X]$。可以证明$F$中不会包含长度为$3$的迹。若不然，设$F$中包含长度为$3$的迹。取该迹的中间边$e$，显然，$X-e$ 仍然构成$G$的边覆盖，与X的最小性矛盾。所以，$F$中不包含长度为$3$和大于$3$的迹。也不包含圈。所以，$F$中的每个连通分支必然为星图。$F$是森林。

（在第二章讲森林的时候讲过这个结果：阶数为$n$，边数为$n-k$的森林，一定包含$k$个连通分支） 因为，阶数为$n$，边数为$n-k$的森林包含$k$个连通分支。而$F$的边数为$n-(n-{\beta }^{\prime }(G))$(${\beta }^{\prime }(G)$ 换了个写的形式为 $n-(n-{\beta }^{\prime }(G))$)，所以$F$有$n-{\beta }^{\prime }(G)$个分支。从$F$的每个分支中选取一条边，可作成$G$的一个匹配，所以${\alpha }^{\prime }(G)\ge n-{\beta }^{\prime }(G)$。 由上面两个不等式，得到： $${\alpha }^{\prime }(G)+{\beta }^{\prime }(G)=n$$

---

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

(三)、点临界图与边临界图

定义5 设$G=(V,E)$是一个图。$v$是$G$的一个顶点，$e$是$G$的一条边。若 $\beta (G-v)<\beta (G)$（删掉这个顶点后，点覆盖数减小） , 称$v$是$G$的$\beta$临界点；若$\beta (G-e)<\beta (G)$ , 称$e$是$G$的$\beta$临界边。

---

$G_1$ 为 $2$ 点覆盖（取中间两个点$\beta (G_1)=2$），当去掉标红的 $v$，$\beta (G_1)=1$

$\beta (G_2)=2$，当去掉 $e$ 后， $\beta (G_2)=1$

---

容易知道：若$v$是$G$的一个$\beta$临界点，则：
$$\beta (G-v)=\beta (G)-1$$

定理4 点$v$是图$G$的$\beta$临界点当且仅当$v$含于$G$的某个最小点覆盖中。

注： (1) 有$\beta$临界边的图必有$\beta$临界点。

(2) 有$\beta$临界点的图不一定有$\beta$临界边。例如：

定义6 设$G=(V,E)$是一个图。若$G$的每个顶点是$G$的$\beta$临界点，称该图是 $\beta$ 点临界图；若$G$的每条边均是$G$的$\beta$临界边，称该图是$\beta$ 边临界图。

(四)、拉姆齐数r (m, n)

定义7 设$m$和$n$是两个正整数，如果存在最小的$r(m,n)$阶的图$G$, 使得$G$中或者有$K_m$或者有$n$个顶点的独立集，则称正整数$r(m,n)$为$(m,n)$拉姆齐数。

如果用定义直接求$r(m,n)$, 一般是先恰当找出一个$k$阶图$G_1$,说明它既不含$K_m$，也不含$n$点独立集，得到$r(m,n)>k$; 然后再找到一个$k+1$阶图$G_2$, 说明它或者包含$K_m$或者含有$n$点独立集，得到 $r(m,n)\le k+1$.

通过上面的方法，得到： $r(m,n)=k+1$。

---

$r(1,n)$ 表示找到一个最小阶数的图，使得这个图，要么含有 $K_1$，要么含有 $n$ 个顶点的点独立集。 这个最小阶数等于多少，就是 $r(1,n)$ （不对）

---

---

定理2 当$m,n\ge 2$时，有：$$r(m,n)\le \left(\genfrac{}{}{0ex}{}{m+n-2}{m-1}\right)$$

定义8 称 $r(m,m)$ 为对角线拉姆齐数。

(2) Erdos教授利用概率方法证明了如下结论：

定理3 $r(n,n)\ge \left(1-o(1)\right)\frac{1}{e^{\sqrt{2}}}n\cdot 2^{\frac{n}{2}}$ （了解即可）

注： $f(n)\ge (1-o(1))g(n)$表示：对任意$\epsilon >0$, 存在自然数$N$，当$n\ge N$时，有$f(n)\ge (1-\epsilon )g(n)$。

---

(3) 1959年，Erdos教授利用随机图论方法，巧妙证明了如下结论：
定理4 $r(3,n)\ge c{\left(\frac{n}{\ln n}\right)}^2$

1995年，贝尔实验室的年轻数学家Kim(现在微软公司，他是Erdos的学生)得到定理4的改进界：
定理5 $r(3,n)\ge c_1\frac{n^2}{\ln n}$

(4) 对于r (m, n)的下界，1977年，Spencer利用罗瓦斯的局部引理得到：
定理6 $r(m,n)\ge c(\frac{n}{\ln n}{)}^{\frac{m+1}{2}}$

1980年，Komlos等得到：
定理7 $r(m,n)\ge {\left(5000\right)}^m\frac{n^{m-1}}{{\left(\ln n\right)}^{m-2}}$

后来，Bollbas教授作了改进：
定理7 $r(m,n)\ge c(20{)}^m\frac{n^{m-1}}{{\left(\ln n\right)}^{m-2}}$

2007年，我国学者李雨生等进一步对上面界做了改进，引起数学界的关注! 即：
定理8 $r(m,n)\ge (1+o(1))\frac{n^{m-1}}{{\left(\ln n\right)}^{m-2}}$