【图论及其运用 — 电子科技大学】（九）第九章 有向图

(一)、有向图的概念与性质

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$中，具有相同起点和终点的边称为平行边。两点间平行边的条数称为该两点间的重数。

例如，在上图中，$e_6$与$e_7$是平行边。

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

---

---

首先要假定连通，因为不连通，我们可以分别对每个连通分支处理即可。

如果图是欧拉图，可以根据 Fluery 算法走出一条欧拉环游，依次标方向即可，这样就保证了，欧拉环游上每个点的入度和出度相等，相减为 0，满足。

如果不是欧拉图，则进行奇度点配对，将奇度点进行连线，这样就得到了一个欧拉图。

2、性质

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

证明： 由出度与入度的定义每条边为出度贡献 1 度，为入度贡献 1 度，所以每一条边都对于一个入度一个出度，等式成立。

3、有向图的矩阵表示

定义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$的关联矩阵，其中

---

---

(二)、有向图的连通性（重点）

1、相关概念

(1) 有向途径(闭途径)、迹(闭迹)和路(圈)

上面概念与无向图中相关概念类似。

(2) 有向图中顶点间的连通性

定义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$的某个强(弱)连通分支中。

证明： 对于弱连通分支情形，命题结论是显然的。
对于强连通分支情形，因为不难证明：$D$中顶点间的强连通关系是等价关系。该等价关系对应的等价类在$D$中的导出子图必然是$D$的一个强分支。而$D$的一个强分支包含的顶点也必然是该等价关系的一个等价类。
但是，对于单向连通分支来说，$D$的某个顶点，可能会分属于$D$的若干个单向连通分支。原因是单向连通关系不是等价关系。

(三)、图的定向问题

对于任意一个无环图$G$，要对其作强连通定向，需要解决两个问题：一是强连通定向的存在性问题，二是如何定向问题。

1、存在性问题

定理3 ( 罗宾斯，1939) 非平凡连通图$G$具有强连通定向当且仅当$G$是$2$边连通的。（即边连通度至少为2，换句话就是图没有割边）

罗宾斯(1915—2001), 美国拓扑学家，数理统计学家。

2、强连通定向算法（只要会执行就行，不用理解为什么）

该算法采用顶点标号方法给边标上方向。设$G=(V,E)$是$2$边连通图。

---

第三次上交作业
P143—146 习题6 ：2，3，4，17，19，20.
P187—190 习题7 ：1，2，5，28, 32.