离散数学 第七章:图论

合集下载

离散图论知识点总结

离散图论知识点总结

离散图论知识点总结一、基本概念图(Graph)是离散数学中的一个重要概念,它由顶点集合V和边集合E组成。

一般用G (V,E)来表示,其中V={v1,v2,…,vn}是有限非空集合,E是V中元素的无序对的集合。

图分为有向图和无向图。

无向图中的边是无序的,有向图中的边是有序的。

图中存在一些特殊的图,比如完全图、树、路径、回路等。

二、图的表示方法1. 邻接矩阵邻接矩阵是一种常见的图的表示方法,它使用一个二维数组来表示图的关系。

对于一个n 个顶点的图,邻接矩阵是一个n*n的矩阵A,其中A[i][j]表示顶点i到顶点j之间是否存在边。

对于无向图,A[i][j]=1表示顶点i与顶点j之间存在边,A[i][j]=0表示不存在。

对于有向图,A[i][j]=1表示i指向j的边存在,A[i][j]=0表示不存在。

2. 邻接表邻接表是另一种常见的图的表示方法。

它将图的信息储存在一个数组中,数组的每个元素与图的一个顶点相对应。

对于每个顶点vi,数组中储存与该顶点邻接的顶点的信息。

邻接表可以用链表或者数组来表示,链表表示的邻接表比较灵活,但是在查找某个边的相邻顶点时需要遍历整个链表。

三、图的性质1. 度图中每个顶点的度是与其相邻的边的数目。

对于无向图,顶点的度等于与其相邻的边的数目;对于有向图,则分为入度和出度。

2. 连通性对于无向图G,若图中任意两个顶点都有路径相连,则称图G是连通的。

对于有向图G,若从任意一个顶点vi到任意一个顶点vj都存在路径,则称G是强连通的。

3. 路径和回路路径是指图中一系列的边,连接图中的两个顶点;回路是指起点与终点相同的路径。

路径的长度是指路径中边的数目。

4. 树和森林一个无向图,如果是连通图且不存在回路,则称为树。

一个无向图,若它不是连通图,则称为森林。

四、图的常见算法1. 深度优先搜索(DFS)深度优先搜索是一种用于图的遍历的算法,它从图的某个顶点vi出发,访问它的所有邻接顶点,再对其中未访问的顶点继续深度优先搜索。

离散数学第7章

离散数学第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均不相同

《离散数学图论》课件

《离散数学图论》课件
最短路径问题
实现方法:使用 队列数据结构, 将起始节点入队, 然后依次处理队 列中的每个节点, 直到找到目标节
点或队列为空
Dijkstra算法和Prim算法
Dijkstra算法:用于 求解单源最短路径问 题,通过不断更新最 短路径来寻找最短路 径。
Prim算法:用于求解 最小生成树问题,通过 不断寻找最小权重的边 来构建最小生成树。
图的矩阵表示
邻接矩阵的定义和性质
定义:邻接矩阵是一个n*n的矩阵,其 中n是图的顶点数,矩阵中的元素表示 图中顶点之间的连接关系。
性质:邻接矩阵中的元素只有0和1, 其中0表示两个顶点之间没有边相连, 1表示两个顶点之间有一条边相连。
应用:邻接矩阵可以用于表示图的连通 性、路径长度等信息,是图论中常用的 表示方法之一。
图像处理:优化图像分割, 提高图像质量
物流配送:优化配送路径, 降低配送成本
社交网络:优化社交网络 结构,提高用户活跃度
感谢您的观看
汇报人:PPT
数学:用于图论、组合数 学、代数拓扑等领域
物理学:用于量子力学、 统计力学等领域
生物学:用于蛋白质结构、 基因调控等领域
社会科学:用于社会网络 分析、经济模型等领域
图的基本概念
图的定义和表示方法
图的定义:由节点和边组成的数学结构,节点表示对象,边表示对象之间的关系
节点表示方法:用点或圆圈表示 边表示方法:用线或弧线表示 图的表示方法:可以用邻接矩阵、邻接表、关联矩阵等方式表示
顶点和边的基本概念
顶点:图中的基本元素,表示一个对象或事件 边:连接两个顶点的线,表示两个对象或事件之间的关系 度:一个顶点的度是指与其相连的边的数量 路径:从一个顶点到另一个顶点的边的序列 连通图:图中任意两个顶点之间都存在路径 强连通图:图中任意两个顶点之间都存在双向路径

离散数学-图论基础

离散数学-图论基础

结点的次数
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是无向边(或边、棱)

离散数学 第七章 图论

离散数学 第七章 图论
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) 的生成子图。

第7章 图论 [离散数学离散数学(第四版)清华出版社]

第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)

离散数学图论

离散数学图论

例:把下面的m叉树改写为二叉树。
14
第七章 图论
信 息 科 学 与 工 程 学 院
练习:把下面的有序树改写为二叉树。
。 。 。。 。 。。 。 。 。 知识点提示:
。 。。
。 。 。

