图论基础知识（部分）

10.3 图的表示和图的同构

一、图的表示

1. 邻接表：该表规定与图的每个顶点邻接的顶点。可以用来描述简单图和有向图。

2. 简单图的邻接矩阵：为了简化计算；这是基于顶点的邻接关系。

   【定义】假设 $G=(V,E)$是简单图 ，其中$|V|=n$.假设把$G$的顶点任意地排列成$v_1,v_2,...,v_n$。对这个顶点表来说，$G$的邻接矩阵$A$是一个$n\times n$的$0－1$​矩阵，它满足这样的性质
   a i j = 1 , i f { v i , v j }   i s   a n   e d g e   o f   G ;   a i j = 0 , o t h e r w i s e . {a_{ij}=1,if \{v_i,v_j\}{\ }is{\ }an{\ }edge{\ }of{\ }G;}\\ {\ }{a_{ij}}=0,otherwise. aij​=1,if{vi​,vj​} is an edge of G; aij​=0,otherwise.
   【结论】无向图的邻接矩阵总是对称的。

   【注意】

   $1)$ 图的邻接矩阵依赖于所选择的顶点的顺序。因此带$n$个顶点的图有$n!$个不同的邻接矩阵，因为$n$个顶点有$n!$不同的顺序。
   $2)$ 当图里的边相对少时，邻接矩阵是稀疏矩阵，即只有很少的非$0$项的矩阵。可以用特殊的方法来表示和计算这样的矩阵。

3. 伪图或多重图的邻接矩阵：

   【定义】

   $1)$ 邻接矩阵也可以表示带环和多重边的无向图。

   $2)$ 把顶点$a_i$上的环表示成邻接矩阵$(i,i)$位置上的$1$。

   $3)$ 当出现多重边时候，邻接矩阵不再是$0－1$矩阵，这是因为邻接矩阵的第$(i,j)$项等于与 { a i , a j } \{a_i,a_j\} {ai​,aj​}关联的边数。

   $4)$ 包括多重图与伪图在内的所有无向图都具有对称的邻接矩阵。

4. 有向图的邻接矩阵：

   【定义】

   $1)$ 假设$G=(V,E)$是含$n$个顶点的有向图。若$v_1,v_2,v_3,...,v_n$是有向图任意的顶点序列。

   $2)$ 若有向图$G=(V,E)$从$v_i,v_j$有向边，则它的矩阵在$(i,j)$位置上有$1$，否则为$0$。
   $$\begin{array}{rl}& Inotherwords,foranadjacencymatrixA=[a_{ij}],\\ & a_{ij}=1,if(v_i,v_j)isanedgeofG;\\ & a_{ij}=0,otherwise.\end{array}$$
   【结论】

   $1)$. 对无向图来说，邻接矩阵每一行各个位置上数字之和代表什么？表示与顶点$i$关联的边数，它等于顶点$i$的度减去在顶点$i$上的环数。

   $2)$. 对于有向图而言，邻接矩阵每一行各个位置上数字之和代表什么？代表该顶点的出度$de{g}^{+}(v_i)$。

   $3)$. 对于有向图而言，邻接矩阵每一列各个位置上数字之和代表什么？代表该顶点的入度$de{g}^{-}(v_i)$。

5. 关联矩阵：

   【定义】设$G=(V,E)$是无向图。设$v_1,v_2,...,v_n$是顶点而$e_1,e_2,...,e_m$是边。则相对于$V$和$E$的这个顺序的关联矩阵是$n\times m$矩阵$M=[m_{ij}{]}_{n\times m}$.
   $$m_{ij}=\{\begin{array}{ll}1,& whenedge{e}_{j}isincidentwith{v}_i,\\ 0,& otherwise\end{array}$$
   【结论】在无向图中的关联矩阵中，每列中有两个$1$的表明这条边与这两个顶点相连接，每列有一个$1$的表明存在环。

二、图的同构

1. 【定义】设$G_1=(V_1,E_1)$ 和$G_2=(V_2,E_2)$是简单图，若存在一对一的和映上的从 $V_1$ 到$V_2$ 的函数$f$，且$f$具有这样的性质，对$V_1$里所有的$a$ 和$b$来说，$a$和$b$在$G_1$里邻接，当且仅当 $f(a)$和$f(b)$在 $G_2$里邻接，就说$G_1$和$G_2$是同构的。这样的函数$f$称为同构。换句话说，当两个简单图同构时，两个图的顶点之间具有保持邻接关系的一一对应。

2. 【怎么判断两个简单图是否同构】在两个带$n$个顶点的简单图顶点集之间有$n!$种可能的一一对应，通过检验每一种对应来看它是否保持邻接关系和不邻接关系是不可行的。然而，可以通过说明两个简单图不具有同构的图所必须具有的性质来说明它们不同构。我们把这样的性质称为对简单图的同构来说的不变量。

3. 【$invariants$（不变量）】
   ----- things that $G_1$ and $G_2$ must have in common to be isomorphic.

4. 【同构图中的重要不变量】相同的顶点数，有相同的边数，有相同的顶点度，找到相同的邻接矩阵等等。

5. 【步骤】

   $1)$ Check invariants,

   $2)$ Try to find an isomorphism f,

   $3)$ Show that f preserves adjacency relation.

