图论定理汇总（二）

第六章 平面图

(一)、平面图的概念

定义1 如果能把图$G$画在平面上，使得除顶点外，边与边之间没有交叉，称$G$可嵌入平面，或称$G$是可平面图。可平面图$G$的边不交叉的一种画法，称为$G$的一种平面嵌入，$G$的平面嵌入表示的图称为平面图。

由定义，图 $G$ 的平面嵌入只是 $G$ 的一种方式，它和 $G$ 实际上是同一个图

(二)、平面图性质

定义2 (1) 一个平面图$G$把平面分成若干连通片，这些连通片称为$G$的区域，或$G$的一个面。$G$的面组成的集合用$\varphi$表示。

(2) 面积有限的区域称为平面图$G$的内部面，否则称为$G$的外部面或无限面。

(3) 在$G$中，顶点和边都与某个给定区域关联的子图，称为该面的边界。某面 $f$ 的边界中含有的边数(割边计算2次)称为该面 $f$ 的次数, 记为 $deg(f)$。

1、平面图的次数公式

定理1 设$G=(n,m)$是平面图，则：
$$\sum _{f\in \varphi }\mathrm{deg}(f)=2m$$

实际上就是，除了割边之外的一条边会关联两个面，而割边会计算两次。所以构建 $f$ 的边的总次数，为边的两倍

定理2(欧拉公式) 设$G=(n,m)$是连通平面图，$\varphi$是$G$的面数，则：
$$n-m+\varphi =2$$

一个可平面图有多种平面嵌入，但无论是何种平面嵌入，由定理 2 容易知道他们的面数是相等的。

3、欧拉公式的几个有趣推论

推论1 设$G$是具有$\varphi$个面$k$个连通分支的平面图，则：
$$n-m+\varphi =k+1$$

推论2 设$G$是具有$n$个点$m$条边$\varphi$个面的连通平面图，如果对$G$的每个面$f$ ,有：$deg(f)\ge l\ge 3$, 则：（$l$ 可以看做是 $G$ 中的一个圈的边长，即 $deg(f)\ge l$ 表示 $G$ 中所有圈的边长至少为 $l$）
$$m\le \frac{l}{l-2}(n-2)$$

注：

• (1)上面推论2也可以叙述为：设 $G=(n,m)$ 是连通图，如果：$m>\frac{l}{l-2}(n-2)$ 则G是非可平面图。
• (2) 推论2的条件是$G$是平面图的必要条件,不是充分条件。

推论3 设$G$是具有$n$个点$m$条边$\varphi$个面的简单平面图，若 $n\ge 3$，则：（每个面的次数一定满足 $\ge 3$，因为至少 3 条边才能围成一个圈）
$$m\le 3n-6$$

$K_5$ 与 $K_{3,3}$ 是极小非可平面图。

推论4 设$G$是具有$n$个点$m$条边的连通平面图，若$G$的每个圈均由长度是 $l$ 的圈围成，则：
$$m(l-2)=l(n-2)$$

推论5 设$G$是具有$n$个点$m$条边的简单平面图，则：$\delta \le 5$

定理3 一个连通平面图是$2$连通的，当且仅当它的每个面的边界是圈。（了解）

推论6 若一个平面图是$2$连通的，则它的每条边恰在两个面的边界上。（了解）

(一)、特殊平面图

1、极大平面图及其性质

定义1 设$G$是简单可平面图，如果$G$是$K_i(1\leqq i\leqq 4)$, 或者在$G$的任意非邻接顶点间添加一条边后，得到的图均是非可平面图，则称$G$是极大可平面图。 极大可平面图的平面嵌入称为极大平面图。

注： 只有在单图前提下才能定义极大平面图。（因为如果允许存在环，则无论在每个顶点画多少个环，都不影响其平面性）

引理 设$G$是极大平面图，则$G$必然连通；且若$G$的阶数大于等于$3$（$n\ge 3$），则$G$无割边。

定理3 一个连通平面图是$2$连通的，当且仅当它的每个面的边界是圈。（了解）

推论6 若一个平面图是$2$连通的，则它的每条边恰在两个面的边界上。（了解）

定义1 设$G$是简单可平面图，如果$G$是$K_i(1\leqq i\leqq 4)$, 或者在$G$的任意非邻接顶点间添加一条边后，得到的图均是非可平面图，则称$G$是极大可平面图。 极大可平面图的平面嵌入称为极大平面图。

