离散数学——图论

一、图
  图作为数学模型，是一种用于描述有穷系统的二元关系$(V,R)$，图的二元关系使得图的集合产生了结构。

1.1 图
  设有穷集合$V$，取集合 P 2 ( V ) = { ( u , v ) ∣ u , v ∈ V } \mathcal{P}_2(V) = \{(u, v)|u, v \in V\} P2​(V)={(u,v)∣u,v∈V}，$E\subseteq {\mathcal{P}}_2(V)$，则称二元组$(V,E)$为无向图。
  对于图$G=(V,E)$，$V$称为顶点集，$E$称为边集。$\forall (u,v)\in E$，称$u$与$v$邻接，且$(u,v)$与$u$、$v$关联。
  对于图$G=(V,E)$，$|V|=p$是顶点数，$|E|=q$是边数，则称$G$是一个$(p,q)$图。$(1,0)$图也称为平凡图，$(p,0)$图也称为零图。
  设有穷集合$V$，取集合 P 2 ( V ) = V × V − { ( v , v ) ∣ v ∈ V } \mathcal{P}_2(V) = V \times V - \{(v, v)|v \in V\} P2​(V)=V×V−{(v,v)∣v∈V}，$A\subseteq {\mathcal{P}}_2(V)$，则称二元组$(V,A)$为有向图。

  设图$G=(V,E)$，令$V_s\subseteq V$，$E_s\subseteq E\cap {\mathcal{P}}_2(V_s)$，称图$G_s=(V_s,E_s)$为图$G$的子图。若$G$的子图$G_s$包含了$G$的全部顶点，称该子图为生成子图，记为$G^{\prime }=(V,E^{\prime })$。

  设图$G=(V,E)$，$\forall v\in V$，与$v$关联的边数称为$v$的度，记为$degv$，并记 δ ( G ) = m i n ∀ v ∈ V { d e g   v } Δ ( G ) = m a x ∀ v ∈ V { d e g   v } \delta(G) = min_{\forall v \in V }\{deg\ v\} \\ \Delta(G) = max_{\forall v \in V }\{deg\ v\} δ(G)=min∀v∈V​{deg v}Δ(G)=max∀v∈V​{deg v}且对于$(p,q)$图$G$，有${\sum }_{v\in V}degv=2q$，称为握手定理。其可以推论出生活中的一个现象：握过奇数次手的人有偶数个。
  设图$G=(V,E)$，若$\forall v\in V$，都有$degv=r$，则称$G$为r-正则图。对于$(p,q)$图，其(p-1)-正则图称为完全图，记作$K_p$。

  设图$G=(V,E),H=(U,F)$，有$|V|=|U|$，若$\exists \varphi :V\to U$是双射的，且$(v_1,v_2)\in E$，有$(\varphi (v_1),\varphi (v_2))\in F$，则称图$G$和$H$是同构的，记为$G\cong H$。直观的，对图的顶点进行置换，即可得到其同构图。

  设图$G=(V,E)$，那么$G$的补图为$G^c=(V,E^c)$，其中$E^c={\mathcal{P}}_2(V)-E$。对于同构的图$G$与$H$，其补图$G^c$与$H^c$也同构。若图$G$与其补图$G^c$同构，则称$G$是自同构图。