课下自学
此方法可推广至有序森林到二叉树的转换。 此方法具有可逆性。
15
第七章 图论
信 息 科 学 与 工 程 学 院
给定一棵2叉树T,设它有t片树叶。设v为T的一个分枝点, 则v至少有一个儿子,最多有两个儿子。若v有两个儿 子,在由v引出的两条边上,左边的标上0,右边的标 上1;若v有一个儿子,在由v引出的边上可标上0,也
可标上1。设vi为T的任一片树叶,从树根到vi的通路
上各边的标号组成的0,1串组成的符号串放在vi处,t 片树叶处的t个符号串组成的集合为一个二元前缀码。
定义7-8.5
在根树中, 科 一个结点的通路长度为从树根到此结点的通路中的边 学 数。 与 分枝点的通路长度称为内部通路长度。 树叶的通路长度称为外部通路长度。
工 程 学 院
。 。 。 。。 A 。 。 。。
18
第七章 图论
信 息 科
定理7-8.2
若完全二叉树有n个分枝点,且内部通路长度总和为L,外 部通路长度总和为E,则 E=L+2n。 证明:
学 与 工 程 学 院
对分枝点数目n进行归纳证明。

当n=1时,如右图所示,
L=0, E=2,


显然, E=L+2n成立。
19
第七章 图论
信 息 科 学
定理7-8.2 若完全二叉树有n个分枝点,且内部通路长度总 和为L,外部通路长度总和为E,则 E=L+2n。 证明:
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
或ek与vj关联。 顶点与顶点相邻:如果ek = (vi,vj) E,称vi与vj 若e 相邻; k为有向边,则称vi邻接到vj,
vj邻接于vi 。
边与边相邻:如果ek和ei至少有一个公共顶点关联,
则称ek与ei相邻。
平行边:ei与ej 有两个公共点 (无向图)
ei与ej 有两个公共点,且方向相同(有 向图)
例7.1.2 已知图G中有10条边,4个3度顶点,其余 顶点的度数均小于等于2,问G中至少有多 少个顶点?为什么? 解:图中边数 m=10,由握手定理知,
G中各顶点度数之和为20,
4个3度顶点占去12度,还剩8度, 若其余全是2度顶点, 则需要4个顶点
来占用8度,所以G至少有8个顶点。
课后例题:7.5, 7.6。 习题:7.1, 7.2,7.3,7.4, 7.5,7.6, 7.7
点均在V1中的全体边为边集的G的子图,称 为V1导出的导出子图。(点的导出子图) (4) 设E1E,且E1,以E1为边集,以E1中边 关联的顶点的全体为顶点集的G的子图, 称为E1导出的导出子图。(边的导出子图)
例子1
a
a
{a,b,c}的导出子图
b c
c
b
a
d e
b
{(a,b),(a,d),(d,e)}的导出子图 注意:没有点c
证明:设vi … vk … vj为vi到vj的长度为L的一条通路, 则序列中必有L+1个顶点。 如果L>n–1,则 此通路的顶点数L+1>n,从而必有顶点vs ,它 在序列中不止出现一次,即有序列vi … vs … vs … vj 。 在路中去掉vs到vs的这些边,至少去掉 一条边后仍是vi到vj的一条通路。此通路比原来
三、正则图与完全图
正则图:各顶点的度都相同的图为正则图; 各顶点的度均为k的图为k次正则图。 完全图:
(1) 设G = < V,E >是n阶的无向简单图,如果
G中任何一个顶点都与其余n–1个顶点相邻,
则G为无向完全图,记作:Kn。
(2) 设D = < V,E >是n阶的有向简单图,如果D 中任意顶点u,vV(uv),即有有向边 < u,v >,又有有向边< v,u >,则称D为n阶有 向完全图。
G的子图,记作: G' G。 (2) 若G‘G 且 V’=V,(顶点集相同,边集 相同或少边)则G'是G的生成子图。 生成子图子图 若G‘是G的生成子图,则G’一定是G的子图。
例子
G
G1
G2
G3
G4
G1,G2,G4是G的子图
G2,G4是G的生成子图
G3不是G的子图。
(3) 设V1V,且V1 ,以V1 为顶点集,以2端
(握手定理)
总和等于边数之和的两倍。
即 d (v) 2 | E |
vV
握手定理的推论:任何图中,度为奇数的顶 点个数一定为偶数。
例子
边:5 度之和:4+2+2+1+1=10
握手定理成立!
注:环代表两度
出度与入度的关系:在有向图中,各顶点的 出度之和等于各顶点的入度之和。
d (vi ) d (vi ) m
7.1
无向图及有向图
一、基本图类及相关概念
1. 无向图
称{{a,b} | aAbB} 无序积:设A,B为二集合,
为A与B的无序积,记作:A&B。 习惯上,无序对{a,b}改记成(a, b)
有序组(a,b)均用< a,b > 无序对满足(a, b)=(b, a)
无向图:无向图G是一个二元组< V,E >,其中
E1={(a,b),(a,b),(b,c),(b,c),(a,d),(b,d),(c,d)} E2={(v2,v2),(v1,v2),(v2,v3),(v1,v3),(v1,v3),(v1,v4)}
2. 有向图
有向图:有向图D是一个二元组< V,E >,其中 (1) V是非空集 ––– 顶点集 V(D)
(1) V是一个非空集 ––– 顶点集V(G),每个元
素为顶点或结点;
(2) E是无序积V & V的可重子集(元素可重复出
现),E ––– 边集E(G),E中元素称为无向边,
即无序对。
如:
a v1 d
b c
v2
v5 v3
v4
G1=<V1,E1>, G2=<V2,E2>,
V1={a,b,c,d} V2={v1,v2,v3,v4,v5}
注:<d,c>≠<c,d>
3. 相关概念
图的概念
有限图:V:E 且 |V| = 1 n阶图:|V| = n
n阶m图:|V| = n 且 |E| = m
例子
5阶5图
b
5阶零图
a c
平凡图
悬挂边 悬挂点
e d
孤立点
3. 相关概念
点边关系
顶点与边关联:如果ek = (vi,vj) E,称ek与vi关联,
例7.1.4 画出3个顶点2条边的所有可能非同构的
有向简单图。
解: 3个顶点2条边的无向简单图只有一个:
由这个图可派生出下列4个非同构的有向简单图:
自补图:若G ~G ,则G为自补图