注： 只有在单图前提下才能定义极大平面图。（因为如果允许存在环，则无论在每个顶点画多少个环，都不影响其平面性）

引理 设$G$是极大平面图，则$G$必然连通；且若$G$的阶数大于等于$3$（$n\ge 3$），则$G$无割边。

定理1 设$G$是至少有$3$个顶点的平面图，则$G$是极大平面图，当且仅当$G$的每个面的次数是$3$且为单图。

推论： 设$G$是$n$个点，$m$条边和$\varphi$个面的极大平面图，且$n\ge 3$.则：
(1) $m=3n-6$;
(2) $\varphi =2n-4$.

注： 推论表明对一个极大平面图 G，当其点数 n 给定时，G 的边数和面数也就确定了，从而 G 的结构框架也大体确定了.

定义2 如果在不可平面图$G$中任意删去一条边所得的图为可平面图，则称$G$为极小不可平面图。

例如 $K_5$ 与 $K_{3,3}$ 均为极小不可平面图

2、极大外平面图及其性质

定义3 若一个可平面图$G$存在一种平面嵌入，使得其所有顶点均在某个面的边界上，称该图为 外可平面图。外可平面图的一种外平面嵌入，称为外平面图。

定义4 设$G$是一个简单外可平面图，若在$G$中任意不邻接顶点间添上一条边后，$G$成为非外可平面图，则称$G$是极大外可平面图。极大外可平面图的外平面嵌入，称为极大外平面图。（联系到极大图，一定都是简单图，不能有环，因为环可以无限加）

引理 设$G$是一个连通简单外可平面图，则在$G$中存在度数至多是2的顶点。(证明略)

定理2 设$G$是一个有$n(n\ge 3)$个点，且所有点均在外部面上的极大外平面图，则$G$有$n-2$个内部面。（考过这道题）

定理3 设$G$是一个有 $n(n\ge 3)$ 个点，且所有点均在外部面上的外平面图，则$G$是极大外平面图，当且仅当其外部面的边界是圈，内部面是三角形。

定理4 每个至少有7个顶点的外可平面图的补图不是外可平面图，且7是这个数目的最小者。(了解即可)

(二)、平面图的对偶图

1、对偶图的定义

定义4 给定平面图$G$，$G$的对偶图$G^{\ast }$如下构造：

(1) 在$G$的每个面$f_i$内取一个点$v_i^{\ast }$作为$G^{\ast }$的一个顶点；

(2) 对$G$的一条边$e$, 若$e$是面 $f_i$ 与 $f_j$ 的公共边，则连接$v_i^{\ast }$与$v_j^{\ast }$，得 $G^{\ast }$ 的边 $v_i^{\ast }{v}_j^{\ast }$ , 且$v_i^{\ast }{v}_j^{\ast }$ 与 $e$ 相交；若 $e$ 是面 $f_i$ 中的割边（若 $e$ 只在一个面 $f_i$ 上时），则以 $v_i^{\ast }$ 为顶点作环，得 $G^{\ast }$ 的边 $v_i^{\ast }{v}_i^{\ast }$，且让它与$e$相交。（相当于考虑原图的每个边，如果这条边在两个面上，则连接这两个面，如果这个边仅在一个面上，则形成环，仅在一个面上的边通常是割边）

对偶图的性质
(1)、$G$与$G^{\ast }$的对应关系

1. $G^{\ast }$的顶点数等于$G$的面数；
2. $G^{\ast }$的边数等于$G$的边数；（因为每条边都考虑了在 $G^{\ast }$ 中与之对应的每条边）
3. $G^{\ast }$的面数等于$G$的顶点数；
4. $d(v^{\ast })=deg(f)$

定理5 平面图$G$的对偶图必然连通

(2) $G$是平面图，则 $(G^{\ast }{)}^{\ast }\cong G$ 当且仅当$G$是连通的。(习题第26题)

(3) 同构的平面图可以有不同构的对偶图。

(一)、平面图的判定

平面图的判定：
(1) 观察出一个平面嵌入

(2) 设$G$是$(n,m)$简单图 $(n>3)$，若 $m>3n-6$，则 $G$ 是非可平面图。

(3) 设$G=(n,m)$是连通图，如果：$m>\frac{l}{l-2}(n-2)$ 则 $G$ 是非可平面图

我们已经明确：对于$3$阶以上的具有$m$条边的单图$G$来说，如果$G$满足如下条件之一： (1) $m>3n-6$; (2) $K_5$是$G$的一个子图；(3) $K_{3,3}$是$G$的一个子图，那么，$G$是非可平面图。

