440 likes | 627 Views
离散数学 DISCRETE MATHEMATICS. 教师 : 石兵 Email:shibing_2009@scu.edu.cn. 二零一三. 本次课的重点. 图的连通 图的点 边割集合 图的矩阵表示. 第二节 图的道路与连通. 一、无向图的道路 1. 定义 :图 G 中由结点和边交替构成的序列 p=v 0 e 1 v 1 e 2 v 2 ...e k v k 称为由 v 0 到 v k 的一条 道 路 ,其中每条 e i 和 v i-1, v i 关联。 v 0 称为道路 p 的 起点 , v k 称为道路 p 的 终
E N D
离散数学 DISCRETE MATHEMATICS 教师:石兵 Email:shibing_2009@scu.edu.cn 二零一三
本次课的重点 • 图的连通 • 图的点\边割集合 • 图的矩阵表示
第二节 图的道路与连通 一、无向图的道路 1. 定义:图G中由结点和边交替构成的序列 p=v0e1v1e2v2...ekvk 称为由v0到vk的一条道 路,其中每条ei和vi-1,vi关联。 v0称为道路 p的起点,vk称为道路 p的终 点。P中的边数k称为道路的长度。 只由一个结点构成的道路称为零道路。
例:下图中 p1=v1e1v1e2v2e3v1e5v4e8v3e6v2 p2=v1e2v2e6v3e8v4e5v1e4v3e9v5 p3=v1e5v4e8v3e6v2(简记为:p3=v1v4v3v2) p4=v6都是道路。 e1 v3 e4 e9 v5 v1 e5 e12 e8 e2 e3 e6 v6 v2 e10 e7 v4 e11
2. 道路的分类: ① 迹:任何满足道路定义的道路 。 ② 简单道路:边不重复出现的道路。 ③ 基本道路:结点不重复出现的道路。 例:上图中,p1是迹,p2是简单道路, p3是基本道路,p4是零道路。
3. 回路(闭道路):起点和终点相同的道路。 边不重复出现的回路称为简单回路。 结点不重复出现的回路称为圈。 例:下图中,c1是一般回路,c2是简 单回路,c3是圈。
例:下图中 c1=v1e1v1e2v2e7v4e8v3e4v1e3v2e2v1 c2=v1e1v1e2v2e3v1e5v4e8v3e4v1 c3=v1e5v4e8v3e6v2e3v1 (c3可简记为:p3=v1v4v3v2v1) 都是回路。 e1 v3 e4 e9 v5 v1 e5 e12 e8 e2 e3 e6 v6 v2 e10 e7 v4 e11
4. 定理:设G是n阶图,如果存在从结点u到v的道路,则必存在从结点u到v 的长度不超过n-1的道路。 证明要点:如果结点u到v的道路 p的长度 超过n-1,则 p中至少有n+1个结点,因而 道路中至少有一个结点出现两次,如 viei ...vi ,则去掉ei...vi后仍是结点u到v的 道路,但是道路长度至少短1。重复这一 过程,即得所需结论。
二、无向图的连通问题 1. 如果存在从结点u到结点v的道路,则称u 到v是连通的。 结点集V上的“连通”关系具有性质:自 反、对称、传递。 2. 如果图G中任何两个结点都是连通的,则 称G是连通图。
3. 图G中的极大连通子图称为图G的支, 图G的支数记为 (G)。 图G连通当且仅当 (G)=1。 例:下图中 (G)=3。 v3 v2 v4 v1 v8 v5 v7 v6
4. 连通图G=(V, E)的点割集:设S V, 如果 (G-S) 〉1,则称S是G的一个 点割集。 ① S是G的一个点割集,而S的任何真 子集都不是点割集时,称S是G的一个 基本点割集。 ② 由单个结点(如u)构成的点割集 简称为割点。
例如,下图中一些基本点割集: S1={v2,v5}, S2={v2,v6} S3={v2,v7}, S4={v3,v5} S5={v4} v3 v2 v4 v1 v5 v7 v6
定理 结点u是图G的割点当且仅当存在两 结点v和w,使v到w的任何道路都经过u。 证明要点: 当u是割点时,则G - u至少 有2支,从这2支中各选一个结点即可。 反之,如果 v到 w的任何道路都经过 u, 则去掉 u后 ,v和 w各在 G - u的 1支中, 即u是割点。
5. 连通图G=(V, E)的边割集:设F E, 如果(G - F) 〉1,则称F是G的一个 边割集。 ① F是G的一个边割集,而F的任何真 子集都不是边割集时,称 F是G的一个 基本边割集。 ② 由单条边(如uv)构成的边割集简 称为割边。
例如,下图中一些基本边割集: F1={v2v3,v3v7},F2={v2v3,v5v7} F3={v1v4},F4={v2v4,v2v6,v5v6} F5={v4v6,v2v6,v2v5,v3v7} v3 v2 v4 v1 v5 v7 v6
定理 边e是图G的割边当且仅当 e 不在G 的任何简单回路上。 证明要点:当e是割边时,则G - e有2支, 因而G中不可能有包含e的简单回路。反之,如果 e不在任何简单回路上,则去掉 e 后,e 关联的两 个结点各在 G - e的 1支中,即 e 是割边。 (关于点连通度和边连通度的概念,请看书)
四、有向图的道路 1. 定义:如果图G中由结点和边交替构 成的序列 p=v0e1v1e2v2...ekvk , 满足其 中每条 ei 是 vi-1的出边和 vi 的入边, 则称 p为由 v0到 vk 的一条有向道路。
在下图中,一些有向道路 p1=v1v4v2v1v3v5v4 p2=v3v2v1v3v5v4v2 p3=v5v4v2v1v3 v4 v1 v5 v2 v3
2. 有向道路的分类: ① 有向迹:任何满足定义的有向道路 。 ② 有向简单道路:边不重复的有向道路。 ③ 有向基本道路:结点不重复的有向道路。 3. 有向回路:起点和终点相同的有向道路。 边不重复的有向回路称为有向简单回路。 结点不重复的有向回路称为有向圈,
在下图中,一些有向回路 p1=v1v4v2v1v3v5v4v2v1 p2=v3v2v1v3v5v4v3 p3=v5v4v2v1v3v5 v4 v1 v5 v2 v3
五、有向图的连通问题 1. 如果存在从结点u到结点v的有向道路, 则称u可达v。 结点集V上的“可达”关系具有性质: 自反、传递。 2. 有向图G的连通有如下三个层次:
① 强连通图:任何一对不同结点都相互可达。 有向图G是强连通图当且仅当存在一条包含 所有结点的有向回路(有向闭道路)。 有向图G的极大强连通子图称为强分图。 每个结点都只位于一个强分图中。 v1 v4 v5 v2 强连通图 v3
②单向连通图:任何一对不同结点间, 至少从一个结点可达另一个结点。 ③弱连通图:不看边的方向时是连通的。 d a d a b c c b 弱连通 单向连通
作业: 习题十 15、16、19 作业:习题10.3 1、2、5 (老书: 9.2)
第三节 图的矩阵表示 一、邻接矩阵 1. 设G=(V, E)是有向简单图, 其中 V= {v1, v2, ..., vn}, 定义矩阵A=(ai j)nn如下: 1 如果 (vi, vj) E ai j= 0 如果 (vi, vj) E 称A为G的邻接矩阵.
下面有向图对应的邻接矩阵是 v1 v2 v3 v4 v5 v1 0 0 1 1 0 v2 1 0 1 1 0 A =v3 0 0 0 0 1 v4 0 0 1 0 0 v5 0 0 0 1 0 v1 v4 v5 v2 v3
2. 邻接矩阵的性质: ① 邻接矩阵等价地描述了有向图的信息。 矩阵行和等于结点出度,列和等于出度。 ② 设A2= (a(2)i j),则a(2)i j =1 k n(ai kakj) a(2)i j 0当且仅当至少存在ai k =1且akj=1, 也就是存在从vi到vj的长度为2的有向道路。 因此a(2)i j的值表达了从vi到vj的长度为2的 有向道路数目。
③ 设Am= (a(m)i j), 那么a(m)i j的值表达了从vi 到vj长度为m的有向道路数目。 a(m)i i的值 表达了通过vi的长度为m的有向回路数目。 例如,对于前面的邻结矩阵 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 A2 = 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0
0 0 1 0 1 0 0 2 1 1 = 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 从中可以看出,存在一条从v1到v3的长度 为2的道路,2条从v2到v3的长度为2的道路, 1条从v4到v5的长度为2的道路,不存在从v5 到v2的长度为2的道路等等。
结合对应的有向图,可以对长度为2、3、4 等等的道路数目进行验证: v1 v4 v5 v2 v3
0 0 1 0 1 0 0 1 1 0 0 0 2 1 1 1 0 1 1 0 A3 = 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 2 = 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1
类似地,可以构造 0 0 1 1 0 0 0 1 2 1 A4 = 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 可对照图找出长度为4的有向道路. v1 v4 v5 v2 v3
3. 可达矩阵 设G=(V, E)是有向简单图, 其中 V= {v1, v2, ..., vn}, 定义矩阵P=(pi j)nn如下: 1 vi可达 vj pi j= 0 其它 称P为G的可达矩阵.
可达矩阵P可通过邻结矩阵A求得,方法 之一是计算矩阵和: B= A + A2 +...+ An-1 然后,令pi j=1当且仅当bi j 〉0。 例如,由前面的例子可得
B= A + A2 + A3 + A4 0 0 3 3 2 1 0 5 5 4 = 0 0 1 1 2 0 0 2 1 1 0 0 1 2 1 其中每个非0的bi j表达了vi到vj 的长 度不超过4的道路数目,若 bi j =0, 表明不存在从vi到vj 的有向道路。
由矩阵B直接可导出下面的可达矩阵: 0 0 1 1 1 1 0 1 1 1 P= 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 可达矩阵也可以利用Warshall算法求得。
4. 由可达矩阵构造图的强分图 令Q = PPT = (qi j)nn ,其中 1 i = j qi j= pi j pji i j 那么,在矩阵Q中第k行中元素1对应 列的结点,构成图的一个强分图。
例:根据前面例子得到的可达矩阵,可得 1 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 0 0 0 PPT = 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1
1 0 0 0 0 0 1 0 0 0 = 0 0 1 1 1 0 0 1 1 1 0 0 1 1 1 从第1行知道,v1单独在一个强分图中; 从第2行知道,v2单独在一个强分图中; 从第3、4、5行知道,v3、v4、v5共同 构成一个强分图。
由此可见,该图有3个强分图,它们分别 包含结点子集{v1}、{v2}、{v3,v4,v5}。 可由下图验证。 v1 v4 v5 v2 v3
二、关联矩阵 1. 定义:设G=(V, E)是有向简单图, 其中 V= {v1, v2, ..., vn}, E= {e1, e2, ..., em}, 定义矩阵M=(mi j)nm如下: 1 如果ej是vi的出边 mi j= -1 如果ej是vi的入边 0 其它 称M为G的关联矩阵.
例:下面有向图对应的关联矩阵如下: e2 v1 e8 e3 v4 e1 e6 v5 e4 e7 v2 v3 e5
e1 e2 e3 e4 e5 e6 e7 e8 v1 -1 1 1 0 0 0 0 0 v2 1 0 0 1 1 0 0 0 M =v3 0 0 -1 0 0 -1 1 0 v4 0 -1 0 -1 0 1 0 -1 v5 0 0 0 0 -1 0 -1 1 2. 关联矩阵的性质: 关联矩阵等价地描述了有向图的信息。
矩阵每行中1的个数等于对应结点出度, -1的个数等于结点的入度。 矩阵每列恰有一个1和-1。 作业:习题十 30 作业:习题10.4 3 (老书 9.3)