1.2 连通图
  非形式化的说，设图$G=(V,E)$，顶点与边的交错序列称为通道。沿着通道可以访问顶点，即边的端点。若通道的起始顶点也是结束顶点，则称为闭通道。
  若$G$的通道没有重复的边，称为一条迹；若没有重复的顶点，称为一条路。闭通道的迹称为闭迹，而闭通道的路称为闭路，也称为圈。
  设图$G=(V,E)$，$\forall u,v\in V$，都存在$u$与$v$之间的路，称$G$是连通图。

  设$(p,q)$图$G=(V,E)$，若$(u,v)\notin E$，且$degu+degv\ge p-1$，那么$G$连通。
  考察该定理，$u$与$v$之间有路是是自反的、对称的、传递的，即是一个等价关系，根据该等价关系可以得到一个划分，对于一个等价类的所有顶点，可以得到一个导出子图，令其顶点为$V_i$，取$E_i={\mathcal{P}}_2(V_i)\cap E$，称$G_i=(V_i,E_i)$为极大连通子图，也称为支。
  若$degu+degv\ge p-1$的情况下，$G$不是一个连通子图，那么$G$至少有2个支。记为$G_1=(V_1,E_1)$与$G_2=(V_2,E_2)$，令$$|V_1|=n,|V_2|=p-n$$$\forall u,v\in V$，若$u\in V_1$，那么$$degu\le n-1$$若$v\in V_2$，那么$$degv\le p-n-1$$那么有$$degu+degv\le p-2$$与条件矛盾。

  设图$G=(V,E)$，若$\exists v\in V$，$degv>0$且$\forall v\in V$，$degvmod2=0$，则$G$中有圈。
  考察该定理，考虑$G$中最长的路$v_1{v}_2..v_n$，由于$deg{v}_1$是偶数，则除了$(v_1,v_2)\in E$，$$\exists v_i,3\le i\le n,(v_1,v_i)\in E$$即有闭路$v_1{v}_2...v_i{v}_1$，即存在圈。且由此易知对于$\delta (G)\ge m\ge 2$，则存在长至少为$m+1$的圈。

1.3 双图
  设图$G=(V,E)$，若存在$V$的二划分 { V 1 , V 2 } \{V_1, V_2\} {V1​,V2​}，使得$\forall (u,v)\in E$，都有$u\in V_1,v\in V_2$或$u\in V_2,v\in V_1$，则称图$G$是一个双图。
  若图$G=(V,E)$是一个双图，且是一个完全图，则称$G$是一个完全双图，对于$|V_1|=m,|V_2|=n$，记完全双图为$K_{m,n}$。

  设图$G=(V,E)$，那么$G$是双图的充要条件为$G$中圈的长度为偶数。
  考察该定理的必要性，若图$G=(V,E)$是双图，则有划分 V = { V 1 , V 2 } V = \{V_1, V_2\} V={V1​,V2​}，并考虑任意圈$v_1{v}_2{v}_3...v_n{v}_1$，由于$G$是双图，故必有$v_1,v_3,v_5,...$位于同一划分，而$v_2,v_4,v_6,...$位于另一划分，故$n$必为偶数。
  再考察该定理的充分性，考虑$v\in V$，构造集合$V_1,V_2$，使得$v\in V_1$。设$u$与$v$的距离为$d(u,v)$，那么令 V 1 = { u ∣ d ( u , v )   m o d   2 = 0 } V_1 = \{u|d(u, v)\ mod\ 2 = 0\} V1​={u∣d(u,v) mod 2=0}，$V_2=V-V_1$。考察$V_1$，若$\exists u,w\in V_1,(u,w)\in E$，那么有$$\begin{gathered} d(u,v)mod2=0 \\ d(w,v)mod2=0 \\ d(u,w)=1 \end{gathered}$$此时$u,v,w$构成圈，且长度为奇数，与条件矛盾。故$V_1,V_2$构成了二划分，使得$G$是双图。

  设$(p,q)$图$G=(V,E)$，若$G$中不存在长度为3的圈，则$q\le \lfloor p^2/4\rfloor$，称为图兰【Turán】定理。
  考察该定理，假设成立并归纳：
  1.显然，$p=1,2$，定理成立；
  2.设$p=2N+1$，$\forall (u,v)\in E$，$G-u-v=G^{\prime }$，那么$G^{\prime }$是一个$(2N-1,q^{\prime })$图，那么根据定理，有$$q^{\prime }\le \lfloor p^{\prime 2}/4\rfloor =\lfloor (2N-1{)}^2/4\rfloor =N^2-N$$考察$G$与$G^{\prime }$的边数的关系，由于不存在边数为3的圈的约束，有$degu+degv\le p$，故$$q\le q^{\prime }+p-1=q^{\prime }+2N\le N^2+N=\lfloor (2N+1{)}^2/4\rfloor$$得证；
  3.设$p=2N$，$\forall (u,v)\in E$，$G-u-v=G^{\prime }$，那么$G^{\prime }$是一个$(2N-2,q^{\prime })$图，那么根据定理，有$$q^{\prime }\le \lfloor p^{\prime 2}/4\rfloor =\lfloor (2N-2{)}^2/4\rfloor =N^2-2N+1$$考察$G$与$G^{\prime }$的边数的关系，由于不存在边数为3的圈的约束，有$degu+degv\le p$，故$$q\le q^{\prime }+p-1=q^{\prime }+2N-1\le N^2=\lfloor (2N{)}^2/4\rfloor$$得证。