但上面的条件仅为 $G$ 是非可平面图的充分条件。

定义1 在图$G$的边上插入一个新的 $2$ 度顶点，使一条边分成两条边，称将图在 $2$ 度顶点内扩充；去掉一个图的 $2$ 度顶点，使关联它们的两条边合并成一条边，称将图 $G$ 在 $2$ 度顶点内收缩。

定义2 两个图$G_1$与$G_2$说是同胚的，如果 $G_1\cong G_2$，或者通过反复在 $2$ 度顶点内扩充和收缩后能够变成一对同构的图。（或称为$G_1$与$G_2$在 $2$ 度顶点内是同构的，同胚的两个图点数和边数可能都不一样）

扩充和收缩不会改变这个图是否可平面，即一个图本身是可平面的，扩充 $2$ 度顶点，仍然可平面，本身不是，扩充了仍然不是可平面的。收缩同理

定理1 (库拉托斯基定理) 图$G$是可平面的，当且仅当它不含$K_5$和$K_{3,3}$同胚的子图。（只介绍此定理的结论与运用，证明不要求）

定义3 给定图$G$, 去掉$G$中的环，用单边代替平行边（重边）而得到的图称为$G$的基础简单图。

定理2 (1) 图$G$是可平面的，当且仅当它的基础简单图是可平面的；（实际上就是说环和重边或叫平行边并不影响其平面性）
(2) 图$G$是可平面图当且仅当$G$的每个块是可平面图。（没有割点的图就是一个块）

意味着如果图 $G$ 有割点，可以将图 $G$ 分为多个块，分别对块进行平面性检查

定义3 设 $uv$ 是简单图 $G$ 的一条边。去掉该边，重合其端点，再删去由此产生的环和平行边（重边）。这一过程称为图$G$的初等收缩或图的边收缩运算。并记为 $G/uv$

称$G$可收缩到$H$,是指对$G$通过一系列边收缩后可得到图$H$。

定理2 (瓦格纳定理)： 简单图$G$是可平面图当且仅当它不含有可收缩到$K_5$或$K_{3,3}$的子图。

定理3 至少有$9$个顶点的简单可平面图的补图是不可平面的，而$9$是这个数目中的最小的一个。(了解即可)

(二) 平面性算法

关于图的平面性问题，我们已经建立了一些平面性判定方法：

(1) 对于简单图$G=(n,m)$，如果$m>3n-6$，则$G$是非可平面的；

(2) 对于简单连通图$G=(n,m)$，如果每个面次数至少为$l\ge 3$,且 $m>\frac{(n-2)l}{(l-2)}$，则$G$是非可平面的；

(3) 库拉托斯基定理：$G$是可平面的当且仅当$G$不含有与$K_5$和$K_{3,3}$同胚的子图；

(4) 瓦格纳定理：$G$是可平面的当且仅当$G$不含有能够收缩成$K_5$和$K_{3,3}$的子图；

上面的判定方法，局限性很大。这次课我们将给出一个算法，其作用是：如果$G$非可平面，通过算法可以得到判定；如果$G$是可平面图，通过算法，可以给出一种平面嵌入形式。

定义1 设$H$是$G$的一个子图，在$E(G)-E(H)$中定义一个二元关系 “~”:

$$\forall e_1,e_2\in E(G)-E(H),e_1\sim e_2\text{当且仅当存在一条途径}W,\text{ 使得}:$$

(1) $e_1$与$e_2$分别是$W$的始边和终边，且

(2) $W$的内点与$H$不能相交。（即 $W$ 的内部顶点，均不是 $H$ 的顶点）

定义2 设$B$是$E(G)-E(H)$关于二元关系“ ~” 的等价类在$G$中的边导出子图，则称$B$是$G$关于子图$H$的一座桥。桥与$H$的公共顶点称为桥$B$在$H$中的附着顶点。

定义3 设$H$是图$G$的可平面子图，$\tilde{H}$ 是$H$的一种平面嵌入。若$G$也是可平面图，且存在$G$的一个平面嵌入$\tilde{G}$，使得：$\tilde{H}\subseteq \tilde{G}$ ，称$\tilde{H}$是$G$容许的。

定义4 设 $B$ 是 $G$ 中子图 $H$ 的任意一座桥，若 $B$ 对 $H$ 的所有附着顶点都位于 $\tilde{H}$ 的某个面 $f$ 的边界上，则称 $B$ 在面 $f$ 内可画入，否则，称$B$在面 $f$ 内不可画入。