10.4 连通性

一、无向图中的通路及连通性

定义1

1. 图$G$的一个非空点、边交替序列$W=v_0{e}_1{v}_1{e}_2{v}_2...e_k{v}_k$称为一条从$v_0$到$v_k$的路径或路径$(v_0，v_k)$，其中，$v_{i-1}$，$v_i$是$e_i$的端点($1\le i\le k$)。称$v_0$为$W$的起点，$v_k$为$W$的终点，$v_i(1\le i\le k-1)$为$W$的内点，$k$为$W$的路长。

2. 若$W=v_0{e}_1{v}_1{e}_2{v}_2...e_k{v}_k$是一条$(v_0，v_k)$路径，$W$逆转后的$v_k{e}_k...v_2{e}_2{v}_1{e}_1{v}_0$必为一条路径，记$(v_0，v_k)$为$W^{-1}$。

3. 路径$W$的部分相连项构成的子序列$v_i{e}_i{v}_{i+1}...e_j{v}_j,0\le i\le j\le j$, 也必构成一条路径，这条路径称为$W$的节。

4. $W$可以与另一条路径$W^{{}^{\prime }}=v_k{e}_{k+1}{v}_{k+1}...e_l{v}_l$衔接在一起便得一条新路径，记为$W{W}^{{}^{\prime }}$。

5. 简单图中，路径$v_0{e}_1{v}_1{e}_2{v}_2...e_k{v}_k$可简单地用其顶点序列 $v_0{v}_1{v}_2{v}_3...v_k$表示。

定义2

1. 设$v_0{e}_1{v}_1{e}_2{v}_2...e_k{v}_k$为图$G$中的一条路径，若边$e_1,e_2,...,e_k$互不相同，则称该路径为迹；若点序列$v_0,v_1,v_2,...,v_k$互不相同，则称该路径为路。

定义3

1. 设$v_0{e}_1{v}_1{e}_2{v}_2...e_k{v}_k$ 是图$G$中的一条路径且$k\ge 1$，如果$v_0=v_k$，则称该路径为闭路径，否则称为开路径。特别地，若$v_0{e}_1{v}_1{e}_2{v}_2...e_k{v}_k$ 是一条迹，$k\ge 1$，当$v_0=v_k$时称为闭迹，否则称为开迹。闭迹也称为回路。

定义4

1. 设$v_0{e}_1{v}_1{e}_2{v}_2...e_k{v}_k$是一条闭迹，如果$v_0,v_1,v_2,...,v_{k-1}$互不相同，则称该闭迹为圈或$k$圈，且当$k$为偶数时称为偶圈，$k$为奇数时称为奇圈。
2. 一条路必是一条迹。
3. 自环和两条平行边都自成一圈。

定理1

1. 若图$G$中每个顶点度数至少为$2$，则$G$中必含有圈。

   【证明】取一个点$v_1$，因为其度数不小于$2$，至少有一个邻点$v_2$与其邻接，否则就自身成环，度数为2；对于其中任意一个点$v_k$，要么与$v_{k+1}$邻接，或者与$v_1$邻接，后者构成一个圈；直至最后，必存在$v_k$与$v_1$邻接，否则就有$v_k$的度数小于$2$，与题意矛盾，证毕。

定义5

1. 设$G$是一个图，$u，v\in V(G)$，如果存在从$u$到$v$的路，则称$u，v$是相连的或连通的，若$G$中任意两点都连通，则称图$G$是连通的。

2. 图$G$中顶点之间的连通关系是一个等价关系。

3. 连通关系为等价关系的

   【证明】 $(1)$自反性，对于任意$v\in V(G)$,都有$(v,v)\in V(G)$,这说明自反性成立。

   $(2)$对称性，由于存在从$u$到$v$的连通关系，即$(u,v)\in V(G)$，那么也存在从$v$到$u$的连通关系，那么$(v,u)\in V(G)$，所以对称性成立。

   $(3)$传递性，存在$u$到$v$的连通关系，也存在$v$到$w$的连通关系，那么由图的性质，就存在$u$到$w$的连通关系，即
   $$(u,v)\in V(G),(v,w)\in V(G)\to (u,w)\in V(G)$$
   所以，传递性成立。证毕。