1.4 欧拉图
  设图$G=(V,E)$，包含$G$的所有迹的所有顶点与所有边的迹称为欧拉迹，当欧拉迹为闭迹时，称为欧拉闭迹。包含欧拉闭迹的图称为欧拉图。

  $G$是欧拉图的充要条件是：$G$是连通的且每个顶点的度为偶数，称为欧拉【Euler】定理。
  考察必要性，$G$是欧拉图，则$G$包含欧拉闭迹，即连通的，且显然，形成闭迹时，顶点的度均为偶数。
  再考察充分性，$G$是连通的且每个顶点的度为偶数，那么$G$具有圈$C_1$，若$C_1$是一条欧拉闭迹，则得证；否则去除圈$C_1$，得到的图的顶点的度也是偶数，且也是连通的，具有圈$C_2$，直到$C_k$，且若干个圈没有公共边，从而形成了欧拉闭迹。

  若图是自反的，则称为带环图，直观的，图的顶点与自己邻接；若图的关系有多个等价类，则称为多重图，直观的，图的顶点之间有多重邻接。带环图与多重图统称为伪图，欧拉定理对于伪图也成立。
  设图$G=(V,E)$，图$G$中有一条欧拉开迹的充要条件为：如果$G$中有2个奇度顶点。
  若$G$有2n个奇度顶点，那么$G$至少有n条迹。

1.5 哈密顿图
  设图$G=(V,E)$，如果$G$中有生成圈，则称$G$为哈密顿图。

  $G=(V,E)$是哈密顿图的必要条件是：对于$S\subseteq V$，取$w(G-S)$表示去除$S$后形成的图的支的个数，那么$w(G-S)\le |S|$。

  $(p,q)$图$G=(V,E)$是哈密顿图的充分条件是：$p>3$且$\forall v\in V$，$degv\ge p/2$。其称为狄拉克【Dirac】定理。
  考察其逆否命题，若$G$不是哈密顿图，那么其也一定不是$K_p$，即存在$u,v\in V$不邻接，设在$G$中加入$(u,v)$，直到$G^{\ast }$是哈密顿图，从中去除最后加入的边，得到的$G^{\prime }$必存在哈密顿路。设$G^{\prime }$的哈密顿路的首个顶点$v$与顶点$v_{i1},...,v_{ik}$邻接，那么末尾顶点$v_p$不能与$v_{ij-1}$邻接，否则形成$v_1{v}_{ik}{v}_{ik+1}...v_p{v}_{ik-1}{v}_{ik-2}...v_1$的哈密顿圈。由于$deg{v}_1=k$，那么$deg{v}_p\le p-1-k$。故有$$deg{v}_1+deg{v}_p\le p-1$$即$v_1$或$v_p$的度小于$p/2$。即得到命题：若$G$不是哈密顿图，那么$\exists v\in V$，$degv<p/2$，其逆否命题即为狄拉克定理。
  上述证明也可以得出，对于$(p,q)$图$G=(V,E)$，若$\forall u,v\in V$，$(u,v)\notin E$，若$degu+degv\ge p$，则$G$是哈密顿图，称为奥尔【Ore】定理。
  推广的，对于$(p,q)$图$G=(V,E)$，若$\forall u,v\in V$，$(u,v)\notin E$，若$degu+degv\ge p-1$，则$G$包含一个哈密顿路。

1.6 图的表示
  图可以直观的采用图解表示。考虑图$G=(V,E)$，其中 V = { v 1 , v 2 , v 3 , v 4 } V = \{v_1, v_2, v_3, v_4\} V={v1​,v2​,v3​,v4​}， E = { ( v 1 , v 2 ) , ( v 2 , v 3 ) , ( v 3 , v 4 ) } E = \{(v_1, v_2), (v_2, v_3), (v_3, v_4)\} E={(v1​,v2​),(v2​,v3​),(v3​,v4​)}，那么其图为