对于$G$的桥$B$,令：$F(B,\tilde{H})=\left\{f|f\text{是}\tilde{H}\text{的面,且}B\text{在}f\text{内可画入}\right\}$

定理1 设 $\tilde{H}$ 是 $G$ 容许的，则对于 $H$ 的每座桥 $B$： $F(B,\tilde{H})\ne \Phi$

第七章 图的着色

(一)、相关概念

定义1 给定图 $G=(V,E)$，称映射 π : E → { 1 , 2 , 3 , . . . , k } \pi : E \to \{1, 2, 3, ..., k\} π:E→{1,2,3,...,k} 为 $G$ 的一个 $k$ 边着色，简称边着色，称 { 1 , 2 , 3 , . . . , k } \{1, 2, 3, ..., k\} {1,2,3,...,k} 为色集。若 $\pi$ 为 $G$ 的边着色且 $\forall e{}^{\prime },e{}^{\prime \prime }\in E$，当 $e{}^{\prime }与e{}^{\prime \prime }$ 相邻时，$\pi (e^{\prime })\ne \pi (e^{\prime \prime })$，则称该着色是正常的。图 $G$ 的正常 $k$ 边着色的最小值 $k$ 称为 $G$ 的边色数。（$\pi (e)$ 为图 $G$ 的边着色，$e$ 为 $G$ 的边）

即 $G$ 是图，对$G$的边进行染色，若相邻边染不同颜色，则称对$G$进行正常边着色；

如果能用$k$种颜色对图$G$进行正常边着色，称$G$是 $k$边可着色的。

定义2 设$G$是图，对$G$进行正常边着色需要的最少颜色数，称为$G$的边色数，记为：${\chi }^{\prime }(G)$ ($\chi$ 读为 kappa)

(二)、几类特殊图的边色数

定理 1 ${\chi }^{\prime }(K_{m,n})=\Delta$ （完全偶图的边色数 = 最大度）

完全偶图的最大度为，当 m > n，最大度为 m， 当 n > m，最大度为 n

且任何正常边着色中和任何一个顶点关联得各边必须着不同色，因此 ${\chi }^{\prime }\ge \Delta$

定义3 设$\pi$是$G$的一种正常边着色，若点$u$关联的边的着色没有用到色$i$，则称点 $u$缺$i$色。

定理2 (哥尼，1916) 若$G$是偶图，则 ${\chi }^{\prime }(G)=\Delta$

引理： 设$G$是简单图，$x$与$y_1$是$G$中不相邻的两个顶点，$\pi$是$G$的一个正常$k$边着色。若对该着色$\pi ,x,y_1$以及与 $x$ 相邻点均至少缺少一种颜色，则 $G+x{y}_1$ 是$k$边可着色的。

定理3 (维津定理，1964) 若$G$是单图，则：${\chi }^{\prime }(G)=\Delta \text{或 }{\chi }^{\prime }(G)=\Delta +1$

定理4 设$G$是单图且$\Delta (G)>0$。若$G$中只有一个最大度点或恰有两个相邻的最大度点，则：${\chi }^{\prime }(G)=\Delta (G)$

定理5 设$G$是单图。若点数 $n=2k+1$ 且边数 $m>k\Delta$, 则：${\chi }^{\prime }(G)=\Delta (G)+1$

定理6 设$G$是奇数阶$\Delta$正则单图, 若$\Delta >0$,则：${\chi }^{\prime }(G)=\Delta (G)+1$

定义1 设$G$是一个图，对$G$的每个顶点着色，使得相邻顶点着不同颜色，称为对$G$的正常顶点着色；

超立方体 $Q_n$ 的边色数为 $n$.

(一)、相关概念

定义1 给定图 $G=(V,E)$，称映射 π : V → { 1 , 2 , 3 , . . . , k } \pi : V \to \{1, 2, 3, ..., k\} π:V→{1,2,3,...,k} 为 $G$ 的一个 $k$ 点着色，简称着色，称 { 1 , 2 , 3 , . . . , k } \{1, 2, 3, ..., k\} {1,2,3,...,k} 为色集。若 $\pi$ 为 $G$ 的点着色且 $\forall u,v\in E$，当
$u与v$ 相邻时，$\pi (u)\ne \pi (v)$，则称该着色是正常的。图 $G$ 的正常 $k$ 着色的最小值 $k$ 称为 $G$ 的色数。（$\pi (u)$ 为图 $G$ 的点着色，$u$ 为 $G$ 的顶点）

