南邮离散数学第7章 图论
合集下载
第七章 2汉密尔顿图
只能邻接路上的结点为止。若 p=n,则汉密尔顿路找到了,否则 p<n,转 STEP 2。
L: v1
vp
2021/2/16
7-2 汉密尔顿图 2021/2/16
7-2 汉密尔顿图
如果 v p 不邻接于 vl1, vm1,..., v j1,..., vt1 中的任意一个结点,则 deg(vp ) p 1 k ,
deg(u)+deg(v)≥ n, 则G是汉密尔顿图。
2021/2/16
11
7-2 汉密尔顿图
设G=〈V ,E〉是有n个结点的简单图, (1) 如果任两结点u,v∈V, 均有
deg(u)+deg(v)≥ n-1, 则在G中存在一条汉密尔顿路;
(1)证明:首先证明图 G 连通。用反证法进行证明。假设图 G 不连通,则图 G 至少
deg(v1) k , deg(vp ) deg(v1) p 1 k k p 1 n 1 , 这 与 前 提 条 件
deg u +deg v n-1矛盾。因此 v p 必然邻接于 vl1, vm1,..., v j1,..., vt1 中的任意一个结
点。回路 L1 一定存在。 STEP 3:打开回路,得到基本路径 L2。
有两个连通分支 G1 和 G2 。G1=<V1, E1> ,G2=<V2 , E2> 。| V1 | n1 ,| V2 | n2 。在G1 中取 一 个 结 点 v1 , deg(v1) n1 1 , 在 G2 中 取 一 个 结 点 v2 , deg(v2 ) n2 1 。
deg(v1) deg(v2 ) n1 1 (n2 1) n1 n2 2 n 2 ,与 deg u+deg v n-1 矛
因此该定理不能证明彼得森图是非 汉密尔顿图。但彼得森图是非汉密尔 顿图。
L: v1
vp
2021/2/16
7-2 汉密尔顿图 2021/2/16
7-2 汉密尔顿图
如果 v p 不邻接于 vl1, vm1,..., v j1,..., vt1 中的任意一个结点,则 deg(vp ) p 1 k ,
deg(u)+deg(v)≥ n, 则G是汉密尔顿图。
2021/2/16
11
7-2 汉密尔顿图
设G=〈V ,E〉是有n个结点的简单图, (1) 如果任两结点u,v∈V, 均有
deg(u)+deg(v)≥ n-1, 则在G中存在一条汉密尔顿路;
(1)证明:首先证明图 G 连通。用反证法进行证明。假设图 G 不连通,则图 G 至少
deg(v1) k , deg(vp ) deg(v1) p 1 k k p 1 n 1 , 这 与 前 提 条 件
deg u +deg v n-1矛盾。因此 v p 必然邻接于 vl1, vm1,..., v j1,..., vt1 中的任意一个结
点。回路 L1 一定存在。 STEP 3:打开回路,得到基本路径 L2。
有两个连通分支 G1 和 G2 。G1=<V1, E1> ,G2=<V2 , E2> 。| V1 | n1 ,| V2 | n2 。在G1 中取 一 个 结 点 v1 , deg(v1) n1 1 , 在 G2 中 取 一 个 结 点 v2 , deg(v2 ) n2 1 。
deg(v1) deg(v2 ) n1 1 (n2 1) n1 n2 2 n 2 ,与 deg u+deg v n-1 矛
因此该定理不能证明彼得森图是非 汉密尔顿图。但彼得森图是非汉密尔 顿图。
离散数学-第7章-图论廖学生用
05
图论中的优化问题
最短路径问题
总结词
最短路径问题是图论中一类经典的优化问题,旨在寻找图中 两个节点之间的最短路径。
详细描述
最短路径问题有多种算法,其中最著名的算法是Dijkstra算法 和Bellman-Ford算法。Dijkstra算法适用于带权重的有向图 或无向图,而Bellman-Ford算法适用于带权重的无向图。这 两种算法都能有效地找到最短路径,但时间复杂度和适用范 围有所不同。
03
图的遍历算法
深度优先搜索
要点一
总结词
深度优先搜索是一种用于遍历或搜索树或图的算法。
要点二
详细描述
该算法通过沿着树的深度遍历树的节点,尽可能深地搜索 树的分支。当节点v的所在边都己被探寻过,搜索将回溯到 发现节点v的那条边的起始节点。这一过程一直进行到已发 现从源节点可达的所有节点为止。如果还存在未被发现的 节点,则选择其中一个作为源节点并重复以上过程,整个 进程反复进行直到所有节点都被访问为止。
06
图论的应用实例
社交网络分析
社交网络分析
图论在社交网络分析中有着广泛的应用。通过构建社交网络模型,可以研究人际关系、信 息传播、社区结构等方面的问题。例如,通过分析社交网络中的节点和边的关系,可以发 现社区结构、影响力传播路径、信息扩散规律等。
社交网络模型
社交网络模型通常由节点和边构成,节点代表个体或组织,边代表它们之间的关系。根据 实际需求,可以选择不同的社交网络模型,如社交关系网、信息传播网等。
力传播等。
生物信息学
交通运输
图论用于基因调控网络、 蛋白质相互作用网络等 生物信息学领域的研究。
图论用于交通路线的规 划和管理,如最短路径 算法、交通流量优化等。
离散数学-图论基础
结点的次数
2020/1/17
问题1:是否存在这种情况:25个人中,由于意见不同,每 个人恰好与其他5个人意见一致?
在建立一个图模型时,一个基本问题是决定这个图是什么 —— 什么是结点?什么是边? 在这个问题里,我们用结点表示对象——人; 边通常表示两个结点间的关系——表示2个人意见一致。 也就是说,意见一致的2个人(结点)间存在一条边。
第七章 图论基础
Graphs
第一节 图的基本概念
2020/1/17
一个图G定义为一个三元组:G=<V, E, Φ>
V —— 非空有限集合,V中的元素称为结点 (node)或 顶点(vertex)
E —— 有限集合(可以为空),E中的元素称为边(edge)
Φ —— 从E到V的有序对或无序对的关联映射
以v为起始结点的弧的条数,称为出度(out-degree) (引出次数),记为d+(v)
以v为终结点的弧的条数,称为入度(in-degree)
(引入次数),记为d-(v)
v3
v的出度和入度的和,称为v的度数(degree)
(次数),记为d(v) = d+(v) + d-(v)
v1 (a) v2
结点的次数
(associative mapping)
v3
v3
v3
v1 (a) v2
v1
v2
(b)
v1
v2
(c)
图的基本概念
2020/1/17
图G=<V, E, Φ>中的每条边都与图中的无序对或有序对联系
若边e E 与无序对结点[va, vb]相联系,即Φ(e)= [va, vb] (va, vb V)则称e是无向边(或边、棱)
离散数学第七章图论习题课
利用奇数+奇数=偶数,偶数+偶数=偶数,所以, 在G中结点度数为奇数的结点,在其补图中的度 数也应为奇数,故G和其补图的奇数结点个数也 是相同的。
P286 1、在无向图G中,从结点u到结点v有一条长度为 偶数的通路,从结点u到结点v又有一条长度为奇 数的通路,则在G中必有一条长度为奇数的回路。
证明 :
2、运用 (1) 判断有向图或无向图中通路(回路)的类型。 (2) 求短程线和距离。 (3) 判断有向图连通的类型。
三、图的矩阵表示
1、基本概念。 无向图的邻接矩阵A 根据邻接矩阵判断:各结点的度, 有向图结点 出,入度。 由Ak可以求一个结点到另一个结点长度为k 的路条数. 有向图的可达矩阵P 用P可以判定:各结点的度. 有向图的强分图。 关联矩阵M:是结点与边的关联关系矩阵. 用M判定:各结点的度
设给定图G(如由图所示),则图G的点割集
是
.
应该填写:{f},{c,e}。
定义 设无向图G=<V, E>为连通图,若有点集
V1V,使图G删除了V1的所有结点后,所得的子
图是不连通图,而删除了V1的任何真子集后,所
得的子图是连通图,则称V1是G的一个点割
集.若某个结点构成一个点割集,则称该结点为
割点。
a c
a c
b
d
b
d
a c
a c
b
d
b
d
推论:任何6人的人群中,或者有3人互相认识,或者有 3人彼此陌生。(当二人x,y互相认识,边(x,y)着红色, 否则着兰色。则6人认识情况对应于K6边有红K3或者 有兰K3。)
证明简单图的最大度小于结点数。
证明: 设简单图G有n个结点。对任一结点u,由于G没
P286 1、在无向图G中,从结点u到结点v有一条长度为 偶数的通路,从结点u到结点v又有一条长度为奇 数的通路,则在G中必有一条长度为奇数的回路。
证明 :
2、运用 (1) 判断有向图或无向图中通路(回路)的类型。 (2) 求短程线和距离。 (3) 判断有向图连通的类型。
三、图的矩阵表示
1、基本概念。 无向图的邻接矩阵A 根据邻接矩阵判断:各结点的度, 有向图结点 出,入度。 由Ak可以求一个结点到另一个结点长度为k 的路条数. 有向图的可达矩阵P 用P可以判定:各结点的度. 有向图的强分图。 关联矩阵M:是结点与边的关联关系矩阵. 用M判定:各结点的度
设给定图G(如由图所示),则图G的点割集
是
.
应该填写:{f},{c,e}。
定义 设无向图G=<V, E>为连通图,若有点集
V1V,使图G删除了V1的所有结点后,所得的子
图是不连通图,而删除了V1的任何真子集后,所
得的子图是连通图,则称V1是G的一个点割
集.若某个结点构成一个点割集,则称该结点为
割点。
a c
a c
b
d
b
d
a c
a c
b
d
b
d
推论:任何6人的人群中,或者有3人互相认识,或者有 3人彼此陌生。(当二人x,y互相认识,边(x,y)着红色, 否则着兰色。则6人认识情况对应于K6边有红K3或者 有兰K3。)
证明简单图的最大度小于结点数。
证明: 设简单图G有n个结点。对任一结点u,由于G没
离散数学 第七章 图论
10
每一条边都是有向边 的图称有向图。
G′=<V′,E′>=<{v1′,v2′,v3′, v4′,v5′},{<v1′,v2′>,<v2′, v3′>,<v3′,v4′>,<v2′,v4′>}>
如果在图中一些边是有向 边,另一些边是无向边, 则称这个图是混合图。
G″=<V″,E″>=<{ v1″,v2″,v3″,
v4″,},{( v1″,v4″),(v2″,v4″),<v1″,
v3″>,<v3″,v4″>}>
11
在一个图中,若两个节点由一条有向 边或一条无向边相关联,则这两个节点 称为邻接点。
在一个图中不与任何节点相邻接的节 点,称为孤立节点。仅由孤立节点组成 的图称为零图,仅由一个孤立节点组成 的图称为平凡图。
证明 在Kn中,任意两点间都有边相连, n 个结点 中任取两点的组合数为:
Cn2
1 2
n(n
1)
故Kn的边数为 |E| = n(n-1)/2 。
21
注意:
如果在Kn中,对每条边任意确定一个方 向,就称该图为 n 个结点的有向完全图。 显然,它的边数也为 n(n-1)/2 。
给定任意一个含有 n 个结点的图 G ,总 可以把它补成一个具有同样结点的完全 图,方法是把那些没有联上的边添加上 去。
且E E ,V V ,则称 G 为 G 的子图。
例:如图 7-1.7 中 (b) 和 (c) 都是 (a) 的子图。
24
如果 G 的子图包含 G 的所有结点,则 称该子图为 G 的生成子图。 如图 7-1.8 中 (b) 和 (c) 都是 (a) 的生成子图。
每一条边都是有向边 的图称有向图。
G′=<V′,E′>=<{v1′,v2′,v3′, v4′,v5′},{<v1′,v2′>,<v2′, v3′>,<v3′,v4′>,<v2′,v4′>}>
如果在图中一些边是有向 边,另一些边是无向边, 则称这个图是混合图。
G″=<V″,E″>=<{ v1″,v2″,v3″,
v4″,},{( v1″,v4″),(v2″,v4″),<v1″,
v3″>,<v3″,v4″>}>
11
在一个图中,若两个节点由一条有向 边或一条无向边相关联,则这两个节点 称为邻接点。
在一个图中不与任何节点相邻接的节 点,称为孤立节点。仅由孤立节点组成 的图称为零图,仅由一个孤立节点组成 的图称为平凡图。
证明 在Kn中,任意两点间都有边相连, n 个结点 中任取两点的组合数为:
Cn2
1 2
n(n
1)
故Kn的边数为 |E| = n(n-1)/2 。
21
注意:
如果在Kn中,对每条边任意确定一个方 向,就称该图为 n 个结点的有向完全图。 显然,它的边数也为 n(n-1)/2 。
给定任意一个含有 n 个结点的图 G ,总 可以把它补成一个具有同样结点的完全 图,方法是把那些没有联上的边添加上 去。
且E E ,V V ,则称 G 为 G 的子图。
例:如图 7-1.7 中 (b) 和 (c) 都是 (a) 的子图。
24
如果 G 的子图包含 G 的所有结点,则 称该子图为 G 的生成子图。 如图 7-1.8 中 (b) 和 (c) 都是 (a) 的生成子图。
第7章 图论 [离散数学离散数学(第四版)清华出版社]
6/27/2013 6:02 PM
第四部分:图论(授课教师:向胜军)
21
例:
a j i h c g d
1(a)
无 向 图
b
f
e
2(b)
7(j) 8(g) 9(d) 10(i)
6(e)
3(c) 4(h)
5(f)
6/27/2013 6:02 PM
第四部分:图论(授课教师:向胜军)
22
例:
1(b)
有向图
第四部分:图论(授课教师:向胜军)
6
[定义] 相邻和关联
在无向图G中,若e=(a, b)∈E,则称a与 b彼此相邻(adjacent),或边e关联 (incident) 或联结(connect) a, b。a, b称为边e的端点或 结束顶点(endpoint)。 在有向图D中,若e=<a, b>∈E,即箭头 由a到b,称a邻接到b,或a关联或联结b。a 称为e的始点(initial vertex),b称为e的终点 (terminal/end vertex)。
证明思路:将图中顶点的度分类,再利用定理1。
6/27/2013 6:02 PM 第四部分:图论(授课教师:向胜军) 9
[定理3] 设有向图D=<V, E>有n个顶点,m 条边,则G中所有顶点的入度之和等于所 有顶点的出度之和,也等于m。
即:
d ( v i ) d ( v i ) m.
i 1 i 1
n
n
证明思路:利用数学归纳法。
6/27/2013 6:02 PM
第四部分:图论(授课教师:向胜军)
10
一些特殊的简单图:
(1) 无向完全图Kn(Complete Graphs)
离散数学第7章 图论 习题
证明:设无向图G中两个奇数度的结点为u和v。 从u开始构造一条迹,即从u出发经关联于结点u的边e1到达结点 u1,若deg(u1)为偶数,则必可由u1再经关联于结点u1的边e2到达结 点u2,如此继续下去,每边只取一次,直到另一个奇数度结点停止, 由于图G中只有两个奇数度结点,故该结点或是u或是v。如果是v, 那么从u到v的一条路就构造好了。如果仍是结点u,此路是闭迹。
300页(2) 如果u可达v,它们之间可能不止一条
路,在所有这些路中,最短路的长度 称为u和v之间的距离(或短程线), 记作d<u,v>,如果从u到v是不可达的, 则通常写成 d<u,v> =∞
距离矩阵为
0 1 2 1 ∞ 0 1 1 ∞ 1 0 1 ∞ 1 2 0 dij=1表示存在边<vi,vj>。
c)画一个没有一条欧拉回路,但有一条汉密尔顿回路的图。
设G是一个具有k个奇数度结点(k>0)的连通图, 证明在G中的边能剖分为k/2条路(边不相重)。 证明:因为一个图中度数为奇数的结点个数必为偶数, 故k必为偶数。 将G中k个奇数度结点分为数目相等的两组{u1,u2,…,uk/2} 和{v1,v2,…,vk/2} 。对图G添加边(u1,v1), (u2,v2),…, (uk/2,vk/2)共k/2条边,得到图G’。由于图G’中每个结 点的度数均为偶数,故G’中存在一条欧拉回路。 在图G’中删去边(u1,v1),得到一条欧拉路, 此路的两个端 点是u1和v1。结点u2和v2必在路的中间, 再删去边 (u2,v2),得到两条边互不相重的迹,这两个迹的端点 分别为u2和v2。结点u3和v3必在某一条迹的中间。 再删去边(u3,v3) ,则将一条迹(包含u3和v3的迹)又分 为两条边互不相重的迹,共得到3条互不相重的迹。 以此继续下去,直到所有的添加边(u1,v1), (u2,v2),…, (uk/2,vk/2)全部删去,得到k/2条边互不相重的路(迹)。
300页(2) 如果u可达v,它们之间可能不止一条
路,在所有这些路中,最短路的长度 称为u和v之间的距离(或短程线), 记作d<u,v>,如果从u到v是不可达的, 则通常写成 d<u,v> =∞
距离矩阵为
0 1 2 1 ∞ 0 1 1 ∞ 1 0 1 ∞ 1 2 0 dij=1表示存在边<vi,vj>。
c)画一个没有一条欧拉回路,但有一条汉密尔顿回路的图。
设G是一个具有k个奇数度结点(k>0)的连通图, 证明在G中的边能剖分为k/2条路(边不相重)。 证明:因为一个图中度数为奇数的结点个数必为偶数, 故k必为偶数。 将G中k个奇数度结点分为数目相等的两组{u1,u2,…,uk/2} 和{v1,v2,…,vk/2} 。对图G添加边(u1,v1), (u2,v2),…, (uk/2,vk/2)共k/2条边,得到图G’。由于图G’中每个结 点的度数均为偶数,故G’中存在一条欧拉回路。 在图G’中删去边(u1,v1),得到一条欧拉路, 此路的两个端 点是u1和v1。结点u2和v2必在路的中间, 再删去边 (u2,v2),得到两条边互不相重的迹,这两个迹的端点 分别为u2和v2。结点u3和v3必在某一条迹的中间。 再删去边(u3,v3) ,则将一条迹(包含u3和v3的迹)又分 为两条边互不相重的迹,共得到3条互不相重的迹。 以此继续下去,直到所有的添加边(u1,v1), (u2,v2),…, (uk/2,vk/2)全部删去,得到k/2条边互不相重的路(迹)。
2019-离散数学--第7章 图论-2路与连通-文档资料
n 1 的路。
证明思路:多于n-1条边的路中必有重复出现的结点,反
复删去夹在两个重复结点之间的边之后,剩余的边数不会
超过n-1条边。
推论: 在一个 n 阶图中,若从顶点v i 到 v j 存在
通路(vi v j ) ,则从 v i 到 v j 存在长度小于等于
n 1 的初级通路。
返回通性
16
3、无向图的连通
结点之间的连通性是结点集V上的等价关系,对应该等价关系, 必可将作出一个划分,把V分成非空子集V1, V2, …, Vm,使得两个结 点vj和vk是连通的,当且仅当它们属于同一个Vi 。把子图G(V1) , G(V2) , …, G(Vm)称为图G的连通分支(connected components),图 G的连通分支数记为W(G) 。如上例中图 的连通分支个数就是2
…………
返回 结束
7.2.1 路
9
例1、(2)
图(2)中过 v 2 的回路 (从 v 2 到 v 2 )有:
1v2e4v4e3v3e2v2
初级回路(圈)
2v2e5v5e6v4e3v3e2v2
初级回路(圈)
3 v 2 e 4 v 4 e 3 v 3 e 2 v 2 e 5 v 5 e 6 v 4 e 3 v 3 e 2 v 2复杂回路
…………
长度3 长度6 长度6
返回 结束
7.2.1 路
7
例1、(1)
图(1)中,从 v 1 到 v 6 的通路有:
1v1e1v2e5v5e7v6 2 v 1 e 1 v 2 e 2 v 3 e 3 v 4 e 4 v 2 e 5 v 5 e 7 v 6
3 v 1 e 1 v 2 e 5 v 5 e 6 v 4 e 4 v 2 e 5 v 5 e 7 v 6
证明思路:多于n-1条边的路中必有重复出现的结点,反
复删去夹在两个重复结点之间的边之后,剩余的边数不会
超过n-1条边。
推论: 在一个 n 阶图中,若从顶点v i 到 v j 存在
通路(vi v j ) ,则从 v i 到 v j 存在长度小于等于
n 1 的初级通路。
返回通性
16
3、无向图的连通
结点之间的连通性是结点集V上的等价关系,对应该等价关系, 必可将作出一个划分,把V分成非空子集V1, V2, …, Vm,使得两个结 点vj和vk是连通的,当且仅当它们属于同一个Vi 。把子图G(V1) , G(V2) , …, G(Vm)称为图G的连通分支(connected components),图 G的连通分支数记为W(G) 。如上例中图 的连通分支个数就是2
…………
返回 结束
7.2.1 路
9
例1、(2)
图(2)中过 v 2 的回路 (从 v 2 到 v 2 )有:
1v2e4v4e3v3e2v2
初级回路(圈)
2v2e5v5e6v4e3v3e2v2
初级回路(圈)
3 v 2 e 4 v 4 e 3 v 3 e 2 v 2 e 5 v 5 e 6 v 4 e 3 v 3 e 2 v 2复杂回路
…………
长度3 长度6 长度6
返回 结束
7.2.1 路
7
例1、(1)
图(1)中,从 v 1 到 v 6 的通路有:
1v1e1v2e5v5e7v6 2 v 1 e 1 v 2 e 2 v 3 e 3 v 4 e 4 v 2 e 5 v 5 e 7 v 6
3 v 1 e 1 v 2 e 5 v 5 e 6 v 4 e 4 v 2 e 5 v 5 e 7 v 6
离散数学第七章图的基本概念
4.无向图的连通性
若无向图G中任何两顶点都连通,则称G是连通图.
对于任意的无向图G.设V1,V2,…,Vk是顶点之间连通关系的 等价类,则称他们的导出子图为G的连通分支.用p(G)表示G 的连通分支数.
V1 e1
e2 e3
V3
e4 V2
V4
a
de
h
i
b
c
f
g
5.有向图的连通性
若略去有向图D中各边的键头,所得无向图是无向连通图,则 称D是弱连通图(或称D是连通图).
(2) mij d (vi )(i 1,2,..., n)
j 1
mn
nm
n
(3) mij mij d(vi ) 2m
j1 i1
i1 j1
i 1
m
(4) mij 0 vi是孤立点 j 1
(5)若第j列与第k列相同, 则说明e j与ek为平行边.
2.有向图的关联矩阵
设有向图D=<V,E>,V={v1,v2,…,vn},E={e1,e2,…,em} 1, vi为ej的始点
e1,e2,e3},{e1,e2,
e2
e4},{e9}等边割集 ,e9是桥.
e3 V4
e5 e6
V5 e4
V6
e9
V7
7.3 图的矩阵表示
1.无向图的关联矩阵
设无向图G=<V,E>,V={v1,v2,…,vn},E={e1,e2,…,em}
令mij为顶点vi与ej的关联次数, 则称(mij)n×m为G的关联矩阵.记为M(G)
若Γ 满足:vi-1,vi为ei的端点(若G为有向图,vi-1是ei的始 点,vi是ei的终点)i=1,2,…,k,则称Γ 为G中通路,v0,vk分 别称为通路的始点和终点,Γ 中边的数目k称为通路长度.
离散数学 第7章 图论基础(祝清顺版)
c
d
(b)
离散数学
第七章 图论基础
2007年8月20日
图的一些概念和规定
(n, m)图: 具有n个结点和m条边的图称为(n, m)图.
若|V|=n, 则称G为n阶图.
如果图G是一个(n, 0)图, 则称此图为零图, 即零图是仅 由一些孤立结点所组成的. 如果图G是一个(1, 0)图, 则称此图为平凡图, 即平凡图 是仅由一个孤立结点所组成的. v1 v2
的出度之和。
[证] 因为每一条边必给结点的入度之和增加1,给结点的
出度之和增加1。
所以,有向图中所有结点的入度之和等于边数,所有结
点的出度之和等于边数。
因此,所有结点的入度之和等于所有结点的出度之和。
离散数学
第七章 图论基础
2007年8月20日
例题
例5 设图G有n个结点,n+1条边,证明:G中至少有一个 结点度数≥3。 [证] 设图G中有n个结点分别为v1, v2,…, vn, 则由握手 定理:
e1 a e7 c e3 e3
e4
e2
e5
b e6 d
a e7 e5 c c e4 e1 e2 e6 b
离散数学
第七章 图论基础
2007年8月20日
例题
例2 设有4个城市: v1, v2, v3, v4, 其中, v1与v2之间, v2与 v4之间, v2与v3之间有直达航班, 试将此问题用图的方法表
图的定义 图的一些概念和规定 简单图和多重图 顶点的度数与握手定理 图的同构 完全图与正则图 子图与补图
离散数学 第七章 图论基础 2007年8月20日
图的概念
定义1 一个图G由非空结点集合V={v1, v2,…, vn}以及边 集合 E={e1, e2, …, em}所组成. 其中每条边可用一个结 点对表示, 亦即 ei=(vi1, vi2), i=1, 2, …, m.
《离散数学》第七章_图论-第2节-预习
定理7-2.1推论
推论1: 在n阶图G中,若从不同结点vj到vk有 路,则从vj到vk有长度小于等于n-1的通路。 证明: 若路不是通路, 则路上有重复结点, 删除所有重复结点之间的回路, 得到的是通 路, 其长度小于等于n-1。 推论2:在一个具有n个结点的图中,如果存在 经过结点vi回路(圈),则存在一条经过vi 的长度不大于n的回路(圈)。
Whitney定理
(最小点割集<=最小边割集<=最小点度数)
Whitney定理的证明
证明:设G中有n个结点m条边。 (2)若G连通 1)证明λ(G)≤δ(G)
若G是平凡图,则λ(G)=0≤δ(G); 若G是非平凡图,由于每一结点上关联的所有 边显然包含一个边割集,因而删除最小度数 δ(G)对应结点所关联的边,则使G不连通,即 存在一个边割集的元素个数小于等于δ(G) , 即λ(G)≤δ(G)。
e6,e5都是割边
边连通度(edgeconnectivity)
为了破坏连通性,至少需要删除多少条边? 边连通度: G是无向连通图, (G) = min{ |E’| | E’是G的边割集 } 即产生一个不连通图需删去的边的最小数 目。 规定: G非连通: (G)=0 (Kn) = n-1
0
ei (vi 1 , vi ), (ei v i 1 , v i )
v
v1 v 2 0 e e 1 2
v i 1 v i ei
vn en
结点数=边数+1
路长度 :边的数目。
回路(closed walk)
回路: … v e v e v
0 1 1 2
当v 0 v n时
i 1
圈(cycles)
C1 C2 C3 C4 C5
离散数学-第七章-图论
5
离 例1、G1=<V,E>
散 数
V={v0, v1, v2,v3}
学 E={(v0,v2),(v0,v3),(v1,v2),(v1,v3),(v2,v3)}
v0
v3
v1
第
七
章
v2
图
论
4/24/2020 2:55 PM
G1
6
离 例2、
散 数 学
G2=<V,E> V={v0, v1, v2,v3}
中的所有边,称为删除E´ 。
(2)设vV,用G-v表示从G中去掉v及所关联的 一切边,称为删除结点v;又设V´ V,用G-V´ 表示从G中删除V´中所有结点,称为删除V´ 。
学 u,v之间存在路,则称u,v是连通的,记作uv 。
定义2.3 设无向图G是平凡图或G中任何两个结 点都是连通的,则称G为连通图,否则称G为非连 通图或分离图。
第
任意一个连通无向图的任两个不同结
七 点都存在一条通路。
章
图
论
4/24/2020 2:55 PM
38
离
非连通图G可分为几个不相连通的子图,
七 章
边,构成一个无向重图,问题化为图论中简单道路
的问题。
图
论
4/24/2020 2:55 PM
3
离 一、图的基本概念
散 数 学
旧金山
丹佛
洛杉矶
第 七 章
图
论
4/24/2020 2:55 PM
底特律
芝加哥
纽约 华盛顿
4
离
散 设A、B是两个集合,称
数
学
A&B={{a,b}|aA, bB}
《离散数学》第七章_图论-第3-4节
图的可达性矩阵计算方法 (3) 无向图的可达性矩阵称为连通矩阵,也是对称的。 Warshall算法
例7-3.3 求右图中图G中的可达性矩 阵。 分析:先计算图的邻接矩阵A布尔乘法的的2、 v1
3、4、5次幂,然后做布尔加即可。
解:
v4
v2
v3 v5
P=A∨ A(2) ∨ A(3) ∨A(4)∨A(5)
图的可达性矩阵计算方法(2)
由邻接矩阵A求可达性矩阵P的另一方法: 将邻接矩阵A看作是布尔矩阵,矩阵的乘法运算和加 法运算中,元素之间的加法与乘法采用布尔运算 布尔乘:只有1∧1=1 布尔加:只有0∨0=0 计算过程: 1.由A,计算A2,A3,…,An。 2.计算P=A ∨ A2 ∨ … ∨ An P便是所要求的可达性矩阵。
v4
v3
v2
G中从结点v2到结点v3长度 为2通路数目为0,G中长 度为2的路(含回路)总数 为8,其中6条为回路。 G中从结点v2到结点v3长度 为3的通路数目为2, G中 长度为3的路(含回路)总
图的邻接矩阵的 应用 (2)计算结点vi与vj之间的距离。
中不为0的最小的L即为d<vi,vj>。
(一)有向图的可达性矩阵
可达性矩阵表明了图中任意两个结点间是否至少存在一条 路以及在任何结点上是否存在回路。
定义7-3.2 设简单有向图G=(V,E),其中V={v1, v2,…,vn },n阶方阵P=(pij)nn ,称为图G的可达 性矩阵,其中第i行j列的元素
p ij =
1 1 1 1 P v3 1 1 v4 0 0 v5 0 0 v1 v2 1 1 1 1 1 1
0 1 A(G)= 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0
离散数学_第7章 图论 -1-2图的基本概念、路和回路
第9章 图论
返回总目录
第9章 图论
第7章 图论
图论是一个重要的数学分支。数学家欧拉1736年发 表了关于图论的第一篇论文,解决了著名的哥尼斯堡七 桥问题。克希霍夫对电路网络的研究、凯来在有机化学 的计算中都应用了树和生成树的概念。随着科学技术的 发展,图论在运筹学、网络理论、信息论、控制论和计 算机科学等领域都得到广泛的应用。本章首先给出图、 简单图、完全图、子图、路和图的同构等概念,接着研 究了连通图性质和规律,给出了邻接矩阵、可达性矩阵、 连通矩阵和完全关联矩阵的定义。最后将介绍欧拉图与 哈密尔顿图、二部图、平面图和图的着色、树和根树。
v3
e7
a e6e3
e2
b e5
(本课程仅讨论无向图和有向图)
v4
c
9章 图论
【例7.1.1】无向图G=V(G),E(G),G
其中:V(G)=a,b,c,d
E(G)=e1,e2,e3,e4
G:G(e1)=(a,b) G(e2)=(b,c) G(e3)=(a,c) G(e4)=(a,a)
试画出G的图形。
即,deg(v)=deg-(v)+deg+(v),或简记为d(v)=d-(v)+d+(v)
4)最大出度:+(G) =max deg+(v) | vV
5)最小出度:+(G) = min deg+(v) | vV
6)最大入度: (G) =max deg-(v) | vV
7)最小入度: (G) = min deg-(v) | vV
解:G的图形如图7.1.2所示。
图 7.1.2
由于在不引起混乱的情况下,图的边可以用有序对或无序 对直接表示。因此,图可以简单的表示为:
【最新】离散数学之图论ppt模版课件
第四部分:图论(授课教师:向胜军)
31
[定义] 无向图的连通性
若G=<V,E>中任意两个顶点都连通,则称 此无向图是连通的(connected)。
[定理] 任意一个连通无向图的任意两个不同顶
点都存在一条简单通路。
[定义] 连通分图(connected components)
图G可分为几个不相连通的子图,每一子 图本身都是连通的。称这几个子图为G的连通 分图。
[定义] 通路(path)
给定图G=<V, E>,设图G中顶点和边的交替 序列为T=v0e1v1e2…ekvk,若T满足如下条件:vi-1 和vi是ei的端点(当G为有向图时,vi-1是ei的始点, vi是ei的终点),i=1,2,…,k,则称T为顶点v0到vk的 通路。此通路的长度为k。也可以用v0, v1, …, vk 表示通路,v0为始点,vk为终点。
8/13/2020 5:06 PM
第四部分:图论(授课教师:向胜军)
2
§1 无向图及有向图
❖ 本节介绍图的一些最常用的概念,主要有: 无向图,有向图,边,顶点(或结点,点),
弧(或有向边),顶点集,边集,n阶图,有限 图,关联,多重图,简单图,完全图,母图, 子图, 生成子图,导出子图,补图,图的同构, 入度,出度,度,孤立点等。
8/13/2020 5:06 PM
第四部分:图论(授课教师:向胜军)
10
一些特殊的简单图:
(1) 无向完全图Kn(Complete Graphs) (2) 有向完全图 (3) 零图:E=. (4) 平凡图:E=且|V|=1. (5) 正则图:若图G=<V, E>中每个顶点 的度均为n,称此图G是n-正则图(n-regular graph)。
离散数学 第7章 图论
v2 v3
v4
v3
(b) 图G
v3 (c) 图G’
(a) 完全图K5
图G是图G’ 相对于图K5的补图。 图G’不是图G 相对于图K5的补图。(图G’中有结点v5 )
例:276页图7-1.7 图(c)是图(b)相对于图(a)的补图。 图(b)不是图(c)相对于图(a)的补图。
25
7-1
图的同构
图的基本概念
8
7-1
图的基本概念
1.无向图:每条边均为无向边的图称为无向图。 2.有向图:每条边均为有向边的图称为有向图。 3.混合图:有些边是无向边,有些边是有向边的图称 为混合图。
v1 (孤立点) v5 V1’
v1 v2
v2
v4 v3 (a)无向图
V2’
V3’ (b)有向图 V4’
v4 v3 ( c ) 混合图
17
7-1
图的基本概念
三、特殊的图
定义4 含有平行边的图称为多重图。 不含平行边和环的图称为简单图。
定义5 简单图G=<V,E>中,若每一对结点间均有边 相连,则称该图为完全图。
无向完全图:每一条边都是无向边 不含有平行边和环 每一对结点间都有边相连
有n个结点的无向完全图记为Kn。
18
7-1
图的基本概念
推论 在一个具有n个结点的图中,如果从结点vj 到结点vk存在一条路,则从结点vj到结点vk 必存在一条边数小于n的通路。
32
7-2
路与回路
定理7-2.1的证明 如果从结点vj到vk存在一条路,该路上的结点序列 是vj…vi…vk,如果在这条中有l条边,则序列中必有 l+1个结点,若l>n-1,则必有结点vs,它在序列中不止 出现一次,即必有结点序列vj…vs…vs…vk,在路中去 掉从vs到vs的这些边,仍是vj到vk的一条路,但此路比 原来的路边数要少,如此重复进行下去,必可得到一 条从vj到vk的不多于n-1条边的路。
离散数学第7章
1 v2e4v4e3v3e2v2
初级回路(圈)
2 v2e5v5e6v4e3v3e2v2
初级回路(圈)
3 v2e4v4e3v3e2v2e5v5e6v4e3v3e2v2 复杂回路
…………
5、图中最短的回路。 如图:
6、性质。
定理:在一个
n
阶图中,若从顶点vi
到
v
存在
j
通路(vi vj ) ,则从 vi 到 vj 存在长度小于等于
n 1的通路。
推论:在一个
n
阶图中,若从顶点vi
到
v
存在
j
通路(vi vj ) ,则从 vi 到 vj 存在长度小于等于
n 1的初级通路。
6、性质。
定理:在一个 n 阶图中,若vi 到自身存在回路, 则从 vi 到自身存在长度小于等于n 的回路。 推论:在一个 n 阶图中,若vi 到自身存在一个 简单回路,则从vi到自身存在长度小于等于 n
如例1的(1)中,
v1
v5
e1与 v1, v2 关联的次数均为1, e1
e6
e2 与 v2 关联的次数为2, e2 v2 e4 e5
v4
边 e1, e4, e5, e6都是相邻的, v5 为孤立点,v4 为悬挂点,
e3 v3
e6 为悬挂边,e2 为环,e4, e5 为平行边,重数2,
G 为多重图。
孤立点——无边关联的点。
环——一条边关联的两个顶点重合,称此边
为环 (即两顶点重合的边)。
3、相关概念。 (2) 悬挂点——只有一条边与其关联的点,所
对应的边叫悬挂边。 (3) 平行边——关联于同一对顶点的若干条边
称为平行边。平行边的条数称为重数。 多重图——含有平行边的图。 简单图——不含平行边和环的图。
《离散数学》图论中的各种名词的解释表格整理版
弱分图
具有弱连通性质的最大分图
连接矩阵
书P288
adj
邻接
nadj
不邻接
可达性矩阵
书P291
完全关联矩阵
无向图:P294
欧拉图
给定孤立结点图G,若存在一条路,经过图中每边一次且仅一次。
欧拉回路
给定孤立结点图G,若存在一条回路,经过图中每边一次且仅一次。
单向欧拉路(回路)
有向图G通过图中每边一次且仅一次的一条单向路(回路)
汉密尔顿路
给定图G,若存在一条路经过图中的每个结点恰好一次
汉密尔顿回路
若存在一条回路,经过图中的每个结点恰好一次
汉密尔顿图
具有汉密尔顿回路的图
W(G-S)
G-S中连通分支数
平面图
设G-<V,E>^—个无向图,如果能够把G的所有结点和边画在平面上,且使得任何两条边除了端点外没有其他的交点。
面
设G是一连通平面图,由图中的边所包围的区域,在区域内不包含图的 结点,也不包含图的边,这样的区域称为G的一个面。
每一对结点之间有一条且仅有一条路
树叶
度数为1的结点
分至点/内点
度数大于1的结点
森林
一个无回路的无向图
生成树
右图G的生成子图是一棵树,则称该树为G的生成树
树枝
设图G有一棵生成树T,则T中的边称作树枝
弦
图G的不在生成树的边
补
所有弦的集合称为生成树T的补
树权C(T)
T的所有边权的和
最小生成树
在图G的所有生成树中,树权最小的那棵生成树
迹/简单路径
一条路中所有的边e1,e2,…,en均不同
通路/基本路径
一条路中所有的结点v0,v1,…,vn均不相同
具有弱连通性质的最大分图
连接矩阵
书P288
adj
邻接
nadj
不邻接
可达性矩阵
书P291
完全关联矩阵
无向图:P294
欧拉图
给定孤立结点图G,若存在一条路,经过图中每边一次且仅一次。
欧拉回路
给定孤立结点图G,若存在一条回路,经过图中每边一次且仅一次。
单向欧拉路(回路)
有向图G通过图中每边一次且仅一次的一条单向路(回路)
汉密尔顿路
给定图G,若存在一条路经过图中的每个结点恰好一次
汉密尔顿回路
若存在一条回路,经过图中的每个结点恰好一次
汉密尔顿图
具有汉密尔顿回路的图
W(G-S)
G-S中连通分支数
平面图
设G-<V,E>^—个无向图,如果能够把G的所有结点和边画在平面上,且使得任何两条边除了端点外没有其他的交点。
面
设G是一连通平面图,由图中的边所包围的区域,在区域内不包含图的 结点,也不包含图的边,这样的区域称为G的一个面。
每一对结点之间有一条且仅有一条路
树叶
度数为1的结点
分至点/内点
度数大于1的结点
森林
一个无回路的无向图
生成树
右图G的生成子图是一棵树,则称该树为G的生成树
树枝
设图G有一棵生成树T,则T中的边称作树枝
弦
图G的不在生成树的边
补
所有弦的集合称为生成树T的补
树权C(T)
T的所有边权的和
最小生成树
在图G的所有生成树中,树权最小的那棵生成树
迹/简单路径
一条路中所有的边e1,e2,…,en均不同
通路/基本路径
一条路中所有的结点v0,v1,…,vn均不相同
离散数学_第7章 图论 -3-4图的矩阵表示、欧拉图与汉密尔顿图
2 0 2 0 0 0 4 0 0 0
0 1 A(G ) 1 0
0 0 1 1
1 0 0 0
1 0 1 0
第9章 图论
考察A(G)和A′(G)发现,先将A(G)的第一行与第二行对 调,再将第一列与第二列对调可得到A′(G)。称A′(G)与A(G) 是置换等价的。 一般地说,把n阶方阵A的某些行对调,再把相应的列 做同样的对调,得到一个新的n阶方阵A′,则称A′与A是置 换等价的。可以证明置换等价是n阶布尔方阵集合上的等价 关系。 虽然,对于同一个图,由于结点的标定次序不同,而 得到不同的邻接矩阵,但是这些邻接矩阵是置换等价的。 今后略去结点标定次序的任意性,取任意一个邻接矩阵表 示该图。 ④对有向简单图来说,其邻接矩阵A(G)的第i行1的个 数是vi的出度, 第j列1的个数是vj的入度。 ⑤零图的邻接矩阵的元素全为零,叫做零矩阵。反过 来,如果一个图的邻接矩阵是零矩阵,则此图一定是零图。
vi 到v j 有边 1 aij 其中: 0 vi 到v j 无边或i j
i , j=1,…,n 例如,右边无向简 单图的邻接矩阵为: 0 1 A(G ) 0 1
a11 a 即:A(G) = 21 an1
a12 a22 an 2
0 0 1 1
1 0 0 0
1 0 1 0
第9章 图论
简单图的邻接矩阵具有以下性质:
①简单图的邻接矩阵中元素全是0或1。这样的矩阵叫布 尔矩阵。简单图的邻接矩阵是布尔矩阵。 ②无向简单图的邻接矩阵是对称阵,有向简单图的邻接 矩ห้องสมุดไป่ตู้不一定是对称阵。 ③简单图邻接矩阵与结点在图中标定次序有关。例如上 页图 (a)的邻接矩阵是A(G),若将图 (a)中的接点v1和v2的标 定次序调换,得到图 (b),图 (b)的邻接矩阵是A′(G)。
相关主题
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
点割集或者割点是否唯一?
a e b d f b d f b c a c a e f c
e和d都为图的割点(不唯一)
7-2
路与回路
a e d c f h g
不同点割集中的结点数目未必相同
如右图中,有点割集{e}和{f}和{c,d} b
点连通度: 产生一个非连通图需要删去的点的最少数目, 记为 k ( G ) m in { | V 1 | V 1 是 G 的 点 割 集 } 非连通图的点连通度为0 存在割点的连通图的点连通度为1 完全图Kp的点连通度为p-1
7-1
(4)结点的度数
图的基本概念
最大度:(G ) max{deg v | v V (G )} 最小度: (G ) min{deg v | v V (G )}
a e b d c
Δ(G)=5
δ(G)=2
7-1
图的基本概念
定理: 结点度数总和等于边数的两倍,即:
deg(v ) 2 | E |
不连通图的边连通度为0
存在割边的连通图的边连通度为1
完全图Kp的边连通度为p-1
7-2
定理: 对于任何一个图G,有
路与回路
k( G ) ( G ) ( G )
k ( G ): 点 连 通 度 ; ( G ): 边 连 通 度 ; ( G ): 最 小 度 。
证 明 : G 不 连 通 , 则 k( G ) ( G ) 0 , 上 式 成 立 。
a到b的有向边 孤立结点:无邻接点的结点 e a
b c d
h f g
i j
k l
无向边:(a,b), (b,c), (b,d), (c,d), (i,l), (k,l) 有向边:<e,f>, <f,g>, <g,e>, <e,h>, <k,j>, <j,l>
7-1
图的基本概念
(2)无向图:图中每一边都为无向边 有向图:图中每一边都为有向边 混合图:图中既有有向边,也有无向边
连通图
三个连通分支的非连通图
7-2
路与回路
在图中删除结点v,即把结点v和所有与其相关联的边都删掉; 在图中删除边,仅需把该边删去。
对一个图删结点或边,会影响其连通性
考虑:至少要删除多少条边或结点,连通图会变为非连通图呢?
引入点割集和边割集的概念
7-2
3、割集:
路与回路
(1)点割集: G=<V, E>为无向连通图,V1⊂V ,图G删除了 V1所有的结点后,所得的子图是非连通图,但删除V1的任何真 子集后,得到的子图仍是连通图,称V1是G的一个点割集 割点: 若点割集中只有一个结点,此结点称为割点
a b d c e
c' e' a' b' d'
(a)
(b)
第七章
图论
• 图的基本概念 • 路与回路 • 图的矩阵表示 • 欧拉图与哈密尔顿图
7-2
1、路的基本概念: 路: 图G=<V, E>,设
路与回路
v 0 ,v 1 , … ,v n V , e 1 ,e 2 , … ,e n E
v 0 e1v1e 2 e n v n
左右为同一图形 2、图的表示法
三元组表示 G=<V(G),E(G), φG> : V(G)- 非空的结点集合;
E(G)-边集合;φG-边集合E到结点无序偶(有序偶)集合上的函
数。 图可简记为G=<V,E>
7-1
3、图的一些基本概念
图的基本概念
(1)无向边:与结点无序偶关联的边,用 (a,b)表示
有向边:与结点有序偶关联的边,用<a,b>表示;表明是从
V’’ 中仅包含E’’ 的边所关联的结点(V’’中无孤立结点),则称 G’’是G’相对于G的补图
b a f g c h e d f b g c h e d
a f b g c h d
(a) (b) 图(c)是图(b)相对于图(a)的补图
(c)
问:若G’’是G’相对于G的补图,是否一定有G’是G’’相对于G 的补图?即G’’和G’互为补图? 不是,补图中不包含孤立结点
7-2
路与回路
( b)设 (G ) 2,可删去 (G )条边,使得 G 不连通。可知若删去 其中的 (G ) 1条边, G 仍是连通的,且存在一条桥( u, v)。对
vV
证明:每条边关联两个结点
一条边给相关的每个结点的度数为1 因此,在图中,结点度数总和等于边数的两倍。
a e b d c
7-1
图的基本概念
定理: 度数为奇数的结点必定是偶数个 证明: 设V1、V2分别为G中奇数度数点集和偶数度数点集,则:
7-1
图的基本概念
定理: 有向图中所有结点的入度之和等于所有结点的出度之和 证明: 一条边对应一个入度和一个出度 一个结点若具有一个出度或入度,则必关联边
论、控制论、博弈论等问题时,发挥了巨大的作用。
第七章
图论
• 图的基本概念 • 路与回路 • 图的矩阵表示 • 欧拉图与哈密尔顿图
7-1
1、图的定义及表示
图的基本概念
图由结点和连接两个结点之间的连线组成。连线的长度和 结点的位置是无关紧要的。 几乎每一门可以想象的学科里都有问题可以用图模型来解 决。例如:可以用图来表示生态环境里不同物种的竞争;可以 用图来表示在组织里谁影响谁,以及用图来表示比赛结果;旅 行商问题;地球着色问题等。 一个简单的例子:大城市之间的高速公路系统建模: 可以把各个城市看成结点,城市之间存在高速公路,则认 为这两个城市之间有连线,这样可以构成一个简单的图
G 连通 1)(G ) (G ) G 是平凡图(只有一个孤立结点),显然成立; G 是非平凡图,对于任意结点,删除其关联的边,必定能得 到不连通子图,所以每个结点的关联的边必定包含一个边割集, 故(G ) (G ) 。 2)k(G ) (G ) (a)设(G ) 1,G 有一割边,则k(G ) 1
v1 e3 e6 e4 e2 e1 v2 e5 v4
, 称
其中ei是关联于结点vi-1, vi的边,交替序列 回路:起点和终点相等的路 迹:所有的边都不相同的路 通路:所有的结点都不相同的路 圈:除v0=vn外其余结点都不相同的路
为联结v0到vn的路;v0,vn分别称为路的起点和终点
vHale Waihona Puke e7v5 e8 上图中有:路 v1e2v3e3v2e3v3e4v2e6v5e7v3;迹 v5e8v4e5v2e6 v5e7v3e4v2;通路 v4e8v5e6v2e1v1e2v3;圈 v2e1v1e2v3e7v5e6v2
所以入度之和等于边数,出度之和也等于边数
7-1
图的基本概念
(5)多重图:含有平行边的图
简单图:不含有平行边和环的图
完全图:每一对结点之间都有边关联的简单图 有向完全图:完全图中每条边任意确定一个方向所得的图 a e
b c d
f g
h
定理: n个结点的无向(有向)完全图Kn的边数为n(n-1)/2 证明: 在完全图中,每个结点的度数应为n-1,则n个结点的 度数之和为n(n-1),因此|E|=n(n-1)/2
c
7-1
(4)结点的度数
图的基本概念
图G=<V,E〉中,与结点v关联的边数为度数,记为deg(v)。 一个环的度数为2。
a e b d c
deg(a)=2 deg(b)=3
deg(c)=2
deg(d)=2 deg(e)=5
7-1
(4)结点的度数
图的基本概念
在有向图中,定义入度、出度的概念 入度: 射入一个结点的边的条数,记为deg-(v); 出度: 由一个结点射出的边的条数,记为deg+(v);
7-2
路与回路
(2)边割集: : G=<V, E>为无向连通图,E1⊂E,图G删除
了E1所有的边后,所得的子图是非连通图,但删除E的任何真 子集,得到的子图仍是连通图,称E是G的一个边割集 割边(桥): 若边割集中只有一条边,此边称为割边
边连通度:产生一个不连通图需要删去的最少边数,记为
( G ) m i n { | E 1 | E 1 是 G 的 边 割 集 }
7-2
路与回路
定理: G=<V, E>具有n个结点,如果从结点vj到结点vk存在一 条路,则此两结点间必存在一条边不多于n-1的路 证明:设结点vj到vk的路上的结点序列为 vj … vi…vk,结点序列
中结点的个数为L+1,则这条路中有L条边。若L>n-1,则结点
序列中必出现重复结点,因而可去除重复结点之间的边,得到 的仍是联结vi到vk的路。依此类推,必可得到边不多于n-1的路 推论: G=<V,E>具有n个结点,如果从结点vj到结点vk存在一 条路,则此两结点间必存在一条边不多于n-1的通路
路与回路
连通性对应的等价关系给出若干等价类,把结点集V划分为 V1,V2,…,Vm,使得两个结点vi和vj是连通的,当且仅当他们同属 于同一个Vi。称子图G(V1),G(V2),…,G(Vm)为图G的连通分支。无 向图G的一个连通分支为G的一个极大连通子图 。 连通分支数:W(G) 连通图:只有一个连通分支的图。其中的任两个结点都连通
a d
(a)
b c d
a b c
(b)
e h
(c)
f g g e
(d)
f h
(a)和(b)同构
(c)和(d)同构
7-1
G与G'同构的充要条件是: a、结点一一对应 b、边一一对应 c、保持关联关系
图的基本概念