当图的顶点或边有代价时，就形成了带权图，即$G=(V,E,f,g)$，其中$f:V\to R,g\to R$。带权图具有典型的最短路径等问题，详见数据结构——图。

  图也可以使用邻接矩阵表示，其为$$\left(\begin{array}{cccc}0& 1& 0& 0\\ 1& 0& 1& 0\\ 0& 1& 0& 1\\ 0& 0& 1& 0\end{array}\right)$$邻接矩阵有如下定理：对于图$G=(V,E)$及其邻接矩阵$\mathbf{B}$，那么从顶点$v_i$到$v_j$的长为$l$的通道共有$({\mathbf{B}}^l{)}_{ij}$条。

  在计算机中，稀疏的大型邻接矩阵将浪费大量存储空间，使用指针将分散的内存组织成结构，形成邻接表。上述图的邻接表为

  此外，通过顶点与边的关系，可以构造关联矩阵，上述图的关联矩阵为$$\left(\begin{array}{ccc}1& 0& 0\\ 1& 1& 0\\ 0& 1& 1\\ 0& 0& 1\end{array}\right)$$
其中一维表示边，二维表示顶点。

---

二、树
  树是一种数据结构，作为图的一种，其在计算机科学中，尤其是算法中有着重要的作用。

2.1 树
  一个连通的、无圈的图称为树，树中度为1的顶点称为叶。相似的，一个不连通的、无圈的图称为森林。仅有一个顶点的树，称为平凡树，则非平凡树至少有2个叶。
  设$(p,q)$图$G=(V,E)$，那么$G$是树的等价命题包括：
  -$G$的任意两个顶点之间存在唯一的路；
  -$G$是连通的，且有$p=q+1$；
  -$G$是无圈的，且在$G$的任意两个不邻接的顶点之间增加一条边，可以得到有唯一圈的图。
  设图$G=(V,E)$，若$\forall e\in E$，有$G-e$不连通，那么称$G$是一个极小连通图。$G$是树的充要条件为$G$是极小连通图。

  设树$G=(V,E)$，$\forall v\in V$，定义$v$的偏心率用于描述了该顶点与其他所有顶点的距离的度量，记作 e ( v ) = m a x u ∈ V { d ( u , v ) } e(v) = max_{u \in V}\{d(u, v)\} e(v)=maxu∈V​{d(u,v)}，并定义树$G$的半径为 r ( G ) = m i n v ∈ V { e ( v ) } r(G) = min_{v \in V}\{e(v)\} r(G)=minv∈V​{e(v)}。那么树$G$的中心是一个集合$H\subseteq V$，有 H = { v ∣ v ∈ V , e ( v ) = r ( G ) } H = \{v|v \in V, e(v) = r(G)\} H={v∣v∈V,e(v)=r(G)}。

2.2 生成树
  设图$G=(V,E)$，$G$的一个生成子图如果也是树，则称该生成子图为$G$的生成树。
  设图$G=(V,E)$，则$G$有生成树的充要条件为$G$是连通的。

  设带权图$G=(V,E,w)$，其中$w:E\to R_{+}$，$T$是$G$的生成树，那么权和最小的生成树称为最小生成树。最小生成树的构造算法包括普里姆【Prim】算法与克鲁斯卡尔【Kruskal】算法，详见数据结构——图。

2.3 割集
  设图$G=(V,E)$，$v\in V$，若$G-v$的支数大于$G$的支数，那么$v$是$G$的一个割点。
  设图$G=(V,E)$，那么$v$是割点的等价命题包括：
  -$\exists u,w\in V$，$u\ne w$，$u$与$w$之间的所有路均通过$v$；
  -存在 V − { v } V - \{v\} V−{v}的一个划分 { u , w } \{u, w\} {u,w}，使得$\forall u\in U,w\in W$，$u,w$之间的所有路均通过$v$。

  设图$G=(V,E)$，$e\in V$，若$G-e$的支数大于$G$的支数，那么$e$是$G$的一个桥，桥的性质与割点相似：
  -$\exists u,w\in V$，$u\ne w$，$u$与$w$之间的所有路均通过$e$；
  -存在 V − { v } V - \{v\} V−{v}的一个划分 { u , w } \{u, w\} {u,w}，使得$\forall u\in U,w\in W$，$u,w$之间的所有路均通过$e$。