如果用$k$种颜色可以对$G$进行正常顶点着色，称$G$可$k$正常顶点着色；

对图$G$正常顶点着色需要的最少颜色数，称为图$G$的点色数。图$G$的点色数用 $\chi \left(G\right)$ 表示。

注： 对图的正常顶点着色，带来的是图的顶点集合的一种划分方式。所以，对应的实际问题也是分类问题。属于同一种颜色的顶点集合称为一个 色组，它们彼此不相邻接，所以又称为点独立集。用点色数种颜色对图$G$正常着色，称为对图$G$的最优点着色。（一个色组就是一个点独立集）

定义2 色数为$k$的图称为$k$色图。

(二)、图的点色数的几个结论（了解性学习）

定理1 对任意的图$G$，有：$\chi (G)\le \Delta (G)+1$

定理3 设$G$是非空简单图，则：$\chi (G)\le {\Delta }_2(G)+1$

$n$ 阶完全图的点色数为 $n$

彼得森图的点色数是 3，边色数是 4

定理 31：若 G 是连通的简单图，并且它既不是奇圈又不是完全图，则 $\chi (G)\le ∆(G)$.

对任意的简单平面图,均有 $\chi \le 5$.

所有 $k$ 正则图是 2 可着色的

(三)、四色与五色定理

定理4 (希伍德) 每个平面图是$5$可着色的。

所谓色计数，就是给定标定图$G$和颜色数$k$,求出正常顶点着色的方式数。方式数用$P_k(G)$表示。

(一)、色多项式概念

可以证明：$P_k(G)$是 $k$ 的多项式，称为图 $G$ 的色多项式。

由点色数 $\chi (G)$ 和色多项式 $P_k(G)$ 的定义可得：

(1) 若 $k<\chi (G)$，则 $P_k(G)=0$; χ ( G ) = min ⁡ { k ∣ P k ( G ) ≥ 1 } \chi(G)=\min\left\{k|P_k(G)\geq1\right\} χ(G)=min{k∣Pk​(G)≥1}

(2) 若 $G$ 为 $n$ 阶空图，则 $P_k(G)=k^n$。

(3) $P_k(K^n)=k(k-1)\dots (k-n+1)$。

(二)、色多项式的两种求法

1、递推计数法
定理1 设$G$为简单图，则对任意 $e\in E(G)$ 有：
$$P_k(G)=P_k(G-e)-P_k(G•e)$$

推论： 设$G$是单图，$e=uv$ 是 $G$ 的一条边，且 $d(u)=1$,则：
$$P_k(G)=(\text{k}-1)P_k(G-u)$$

通过加边变为完全图，加边规则为：任意连接两个顶点 + 将两个顶点收缩；通过减边变为空图，减边规则为：任意删掉某条边 - 将这条边的两点收缩

注意： 在变换的过程中，出现环则去掉，出现平行边则合并为一条边

定义1： 设$H$是图$G$的生成子图（包含所有顶点）。若$H$的每个分支均为完全图，则称$H$是$G$的一个理想子图。用$N_r(G)$表示$G$的具有 $r$ 个分支的理想子图的个数。（有 $n$ 个顶点就对应 $n$ 个 $N_r(G)$）

定理2 设$q_r(G)$表示将单图$G$的顶点集合$V$划分为 $r$ 个不同色组的色划分个数，则：

$$q_r(G)=N_r(\overline{G}).....(1\le r\le |V|)$$

上面定理2实际上给我们提供了色多项式的求法：用$k$种颜色对单图$G$正常着色，可以这样来计算着色方式数：色组为1的方式数+色组为2的方式数+…+色组为$n$的方式数。即有如下计数公式：$$P_k(G)=\sum _{i=1}^n{N}_i(\bar{G})[k{]}_i,\text{其中,}[k{]}_i=k(k-1)(k-2)...(k-i+1)$$

定义2 ： 设$G$是单图，令$N_i(\bar{G})=r_i,[k{]}_i=x^i$ 。称
$$h(G,x)=\sum _{i=1}^n{r}_i{x}^i$$

为图$G$的伴随多项式。

于是，求$P_k(G)$就是要求出 $\overline{G}$ 的伴随多项式。

定理3 若$G$有$t$个分支$H_1,H_2,\dots H_t$, 且$H_i$的伴随多项式为 $h(H_i,x),i=1,2,\dots ,t$, 则：
$$h\left(G,x\right)=\prod _{i=1}^{t}h\left(H_i,x\right)$$