互补且同构

互补且同构
图G为自补图的必要条件:
对于n阶图G, 若G自补,则G一定有n(n-1)/4
条边。(n=4k或n=4k+1,k≥1)
(2) E是笛卡尔积VV的可重子集,
其元素为有向边,即有序对 在有向图中需要注意E中边的方向,由第 一元素用方向线段指向第二元素。 第一个元素通常称作始点。 第二个元素通常称作终点。
如:
G=<V,E> V={a,b,c,d} E={<a,a>,<a,b>,<a,b>,<a,d>,<d,c>,<c,d>,<c,b>}
环: ek = < vi,vj > 中,若 vi = vj,则ek称为环。
环 不是平行边 环
平行边 平行边
简单图与多重图
简单图:既不包含平行边又不包含环 的图。
多重图:包含平行边 的图。
二、度
度:(1) 在无向图G = < V, E >中,与顶点v(vV)
关联的边的数目(每个环计算两次),记 作:d(v)。
如:
K4
K5
三阶有向完全图
计算问题:
(1)无向完全图共有n(n-1)/2条边,每个顶 点的度数为n-1。 (2)有向向完全图共有n(n-1)条边,每个顶
点的入度为n-1,每个顶点的出度为n-1。
四、子图与母图:
(1) G = < V,E >, G' = < V' , E' >
若V'V, E'E,则G是G'的母图, G'是
存在 g:VV' 满足:
(1) 任意边e = (vi,vj)E,当且仅当e' = (g(vi),g(vj))E' (2) e与e'的重数相同 则说G G' 由于同构图顶点之间一一对应,边之间一一对应, 关联关系对应相同,所以可以看成同一个图。
图的同构
• 例如下图(a)、(b)、(c)、(d)所示,图(a)、图(b) • 、图(c)和图(d)所表示的图形实际上都是一样的。
通路的长度至少少1。如此重复下去,必可得 到一条从vi到vj的不多于n–1条边的通路。
(2) 在n阶图中,如果从vi到vj (vivj)存在通路,则 必存在从vi到vj 的长度小于等于 n–1的初级通路。 (3) 在n阶图中,如果存在从vi到自身的回路,则 从vi 到自身存在长度等于n的回路。
(4) 在n阶图中,如果从vi到自身存在一条简单回
初级通路一定是简单通路,但简单通路不一定是一
条初级通路。
例子
v6
v1
e6 e1 v1 v2 e2 v3 e5 v5 e4 e3
v3 e5 v5 e3 e4 e2 e5 v4
v4
e1
v2
长度为6的简单通路
e1 v1 v2 e2 v3 e3
长度为6的简单通路
v1 e1 v2
e4
v4
e2
v3
e3
v4
长度为3的初级通路
路,则从vi 到自身存在长度等于n的初级回路。
三、顶点的连通性
两顶点连通:u,v为无向图G的两个顶点,u到v
存在一条通路。规定vi到自身总
是连通的.
两顶点可达:u,v为有向图G的两个顶点,u到v
存在一条通路。规定vi到自身总 是可达的.
连通性的性质:无向图中顶点之间的连通关系是
顶点集V上的等价关系。
证明: (1) 自反性:由于规定任何顶点到自身总是连通的; (2) 对称性:无向图中顶点之间的连通是相互的; (3) 传递性:由连通性的定义可知。
d
e
例子2
a
a b
b
{a,b,c}的导出子图
c
c
d
a
b
{<a,b>,<b,a>,<c,d>}的导出子图
c d
五、补图
补图:给定一个图G = < V,E >,以V为顶点集, 以所有能使G成为完全图的添加边为边集
组成边集的图。记作:~G
如:下图中(1)与(2), (3)与(4)互为补图
六、同构图
图同构:对于G = < V,E >,G' = < V' ,E' >,如果
相关文档
最新文档