---

三、图的连通与匹配
  无论是计算机科学的网络，还是现实的工程问题，图模型的连通性在一定程度上反映了系统的容错性。

3.1 连通度
  设图$G=(V,E)$，若$\exists v_1,v_2,...v_n$，使得$G-(v_1+...+v_n)$是不连通图或平凡图，称所需去掉的最少顶点数为$G$的顶点连通度，简称为连通度，记作$K(G)$；所需去掉的最少边数，称为$G$的边连通度，记为$\lambda (G)$。典型的，不连通图或平凡图$G$，有$K(G)=\lambda (G)=0$，而树$T$有$K(T)=\lambda (T)=1$。
  最小度、顶点连通度、边连通度是一组构造工程系统的约束参数。

  设图$G=(V,E)$，那么有$K(G)\le \lambda (G)\le \delta (G)$。
  考察最小度与边连通度，若$G$不连通，那么有$\lambda (G)=0\le \delta (G)$；若$G$连通，则$\exists v\in V$，$degv=\lambda (G)$，对于与$v$关联的$\lambda (G)$条边$\sum e$，有$G-\sum e$不连通，即$\lambda (G)=\delta (G)$。综上，$\lambda (G)\le \delta (G)$。
  考察最小度与顶点连通度，若$G$不连通或是平凡的，有$K(G)=\lambda (G)=0$；若$G$连通且非平凡的，如果$G$有桥，那么$K(G)=1\le \lambda (G)$，而$G$没有桥，则$\exists v\in V$，$degv=\lambda (G)$，对于与$v$关联的$\lambda (G)$条边与点$\sum v+e$，有$G-\sum (v+e)$不连通，即$\lambda (G)=K(G)$。综上，$K(G)\le \lambda (G)$。

  $\forall k\le \lambda \le \delta$，总存在$G$，使得$K(G)=k,\lambda (G)=\lambda ,\delta (G)=\delta$。

3.2 n-连通
  设图$G=(V,E)$，若$K(G)\ge n$，则称$G$n-顶点连通，或简称为n-连通；若$\lambda (G)\ge n$，则称$G$n-边连通。典型的，树是1-连通的。

  设图$G=(V,E)$，$|V|\ge 3$，$G$是2-连通的充要条件为$\forall u,v\in V$，$u,v$都在$G$的同一个圈上。
  考察该定理的充分性，若$G$的任意两个顶点都在$G$的同一个圈上，那么$G$没有割点，即$K(G)\ge 2$，即2-连通；在考察必要性，$K(G)\ge 2$，取$d(u,v)$，那么当$d(u,v)=1$，$K(G)\ge 2$，显然，$u,v$形成圈；设$d(u,v)=k$，$d(u,v^{\prime })=k-1$且$u,v^{\prime }$位于一个圈上，且$K(G)\ge 2$，那么$G-v^{\prime }$中，$u$与$v$之间有路，即在$G$中，$u$与$v$之间存在圈。

3.3 匹配问题
  设图$G=(V,E)$，$I\subseteq V$，$\forall u,v\in I$，$(u,v)\notin E$，称$I$为独立集；$x,y\in E$，若$x$与$y$没有共同端点，称$x$与$y$独立，若$S\subseteq E$，$\forall x,y\in E$独立，称$S$是边独立集，也称为匹配。
  设偶图$G=(V_1\cup V_2,E)$，若有$G$的匹配$S$，使得 ∣ S ∣ = m i n { ∣ V 1 ∣ , ∣ V 2 ∣ } |S| = min\{|V_1|, |V_2|\} ∣S∣=min{∣V1​∣,∣V2​∣}，则称该匹配为完全匹配；若有$|S|=|V_1|=|V_2|$，则称为完美匹配。
  设图$G=(V,E)$，$D\subseteq V$，$\forall u,v\in D$，$(u,v)\in D$，称$D$为团。

  设偶图$G=(V_1\cup V_2,E)$，$|V_1|<|V_2|$，那么存在完全匹配$S$的充要条件为：$\forall k,1\le k\le |V_1|,{\sum }_i^{k}degv\ge k,v\in V_1$，称为霍尔【Hall】定理。

---