该定理说明，在求 $\overline{G}$ 的伴随多项式时，可以分别求出它的每个分支的伴随多项式，然后将它们作乘积。

第八章 Ramsey 定理

(一)、独立集与覆盖

定义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$$

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

定义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 (加莱) 对任意不含孤立点的$n$阶单图$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$临界边。

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

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

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

定义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$。

第九章 有向图

定义1 一个有向图$D$是指一个三元组$(V(D),E(D),{\varphi }_D)$。其中，$V(D)$是非空的顶点集合，$E(D)$是不与$V(D)$相交的边集合，而 ${\varphi }_D$ 是关联函数，它使$D$的每条边对应$D$的有序顶点对 (不必相异即点对中的点允许相同)。

如果$e$是$D$的一条边，而$u$与$v$是使得${\varphi }_D(u,v)=e$的顶点，那么称$e$是由$u$连接到$v$，记为 $e=<u,v>$。同时，称$u$为$e$的弧尾(起点), $v$为$e$的弧头(终点)。

定义2 在一个有向图$D$中，具有相同起点和终点的边称为平行边。两点间平行边的条数称为该两点间的重数。

定义3 在一个有向图$D$中，如果没有有向环和平行边，则称该图为简单有向图。

定义4 设$D$是有向图，去掉$D$中边的方向后得到的无向图$G$，称为$D$的基础图。又若$G$是无向图，给$G$的每条边加上方向后得到的有向图$D$称为$G$的一个定向图。（一个有向图的基础图唯一，而一个图的定向图不唯一，有方向）

定义5 设$D$是有向图，$v$是$D$中顶点。以$v$为始点的边的条数称为点$v$的出度，以$v$为端点的一个自环算$1$度。点$v$的出度记为$d^{+}(v)$; 以$v$为终点的边的条数称为点$v$的入度，以$v$为端点的一个自环算$1$度。点$v$的入度记为$d^{-}(v)$;

点$v$的出度与入度之和称为点$v$的度，记为$d(v)$。

定理1 设$D=(V,E)$是有向图，则：
$$\sum _{v\in V(D)}{d}^{+}(v)=\sum _{v\in V(D)}{d}^{-}(v)=m(D)$$

定义6 设$D=(V,E)$是有向图，其中 V = { v 1 , v 2 , … , v n } , E = { e 1 , e 2 , … , e m } V=\{v_1, v_2,…, v_n\}, E=\{e_1, e_2,…, e_m\} V={v1​,v2​,…,vn​},E={e1​,e2​,…,em​}

(1) 称$A(D)=(a_{ij}{)}_{n\times n}$是$D$的邻接矩阵，其中$a_{ij}$是$v_i$为始点，$v_j$为终点的边的条数，$1\le i\le n,1\le j\le n$。

(2) 若$D$无环。称矩阵$M=(m_{ij}{)}_{n\times m}$是$D$的关联矩阵，其中

定义7 设$D=(V,E)$是有向图，$u$与$v$是$D$中两个顶点。

1) 若$D$中存在一条$(u，v)$路，则称$u$可达$v$, 记为$u\to v$。规定$u\to u$。
2) 若$D$中存在一条$(u，v)$路或$(v,u)$路，则称$u$与$v$是单向连通的。
3) 若$D$中存在一条$(u，v)$路和一条$(v,u)$路，则称$u$与$v$是双向连通的或强连通的。

定义8 设$D=(V,E)$是有向图。
1) 若$D$的基础图是连通的，称$D$是弱连通图；
2) 若$D$的中任意两点是单向连通的，称$D$是单向连通图；
3) 若$D$的中任意两点是双向连通的，称$D$是强连通图；

强连通一定是单向连通，弱连通，单向连通一定是弱连通

关于强连通图，我们有如下结论：
定理1： 有向图$D=(V,E)$是强连通的，当且仅当$D$中存在包含$D$中所有顶点的回路。

定义9 设$D$是有向图$D=(V,E)$的一个子图。如果$D$是强连通的(单向连通的、弱连通的),且$D$中不存在真包含$D$的子图是强连通的(单向连通的、弱连通的), 则称$D$是$D$的一个强连通分支(单向连通分支、弱连通分支)。

强连通分支： 一个极大的强连通子图
单向连通分支： 一个极大的单向连通子图
弱连通分支： 一个极大的弱连通子图

定理2： 有向图$D=(V,E)$的每个点位于且仅位于$D$的某个强(弱)连通分支中。