4. 根据该关系可将$V(G)$划分成一些等价类$V_1，V_2，...，V_n$，每个$V_i$导出的子图$G(V_i)$称为$G$的一个连通分支。

5. $G$的连通分支数通常用$\omega (G)$表示 。

6. $G$是连通的$\iff \omega (G)＝1$。

定义6

1. 设$u，v\in V(G)$，若$u，v$连通，则称最短$(u，v)$路的长为$u，v$距离，记为$d(u，v)$。当$u，v$不连通时，认为$u，v$的距离是$\infty$。

定理2

1. 一个图$G$是二分图$\iff G$中不含奇圈。

   【证明】

   $(1)$必要性

   设 G = { X ， Y } G={\{X，Y\}} G={X，Y}为一个二分图，

   1. 首先考虑$G$作为二分图无法构成圈的情况，这里如果无法构成圈，也说明了无法构成奇圈，结论成立。
   2. 假设能够构成一个圈，令$C=v_0{e}_1{v}_1{e}_2{v}_2\dots e_k{v}_k{e}_{k+1}{v}_0$是一个圈，下面证明：$C$为偶圈。
   3. 【证明】不妨设$v_0\in X$，由于二分图的性质，$v_1\in Y$，$v_2\in X$，$...$，由于$C$的末尾$v_0\in X$，则$v_k\in Y$，这里不难发现，$v_{2i+1}\in Y$，$v_{2i}\in X$，$0\le i$，由于$v_0\in X$，则有$v_k\in Y$，则$k$为奇数，由此可得这里有$k+1$条边，故$C$为偶圈。

   $(2)$充分性

   假设$G$中无奇圈，构造出$V(G)$的划分 { X ， Y } {\{X，Y\}} {X，Y} 。

   1. 这里给出构造的方法：不妨设点$u\in X\in V(G)$，$G$中其他的点与$u$的距离为奇数的点在$Y$中，与$u$的距离为偶数的点在$X$​中，这里以表达式的形式给出就是
      { v i ∈ X ∣ d ( u , v i ) = 2 k , k ∈ Z } , { v i ∈ Y ∣ d ( u , v i ) = 2 k + 1 , k ∈ Z } , i ≥ 0 ; \{{v_i}{\in}X|d(u,{v_i})={2k},k{\in}Z\}, \{{v_i}{\in}Y|d(u,{v_i})={2k+1},k{\in}Z\},{i{\geq}0}; {vi​∈X∣d(u,vi​)=2k,k∈Z},{vi​∈Y∣d(u,vi​)=2k+1,k∈Z},i≥0;
      由上述定义可知$u\in X$，下面证明划分 { X } \{X\} {X}中每对点都不相互邻接，同理对于划分 { Y } \{Y\} {Y}也是如此。下面分两种情况讨论。

   2. 【情况一】不妨设任意$v_i，v_j\in X$且$i\ne j$，，由于$d(u,v_i),d(u,v_j)$均为偶数，设此时路$(u,v_i),(u,v_j)$没有重复的点，那么如果$v_i,v_j$邻接，则$d(v_i,v_j)=1$,那么由 { u , v i } , { u , v j } , { v i , v j } \{u,v_i\},\{u,v_j\},\{v_i,v_j\} {u,vi​},{u,vj​},{vi​,vj​}构成的圈为奇圈，与题意矛盾，不成立，所以$d(v_i,v_j)=\infty$，即是$v_i,v_j$不邻接。

      【情况二】不妨设任意$v_i，v_j\in X$且$i\ne j$，，由于$d(u,v_i),d(u,v_j)$均为偶数，设此时路$(u,v_i),(u,v_j)$存在重复的点，那么如果$v_i,v_j$邻接，则$d(v_i,v_j)=1$，设这个重复的点为$v_k$，首先考虑$v_k\in Y，k\ge 0$的情况，假设$d(u,v_i)$和$d(u,v_j)$中从$u$到$v_k$的$d(u,v_k)$不同，则与$d(u,v_i)$表示为最短路线的定义矛盾，所以两条路线中，即$d(u,v_i),d(u,v_j)$中$d(u,v_k)$这一项必相同，由已知$d(u,v_k)+d(v_k,v_i)=d(u,v_i),d(u,v_k)+d(v_k,v_j)=d(u,v_j)$均为偶数，所以$d(v_k,v_i)+d(v_k,v_j)=$偶数，如若$d(v_i,v_j)=1$，那么$(v_k,v_i),(v_k,v_j),(v_i,v_j)$构成一个奇圈，这与题意矛盾，所以$v_i,v_j$不邻接，同理可证明$v_k\in X$结论也成立。

      证毕。当然也可以采用着色的方法进行证明。

定理3

1. 设$G$是具有$n$个顶点的简单图，若$G$有$\epsilon$条边，$\omega$个连通分支，则
   $$n-\omega \le \epsilon \le \frac{1}{2}(n-\omega )(n-\omega +1)$$
   【证明】$(1)$ 先证明$n-\omega \le \epsilon$，对$\epsilon$采用数学归纳法。归纳奠基：对于$\epsilon =0$，那么$\omega =n$，所以有$n-\omega \le \epsilon$，成立；假设当$\epsilon =k$时命题也成立，则有$n-\omega \le k$成立，下证明$\epsilon =k+1$时命题也成立，考虑从$k$到$k+1$的过程，可以视作图$G$去掉一条边，那么将会有两种情况：a.去掉该边之后不影响连通分支的数量，那么$n-\omega \le \epsilon \le \epsilon +1$成立，b.去掉该边之后连通分支的数量$+1$（反过来相当于减少了一个连通分支），那么由于$n-\omega \le \epsilon$成立，则$n-(\omega -1)\le \epsilon +1$也成立。故$\epsilon =k+1$时命题也成立。综上所述，结论成立！

   $(2)$再证明$\epsilon \le \frac{1}{2}(n-\omega )(n-\omega +1)$，对于每个联通分支而言，当每个连通分支各自都构成完全图的情况下，边数$\epsilon$最大，不妨设每个连通分支的边数为${\epsilon }_1,{\epsilon }_2,{\epsilon }_3,...,{\epsilon }_{\omega }$，每个连通分支的顶点数为$n_1,n_2,n_3,...,n_w$，由于${\epsilon }_1\le C_{n_1}^2$，${\epsilon }_2\le C_{n_2}^2$，${\epsilon }_3\le C_{n_3}^2$，$...$，${\epsilon }_{\omega }\le C_{n_{\omega }}^2$；则有
   $${\epsilon }_1+{\epsilon }_2+{\epsilon }_3+...+{\epsilon }_{\omega }\le C_{n_1}^2+C_{n_2}^2+C_{n_3}^2+...+C_{n_{\omega }}^2$$
   成立；由数学知识可得：
   $$C_{n_1}^2+C_{n_2}^2+C_{n_3}^2+...+C_{n_{\omega }}^2\le C_{n_1+n_2+...+n_{\omega }-(\omega -1)}^2=C_{n-\omega +1}^2=\frac{1}{2}(n-\omega )(n-\omega +1).$$
   这里
   $$C_s^2+C_t^2\le C_{s+t-1}^2,s\ge 2,t\ge 2.$$
   请自行证明该式成立即可。综上，结论成立，证毕！

2. 当$G$有$n$个顶点，$\omega$个分支时，怎样让边最多？即$G$的一个连通分支是$n－\omega ＋1$个点的完全图，其余$\omega －1$个连通分支均是弧立点。此时边数$\epsilon =\frac{1}{2}(n-\omega )(n-\omega +1)$。

3. 当$\omega =1$时，$\epsilon \ge n-1$。即$n$个顶点的连通图至少有$n－1$条边。

4. 具有$n$个顶点，$n－1$条边的连通图称为最小连通图。

二、有向图中的通路及连通性

定义1

1. 有向路径：一个非空有限点、弧交替序列$W=v_0{a}_1{v}_1{a}_2{v}_2...a_k{v}_k$对于$i＝1,2,...,k$，弧$a_i$的头为$v_i$，尾为$v_{i－1}$，有向路径$v_0{a}_1{v}_1{a}_2{v}_2...a_k{v}_k$也常用它的顶点序列$v_0{v}_1{v}_2\dots v_k$表示。
2. 区分有向迹，有向路，有向回路，有向圈。
3. 若存在有向$(u,v)$路，则称$v$是从$u$可达的。
4. 若$u,v$互相可达，则称$u,v$是双向连通的。
5. 若对$D$中任何两顶点，至少有一顶点可从另一顶点可达，则称$D$是单向连通图。
6. 若$D$中任何两顶点都是双向连通的，则称$D$是双向连通图或强连通图。
7. 双向连通关系是$D$的顶点集$V$上的一个等价关系。
8. 双向分支或强连通分支。
9. $D$强连通$\iff D$恰有一个强连通分支。