第八章图论
合集下载
离散数学 教案 第八章 图论
西南科技大学
6
计算机科学与技术学院
Discrete Mathematics 为方便起见,在无向图中往往用字母ei表示 边。例如,在上图中,用e1表示边(v2,v2),e2 表示边(v1,v2)等。 对于一个确定的图,我们不关心顶点的位置, 边的长短与形状,因此,所画出的图的图形可 能不唯一。 定义 一个有向图G是一个二元组<V,E>,即 G=<V,E>,其中
西南科技大学
4
计算机科学与技术学院
Discrete Mathematics 定义 一个无向图G是一个二元组<V,E>,即 G=<V,E>,其中
(1). V是一个非空的集合,称为G的顶点集, V中元素称为顶点或结点;
(2). E是无序积 的一个多重子集 (元素可重复 出现的集合为多重集),称E为G的边集,E中元 素称为无向边或简称边。 在一个图G=<V,E>中,为了表示V和E分别 为G的顶点集和边集,常将V记成V(G),而将E 记成E(G)。
由于2m,
为偶数,所以
也为偶数。
可是,vV1时,d(v)为奇数,偶数个奇数之和才能 为偶数,所以|V1|为偶数。结论得证。
西南科技大学
17
计算机科学与技术学院
Discrete Mathematics 对有向图来说,还有下面的定理: 定理 设G=<V,E>为有向图, V={v1,v2,…,vn} , |E|=m,则
(5).设E´ E且E´ ≠Φ ,以E´为边集,以E´中边
关联的顶点的全体为顶点集的G的子图,则称G´是由 边集E´导出的G的子图。
西南科技大学
26
计算机科学与技术学院
Discrete Mathematics 例如,在下图中,(2),(3)均为(1)的子图;(3)是 生成子图;(2)是顶点子集{v1,v2}的导出子图,也
离散数学第8章 图论及其应用
重要课题。
38
第八章 图论及其应用 例如图8-5中(a)与(b)均有6个结点,5条边;3个1度结点
,2个2度结点,1个3度结点。 满足上述3个条件,然而并不同构。
因为在图8-5(a)中的结点x应和图8-5(b)中结点y对应, 它们的度数均为3,而图8-5(a)中的结点x与两个度数为1 的结点邻接,图8-5(b)中结点y仅与一个度数为1的结点
E={e1,e2,e3,e4,e5,e6,e7},
e1=(a,b),e2=(a,c),e3=(b,d),e4=(b,c),e5=(d,c),e6=(a,d),
e7=(b,b)
则图G可用图(a)或(b)表示。
一个图G可用一个图形来
表示且表示形式不唯一
6
第八章 图论及其应用
有向图与无向图
• 在图G中,如果每条边都是有向边,则称该图为有向图; • 若每条边都是无向边,则称该图为无向图; • 如果有些边是有向边,另一些边是无向边,图G称为混合
•
(1)
(2)
37
第八章 图论及其应用 图之间的同构关系具有自反性、对称性和传递性.
若两图同构,则两图必然满足: (1)有相同结点数目; (2)有相同边数; (3)度数相同的结点数目相同; (4)有相同重数的边数相同,等等。
但这仅仅是必要条件而不是充分条件。
寻找一种简单 有效的方法来 判定图的同构, 至今仍是图论 中悬而未决的
• 若边e所对应的结点对是有序对〈a,b〉,则称e是有向边。a叫 边e的始点,b叫边e的终点,统称为e的端点。 • 若边e所对应的结点对是无序对(a,b) ,则称e是无向边。 • 这时统称e关联顶点a和b,端点a和b是邻接的。
5
第八章 图论及其应用
例 设G=〈V,E〉,其中V={a,b,c,d},
38
第八章 图论及其应用 例如图8-5中(a)与(b)均有6个结点,5条边;3个1度结点
,2个2度结点,1个3度结点。 满足上述3个条件,然而并不同构。
因为在图8-5(a)中的结点x应和图8-5(b)中结点y对应, 它们的度数均为3,而图8-5(a)中的结点x与两个度数为1 的结点邻接,图8-5(b)中结点y仅与一个度数为1的结点
E={e1,e2,e3,e4,e5,e6,e7},
e1=(a,b),e2=(a,c),e3=(b,d),e4=(b,c),e5=(d,c),e6=(a,d),
e7=(b,b)
则图G可用图(a)或(b)表示。
一个图G可用一个图形来
表示且表示形式不唯一
6
第八章 图论及其应用
有向图与无向图
• 在图G中,如果每条边都是有向边,则称该图为有向图; • 若每条边都是无向边,则称该图为无向图; • 如果有些边是有向边,另一些边是无向边,图G称为混合
•
(1)
(2)
37
第八章 图论及其应用 图之间的同构关系具有自反性、对称性和传递性.
若两图同构,则两图必然满足: (1)有相同结点数目; (2)有相同边数; (3)度数相同的结点数目相同; (4)有相同重数的边数相同,等等。
但这仅仅是必要条件而不是充分条件。
寻找一种简单 有效的方法来 判定图的同构, 至今仍是图论 中悬而未决的
• 若边e所对应的结点对是有序对〈a,b〉,则称e是有向边。a叫 边e的始点,b叫边e的终点,统称为e的端点。 • 若边e所对应的结点对是无序对(a,b) ,则称e是无向边。 • 这时统称e关联顶点a和b,端点a和b是邻接的。
5
第八章 图论及其应用
例 设G=〈V,E〉,其中V={a,b,c,d},
运筹学 第八章 图论 - 全
(a)明显为二部图,(b)也是二部图,但不明显,改画为(c) 时即可看出。
2017/7/13 11
图与网络的基本知识
次,奇点,偶点,孤立点 与某一个点vi相关联的边的数目称为 点vi的次(也叫做度),记作d(vi)。 右图中d(v1)=4,d(v3)=5,d(v5)=1。次 为奇数的点称作奇点,次为偶数的
2017/7/13
18
图与网络的基本知识
有向图 无向图
道路
回路
链
圈
道路(边的方向一致)
2017/7/13 19
图与网络的基本知识
连通图
定义10 一个图中任意两点间至少有一条链相连,则称此图为 连通图。任何一个不连通图总可以分为若干个连通子图,每 一个称为原图的一个分图(连通分支)。
连通图
2017/7/13
边,对余下的图重复这个步骤,直至无圈为止。
2、避圈法:每次增加一条边,且与已有边不构成圈,直至恰 有n-1条边为止。
2017/7/13
24
树
例1、下图是某建筑物的平面图,要求在其内部从每一房间都能走到 别的所有的房间,问至少要在墙上开多少门? 试给出一个开门的方案。
三
七
Байду номын сангаас
三 八 一 四 二 五
七 八 九 六
无向图
2017/7/13
有向图
8
图与网络的基本知识
环, 多重边, 简单图 如果边e的两个端点相重,称该边为 环。如右图中边e1为环。如果两个点 之间边多于一条,称为多重边,如右
v2 e5
多重边
e2
e1 v1
环
e3 v3
e4
图中的e4和e5,对无环、无多重边的
第八章 图论8.4树及其应用.ppt
⑥ G中每一对结点之间有惟一一条基本通路。(n≥2)
2017/10/10 82-9
定理4.2.1 分析
直接证明这 6 个命题两两等价工作量太大,一 般采用循环论证的方法,即证明
(1) (2) (3) (4) (5) (6) (1) 然后利用传递行,得到结论。
2017/10/10
证明 TG = <VT, ET> 是 G = <V, E> 的生 分析 必要性:假设 必要性由树的定义即得,充分性利用构造性 成树,由定义 4.2.1 , TG 是连通的,于是 G 也是连通的。 方法,具体找出一颗生成树即可
充分性:假设G = <V, E>是连通的。如果G中无回 路, G 本身就是生成树。如果 G 中存在回路 C1 ,可删除 C1中一条边得到图G1,它仍连通且与G有相同的结点集。 如果G1中无回路,G1就是生成树。如果G1仍存在回路C2, 可删除 C2 中一条边,如此继续,直到得到一个无回路 的连通图H为止。因此,H是G的生成树。
2017/10/10 82-22
思考题
1、一个图的生成树是不是唯一的呢?
2、如果不是唯一的,3个顶点的无向完全图有几棵 生成树?4个顶点的无向完全图又有几棵生成树?n 个顶点的无向完全图又有几棵生成树?
完全图是边数最 多的简单无向图
2017/10/10
82-23
定理4.2.3
一个图G = <V, E>存在生成树TG = <VT, ET>的充分 必要条件是G是连通的。
由定理4.2.1(4) 在结点给定的无向图中, 由定理4.2.1(5) 树是边数最多的无回路图 树是边数最少的连通图 由此可知,在无向图G = (n, m)中, 若m<n-1,则G是不连通的 若m>n-1,则G必含回路
第8章-图论PPT文档117页
第8章பைடு நூலகம்图论
1、战鼓一响,法律无声。——英国 2、任何法律的根本;不,不成文法本 身就是 讲道理 ……法 律,也 ----即 明示道 理。— —爱·科 克
3、法律是最保险的头盔。——爱·科 克 4、一个国家如果纲纪不正,其国风一 定颓败 。—— 塞内加 5、法律不能使人人平等,但是在法律 面前人 人是平 等的。 ——波 洛克
41、学问是异常珍贵的东西,从任何源泉吸 收都不可耻。——阿卜·日·法拉兹
42、只有在人群中间,才能认识自 己。——德国
43、重复别人所说的话,只需要教育; 而要挑战别人所说的话,则需要头脑。—— 玛丽·佩蒂博恩·普尔
44、卓越的人一大优点是:在不利与艰 难的遭遇里百折不饶。——贝多芬
45、自己的饭量自己知道。——苏联
1、战鼓一响,法律无声。——英国 2、任何法律的根本;不,不成文法本 身就是 讲道理 ……法 律,也 ----即 明示道 理。— —爱·科 克
3、法律是最保险的头盔。——爱·科 克 4、一个国家如果纲纪不正,其国风一 定颓败 。—— 塞内加 5、法律不能使人人平等,但是在法律 面前人 人是平 等的。 ——波 洛克
41、学问是异常珍贵的东西,从任何源泉吸 收都不可耻。——阿卜·日·法拉兹
42、只有在人群中间,才能认识自 己。——德国
43、重复别人所说的话,只需要教育; 而要挑战别人所说的话,则需要头脑。—— 玛丽·佩蒂博恩·普尔
44、卓越的人一大优点是:在不利与艰 难的遭遇里百折不饶。——贝多芬
45、自己的饭量自己知道。——苏联
《离散数学》图论 (上)
12
无向图与有向图
v2
e1
e2
e3
v3
e4
v1
e5 (e1)={( v42, v24 )}
v4
(e2)={( v32, v23 )} (e3)={( v3, v4 )}
(e4)=({ v43, v34 )}
(e5)=({ v4,}v4 )
13
无向图与有向图
A B C
D E F
14
无向图与有向图
第八章 图论
第八章 图论
§8.1 基本概念
§8.1.1 无向图、有向图和握手定理 §8.1.2 图的同构与子图 §8.1.3 道路、回路与连通性 §8.1.4 图的矩阵表示
§8.2 欧拉图 §8.3 哈密尔顿图 §8.4 平面图 §8.5 顶点支配、独立与覆盖
2
无向图与有向图
3
无向图与有向图
一个无向图(undirected graph, 或graph) G 指一个三元组 (V, E, ),其中
vV
vV
24
特殊的图
假设 G=(V, E, ) 为无向图,若 G 中所有 顶点都是孤立顶点,则称 G 为零图(null graph)或离散图(discrete graph);若 |V|=n,|E|=0,则称 G 为 n 阶零图 所有顶点的度数均相等的无向图称为正 则图(regular graph),所有顶点的度数 均为 k 的正则图称为k度正则图,也记作 k-正则图 注:零图是零度正则图
19
握手定理
定理(图论基本定理/握手定理)
假设 G=(V, E, ) 为无向图,则deg(v) 2 E , vV
即所有顶点度数之和等于边数的两倍。
推论
在任何无向图中,奇数度的顶点数必是偶 数。
无向图与有向图
v2
e1
e2
e3
v3
e4
v1
e5 (e1)={( v42, v24 )}
v4
(e2)={( v32, v23 )} (e3)={( v3, v4 )}
(e4)=({ v43, v34 )}
(e5)=({ v4,}v4 )
13
无向图与有向图
A B C
D E F
14
无向图与有向图
第八章 图论
第八章 图论
§8.1 基本概念
§8.1.1 无向图、有向图和握手定理 §8.1.2 图的同构与子图 §8.1.3 道路、回路与连通性 §8.1.4 图的矩阵表示
§8.2 欧拉图 §8.3 哈密尔顿图 §8.4 平面图 §8.5 顶点支配、独立与覆盖
2
无向图与有向图
3
无向图与有向图
一个无向图(undirected graph, 或graph) G 指一个三元组 (V, E, ),其中
vV
vV
24
特殊的图
假设 G=(V, E, ) 为无向图,若 G 中所有 顶点都是孤立顶点,则称 G 为零图(null graph)或离散图(discrete graph);若 |V|=n,|E|=0,则称 G 为 n 阶零图 所有顶点的度数均相等的无向图称为正 则图(regular graph),所有顶点的度数 均为 k 的正则图称为k度正则图,也记作 k-正则图 注:零图是零度正则图
19
握手定理
定理(图论基本定理/握手定理)
假设 G=(V, E, ) 为无向图,则deg(v) 2 E , vV
即所有顶点度数之和等于边数的两倍。
推论
在任何无向图中,奇数度的顶点数必是偶 数。
离散数学 第八章 图论
C
A
B
D 图2
此图实际上是反 映了客观事物 之间的相互关系
10
离散数学
本世纪40年代,一个数学游戏也使用类似的方法得到 了解决:某人挑一担菜、并带一只狗、一只羊,要从河 的北岸到南岸。由于船小,只允许带狗、羊、菜三者中 的一种过河;而由于明显的原因,当人不在场时狗与羊、 羊与菜不能呆在一起。问此人应采取怎样的办法才能将 这三样东西安全地带过河去? 方法一:不对称状态空间法 将人(person)、狗(dog)、羊(sheep)、菜(cabbage)中任意 几种在一起的情况看作是一种状态,则北岸可能出现的 状态共有十六种,其中 安全状态有下面十种: (人,狗,羊,菜),(空); (P,D,S,C) ,() ; (人,狗,羊), (菜); (P,D,S,) ,(C) ; (人,狗,菜),(羊); (P,D,C) ,(S) ;
7
离散数学
但当地的居民和游人做了不少的尝试,却都没有取得成 功。于是,有好事者便向当时居住在该城的大数学家欧 拉请教。 1736年,瑞士的数学家L.Euler解决了这个问题。他将 四块陆地表示成四个结点,凡陆地间有桥相连的,便在 两点间连一条线,这样图1就转化为图2了。此时,哥尼 斯堡七桥问题归结为:在图2 所示的图中,从 A, B, C, D 任一点出发,通过每条边一次且仅一次而返回出发点 的回路是否存在?后人称如此的问题为Euler环游。 欧拉断言这样的回路是不存在的。理由是:从图2中 的任一结点出发,为了要回到原来的出发点,要求与每 个结点相关联的边数均为偶数。这样才能保证从一条边 进入某结点后,可从另一条边出去,而不经过已走过的
v3
1 2
v1
1 1 1
v4 v2
2 1
图论的基本概念性术语和一些特殊图: 图3 (1)(n,m)图: |V| = n,|E| = m,即有n个结点和m条边的图称 为 ( n, m ) 图。 (2)无向边:(undirected edges简edges)在定义3下,若边 (u, , v)与边(v, ,u)表示同一条边,则称此边为无 向边。 22
A
B
D 图2
此图实际上是反 映了客观事物 之间的相互关系
10
离散数学
本世纪40年代,一个数学游戏也使用类似的方法得到 了解决:某人挑一担菜、并带一只狗、一只羊,要从河 的北岸到南岸。由于船小,只允许带狗、羊、菜三者中 的一种过河;而由于明显的原因,当人不在场时狗与羊、 羊与菜不能呆在一起。问此人应采取怎样的办法才能将 这三样东西安全地带过河去? 方法一:不对称状态空间法 将人(person)、狗(dog)、羊(sheep)、菜(cabbage)中任意 几种在一起的情况看作是一种状态,则北岸可能出现的 状态共有十六种,其中 安全状态有下面十种: (人,狗,羊,菜),(空); (P,D,S,C) ,() ; (人,狗,羊), (菜); (P,D,S,) ,(C) ; (人,狗,菜),(羊); (P,D,C) ,(S) ;
7
离散数学
但当地的居民和游人做了不少的尝试,却都没有取得成 功。于是,有好事者便向当时居住在该城的大数学家欧 拉请教。 1736年,瑞士的数学家L.Euler解决了这个问题。他将 四块陆地表示成四个结点,凡陆地间有桥相连的,便在 两点间连一条线,这样图1就转化为图2了。此时,哥尼 斯堡七桥问题归结为:在图2 所示的图中,从 A, B, C, D 任一点出发,通过每条边一次且仅一次而返回出发点 的回路是否存在?后人称如此的问题为Euler环游。 欧拉断言这样的回路是不存在的。理由是:从图2中 的任一结点出发,为了要回到原来的出发点,要求与每 个结点相关联的边数均为偶数。这样才能保证从一条边 进入某结点后,可从另一条边出去,而不经过已走过的
v3
1 2
v1
1 1 1
v4 v2
2 1
图论的基本概念性术语和一些特殊图: 图3 (1)(n,m)图: |V| = n,|E| = m,即有n个结点和m条边的图称 为 ( n, m ) 图。 (2)无向边:(undirected edges简edges)在定义3下,若边 (u, , v)与边(v, ,u)表示同一条边,则称此边为无 向边。 22
第八章图论
3. 图的结点与边之间的关系 定义 如果边e={vi,vj}是G的边, 则称结点vi 和vj邻接的, 边e和结点vi ,边e和结点vj称为关联的。 没有与边关联的结点称为孤立点。 关联于同一结点的相异边称为邻接的。 不与任何边邻接的边称为孤立边。
例1
在上图中显然e1和e2, e1与e4是邻接的, 结点v1和v2,v2和v4等是邻接的, 没有孤立点和孤立边。
例2.如下图中:
图(a)是伪图。图(b)是有向多重 图。 最右第三个图是简单图有权图。
三、结点的度
1.定义 图G中关联于结点vi的边的总数称为 结点vi的度, 用deg(vi)表示。
2.定理1(握手定理) 图G的所有结点的度的总和为边数 的二倍。即若G为具有n结点的(n,m)图, 则有: n deg(vi ) 2m
例8 如下图
(a)是连通图。 (b)是一个具有三个分图 的非连通图。 结论: (1)一个图的分图必是连通的; (2)一个连通图一定只能有一个分图。
例11 对于图的连通性,常常由于删除了 图中的结点和边而影响了图的连通性。
在连通图(a)中删除边e后, 则变成了不连通 的图(b)。
8.2 图的矩阵表示
2. 有向图的定义 定义 设G=(V,E), V是一个有限非空集合, E是V中不同元素的有序对偶的集合, 则称G是一有向图。在有向图G中 若vi≠vj,则(vi,vj)和(vj,vi)表示两条 不同的边,且用一个从结点vi指向vj 的箭头表示边(vi,vj)。
定义 具有n个结点和m条边的图称为(n,m)图。 (n,0)图称为零图。(1,0)图称为平凡图。
三、边割集、点割集 定义3 设图G=<V,E>是连通图,若有E的子集S, 使得在图G中删去了S的所有边后, 得到的子图G-S变成具有两个分图的不连通图, 删去了S的任一真子集后所得子图仍是连通图, 则称S是G的一个边割集。 注:割边是边割集的一个特例。
离散数学第8章图论剖析
例1 设 V ={v1,v2,v3,v4,v5},
E = {v1, v2}, {v1, v3}, {v2, v3}, {v2,v4}, {v3, v4},{v3, v5}, {v4 , v5}
则 G=(V,E)是一个图。
2. 图的表示方法
(1) 图解表示法
例2 下图(a).(b)分别给出了例1中图G的图解表示。
若中有相同的结点,设为ur= uk(r<k),则子路ur+1…uk可以从 中删去而形成一条较短的路= viu1…ur uk+1…uh–1 vj,仍连接vi到 vj。 若中还有相同的结点,那么重复上述过程又可形成一条
更短的路,…。这样,最后必得到一条真路,它连接vi到vj, 并短于前述任一非真路。因此,只有真路才能是短程。
将邻接矩阵A看作是布尔矩阵,矩阵的乘法运算和加法 运算中,元素之间的加法与乘法采用布尔运算(参看第 2章2.4节,P34)
1.由A,计算 A(2) , A(3), …, A(n) ; 2.计算 C=A+A(2)+…+ A(n) ; C便是所要求的连接矩阵。
例4 根据例1图的邻接矩阵A,用布尔运算的方法,求 其连接矩阵。
则称H是G的分图。
注: (2)的言外之意是:H是G的最大连通子图。
例
解 (b)显然不是G的分图,因为(b)不连通;
(c)也不是G的分图; (d)是G的分图; (e)是G的分图。
1.割点:如果在图G中删去结点v(及与其相关联的所 有边后),图G的分图数增加,则称结点v是G的割点。 2.割边:如果在图G中删去边{ vi,vj}后,图G的分 图数增加,则称边{ vi,vj}是G的割边。 例10 下图中v4 ,v6均是割点;
1 0
第8章图论方法
Page 12
【例题·计算题】某城市东到西的交通道路如下图所示,线 上标注的数字为两点间距离(单位:千米)。某公司现需从市 东紧急运送一批货物到市西。假设各条线路的交通状况相同, 请为该公司寻求一条最佳路线。
2 东3
4
3 1
7
2
5
7
3
3
4
4
7 5
6
4 6
7 3
7
西
8
【答案】
1-4-7-西 10 3
9
2
3
5
7
3.5
4
6
10
1
6
4
3
8
2
5
【答案】
2 5
4
6
1
3
5
3 3.5 4
2
Page 8
【解析】按照克鲁斯喀尔的算法很轻松得出答案。
1.(11年7月)已知连接5个城镇的公路交通图如图。为了沿公路架设5个城镇的
光缆线,并要求光缆线架设的总长度为最小,试以最小枝杈树方法求出Pa最ge优9 方 案并计算光缆线的总长度。
8.2 树和树的逐步生成法
Page 4
1、树:连通且不含圈(回路)的图称为树。 2、树的边数=结点数-1。
【选择题】以下叙述中,正确的是( ) A.树的点数为线数加1 B.图的点数小于线数 C.图的点数大于线数 D.树可能含有圈 【答案】A 【解析】树的点数和边数差1,普通图的点数和边数谁多谁少不 确定。 【知识点】图和树的基本概念
Page 22
5.(09年7月)某网络如图,线上标注的数字是单位时间通过两节点的流量。
Page 23
试求单位时间由网络始点到网络终点的最大流量(单位:吨)。
第八章图论原理
第八章图论原理
图论
• 图论是用图的方法研究客观世界的一门科 学.
• 用“结点”表示事物, 用“边”表示事物 之间联系, 而由结点与边所构成的图表示 所研究的客观对象.
• 图论研究图的逻辑结构与性质,是研究图 的抽象性质的一种数学.
图论
• 图论在语言学、逻辑学、物理学、化学、 电气工程、计算机网络、计算机科学及数 学的其他分支中有广泛应用.
8.1.2 图的基本概念
• 有序结点对所对应的边称为有向边,无序结点对 所对应的边称为无向边
• 有向图:图中的所有边均为有向边 • 无向图:图中的所有边均为无向边
8.1.2 图的基本概念
• 有向边lk={vi,vj}中, vi称为lk的起点, vj称为lk的终点 • 不管lk是有向还是无向, 均称lk与vi和vj相关联, 而vi
• 如果有V’⊂V, E⊂E’, 则称G’是G的真子图. • 如果有V’=V, E⊆E’, 则称G’是G的生成子图.
8.1.2 图的基本概念
• (n,m)图: 一个具有n个结点、m条边所组成的图
• 零图: 由一些孤立点组成的图, 即(n,0)图
• 平凡图: 由一个孤立结点组成的图, 即(1,0)图
• 解: 其资源分配图:
8.2.1 通路与回路
• 例8.4 用有向图刻画过程间的调用关系,来判断某过 程是否是递归的. 一个过程集合P={P1,P2,P3,P4,P5} 调用关系: P1调用P2; P2调用P4; P3调用P1; P4调用P5; P5调用P2;
• 某过程是递归的充分必要条件是包括此过程在内的结 点构成一个回路.
• 定义8.6
一个有向图, 如果忽略其边的方向后得到的无向 图是连通的, 则称此有向图为连通图; 否则, 称为 非连通图.
图论
• 图论是用图的方法研究客观世界的一门科 学.
• 用“结点”表示事物, 用“边”表示事物 之间联系, 而由结点与边所构成的图表示 所研究的客观对象.
• 图论研究图的逻辑结构与性质,是研究图 的抽象性质的一种数学.
图论
• 图论在语言学、逻辑学、物理学、化学、 电气工程、计算机网络、计算机科学及数 学的其他分支中有广泛应用.
8.1.2 图的基本概念
• 有序结点对所对应的边称为有向边,无序结点对 所对应的边称为无向边
• 有向图:图中的所有边均为有向边 • 无向图:图中的所有边均为无向边
8.1.2 图的基本概念
• 有向边lk={vi,vj}中, vi称为lk的起点, vj称为lk的终点 • 不管lk是有向还是无向, 均称lk与vi和vj相关联, 而vi
• 如果有V’⊂V, E⊂E’, 则称G’是G的真子图. • 如果有V’=V, E⊆E’, 则称G’是G的生成子图.
8.1.2 图的基本概念
• (n,m)图: 一个具有n个结点、m条边所组成的图
• 零图: 由一些孤立点组成的图, 即(n,0)图
• 平凡图: 由一个孤立结点组成的图, 即(1,0)图
• 解: 其资源分配图:
8.2.1 通路与回路
• 例8.4 用有向图刻画过程间的调用关系,来判断某过 程是否是递归的. 一个过程集合P={P1,P2,P3,P4,P5} 调用关系: P1调用P2; P2调用P4; P3调用P1; P4调用P5; P5调用P2;
• 某过程是递归的充分必要条件是包括此过程在内的结 点构成一个回路.
• 定义8.6
一个有向图, 如果忽略其边的方向后得到的无向 图是连通的, 则称此有向图为连通图; 否则, 称为 非连通图.
图论原理
点中的每一个均与其余n-1个结点邻接。
p1
kn
p2
完全图中m=?
p4
p3
m n(n 1) / 2
图的基本概念
6、补图:设有一图 G V , E ,对图 G' V , E ' ,如果 有 G V , E ' E 是完全图且 E E 。
'
p1
p2
p3 p5
第八章 图论原理
图论
欧拉
C
C
A
B
A
B
D
D
?
欧拉图
§8.1 图的基本概念
图的基本概念
欧拉
C
(B,C)
图G是由非空结点集合
V {v1 , v2 ,, vn }
A
B
以及边集合
E {l1, l2 ,, lm}
D
G=<V,E>
li (vi1 , vi 2 )
图的基本概念
例 1 有 4 个城市 v1 , v2 , v3 , v4 ,其中 v1 与 v2 间; v1 与 v4 间;
连通性 1 1
6
2
5
2
4 3
5
3
(a)
4
(b)
一个无向图G,如果它的任何两结点间均是可达
的,则称图G为连通图;否则,称为非连通图。
连通性
一个有向连通图G,
弱连通:如果忽略边的方向后其无向图是连通的
单向连通:如果其任何两点间至少存在一向是可达的
强连通:如果其任何两点间均是互相可达的
a
a
a
b
(a)
c
deg(E)=4
§8.4
p1
kn
p2
完全图中m=?
p4
p3
m n(n 1) / 2
图的基本概念
6、补图:设有一图 G V , E ,对图 G' V , E ' ,如果 有 G V , E ' E 是完全图且 E E 。
'
p1
p2
p3 p5
第八章 图论原理
图论
欧拉
C
C
A
B
A
B
D
D
?
欧拉图
§8.1 图的基本概念
图的基本概念
欧拉
C
(B,C)
图G是由非空结点集合
V {v1 , v2 ,, vn }
A
B
以及边集合
E {l1, l2 ,, lm}
D
G=<V,E>
li (vi1 , vi 2 )
图的基本概念
例 1 有 4 个城市 v1 , v2 , v3 , v4 ,其中 v1 与 v2 间; v1 与 v4 间;
连通性 1 1
6
2
5
2
4 3
5
3
(a)
4
(b)
一个无向图G,如果它的任何两结点间均是可达
的,则称图G为连通图;否则,称为非连通图。
连通性
一个有向连通图G,
弱连通:如果忽略边的方向后其无向图是连通的
单向连通:如果其任何两点间至少存在一向是可达的
强连通:如果其任何两点间均是互相可达的
a
a
a
b
(a)
c
deg(E)=4
§8.4
第八章 图论(第1-3节)
集合。
由点和弧所构成的图,称为有向图,记为 D = ( V, A )
,式中 V 是有向图的点集合G ; A 是有向图 G 的弧集
合。
第10页
无向图
有向图
第11页
5. 无向图中顶点数、边数的表示方式
顶点数:p(G),简记为p。
边 数:q(G),简记为q。
6. 有向图中顶点数、弧数的表示方式
顶点数:p(D),简记为p。
边 数:q(D),简记为q。
第12页
二、图的引申概念
1. 端点、始点、终点 无向图 G = ( V, E ) 中,边 e = [ u, v ]∈ E,称
顶点 u 和 v 是边 e 的端点,也称顶点 u 和 v 是
相邻的。 u e v
第13页
有向图 D = ( V, A ) 中,弧 a = ( u, v )∈ A,称
第42页
3. 简单链和简单路
若链
v
i1
, e i , v i , e i ,..., v i
1 2 2
k 1
, ei
k 1
,vi
k
中,边
e i , e i ,..., e i
1 2
k 1
均不相同,则称之为简单链。
注:简单链中边无相同的,但可有相同的点。
第43页
若路
v
i1
, a i , v i , a i ,..., v i
第49页
v1
a4
v5
a5
a6 a1 a3
v4
v2
a2 v3
(v1,a1,v2,a2,v3,a6,v1)不是一个回路。
第50页
5. 初等圈和初等回路
若圈 v i1 , e i1 , v i 2 , e i 2 ,..., v i k 1 , e i k 1 , v i1
第八章 图论8.1
A
B C
G
F
E
A
H
D
B
D
C
首页
上页
返回
下页
结束
铃
回到“七桥问题”
3 5 3
奇点的个数为4个,所以不能一笔画出。
3
首页
上页
返回
下页
结束
铃
知道了一笔画的规律后,亲自体验一下,来看看下面图 形能否一笔画出
4个奇点
0个奇点
首页
上页
返回
下页
结束
铃
例1 公路连接问题 某一地区有若干个主要城市,现准备修建高速公路把这 些城市连接起来,使得从其中任何一个城市都可以经高速公 路直接或间接到达另一个城市。假定已经知道了任意两个城 市之间修建高速公路的成本,那么应如何决定在哪些城市间 修建高速公路,使得总成本最小? 例2 中国邮递员问题(CPP-Chinese postman problem) 一名邮递员负责投递某个街区的邮件。如何为他(她)设 计一条最短的投递路线(从邮局出发,经过投递区内每条街道 至少一次,最后返回邮局)?由于这一问题是我国管梅谷教授 1960年首先提出的,所以国际上称之为中国邮递员问题。
V
+ d ( ) d ( ) E
V
首页
上页
返回
下页
结束
铃
首页
上页
返回
下页
结束
铃
§ 8.1 图的基本概念
4. 多重图、简单图和完全图
定义8.1.8(1)设u和v是无向图G=(V, E)的 两个顶点。如果G中有两条或两条以上的边 分别以u和v为端点, 则称这些边是平行边。 (2)设u和v是有向图D=(V, E)的 两个顶点。如果D中有两条或两条以上的边 分别以u和v为端点, 且它们的起点相同,终 点也相同,则称这些边是有向平行边,简 称平行边。
08 离散数学 第八章 图论
第8章 图论
定义 8.1―3赋权图G是一个三重
组 〈V,E,g〉或四重组〈V,E,f,g〉,其中V是 结点集合, E是边的集合,f是定义在V上的 函数,g是定义在E上的函数。 图8.1―4给出一个赋权图。 V={v1,v2,v3} E={e1,e2}={(v1,v2),(v2,v3)} f(v1)=5,f(v2)=8,f(v3)=11 g(e1)=4.6,g(e2)=7.5
第8章 图论
除以上4种运算外,还有以下两种
操作:
(1) 删去图G的一条边e; (2)删去图G的一个结点v。它的实 际意义是删去结点v和与v关联的所有边。 为了帮助理解,在图8.1―9中给出以上4种 运算和两种操作的图示。
第8章 图论
图 8.1―9
第8章 图论
8.1.5 子图与补图 定义8.1―8设G=〈V,E〉和G′= 〈V′,E′〉是两个图。 (1) 如果V′ V和E′ E,则称G′是G 的子图。如果V′ V和E′ E,则称G′ G的 真子图。(注意:“G′是图”已隐含着“E′ 中的边仅关联V′中的结点”的意义。) (2) 如果V′=V和E′ E,则称G′为G 的生成子图。 (3) 若子图G′中没有孤立结点,G′ 由E′唯一确定,则称G′为由边集E′导出的 子图。
第8章 图论
图 8.1―8
第8章 图论
8.1.4 图的运算 图的常见运算有并、交、差、环和等, 现分别定义于下: 定义8.1―7设图G1=〈V1,E1〉和图 G2=〈V2,E2〉。 (1)G1与G2的并,定义为图G3= 〈V3,E3〉, 其中V3=V1∪V2,E3=E1∪E2,记为 G3=G1∪G2。 (2)G1与G2的交,定义为图G3= 〈V3,E3〉, 其中V3=V1∩V2,E3=E1∩E2,记为
离散数学 第8章 图论及其应用
点集。 由握手定理知
de() + de() = 2
∈1
∈2
由于V2是偶数度数的结点集, 所以其度数之和, 必为
偶数, 而2|E|也为偶数, 故V1形成的结点度数之和只
能是偶数, 由此|V1|必为偶数。
23
【示例1】已知图G中有1个1度结点, 2个2度结点,
3个3度结点, 4个4度结点, 则G的边数是
第8章 图论及其应用
1 图的基本概念
2 图的连通性
3 图的矩阵表示
4 最短路径与关键路径
5 树
1
主要内容
☞ 图的基本概念
☞ 图的连通性
☞ 图的矩阵表示
☞ 最短路径与关键路径
☞树
2
3
图论的前世今生
☞ 1736年,欧拉(L.Eular)发表了第一篇关于图论的论文,解决了
哥尼斯堡七桥问题,并因此被誉为图论之父。
d (v4 ) 0
(b)
注意孤
立点和
自回路
d (v1 ) d (v1 ) d (v1 ) 3 0 3
d (v2 ) d (v2 ) d (v2 ) 0 1 1
d
(
v
)
d
(
v
)
d
(v3 ) 3 1 4
3
3
d (v ) 0
☞ 完全图(Complete Graph): 任意两个不同的结点都邻接的
简单图称为完全图。个结点的无向完全图记为K。
17
8−1
图
的
基
本
概
念
§8−1−2 结点的度
de() + de() = 2
∈1
∈2
由于V2是偶数度数的结点集, 所以其度数之和, 必为
偶数, 而2|E|也为偶数, 故V1形成的结点度数之和只
能是偶数, 由此|V1|必为偶数。
23
【示例1】已知图G中有1个1度结点, 2个2度结点,
3个3度结点, 4个4度结点, 则G的边数是
第8章 图论及其应用
1 图的基本概念
2 图的连通性
3 图的矩阵表示
4 最短路径与关键路径
5 树
1
主要内容
☞ 图的基本概念
☞ 图的连通性
☞ 图的矩阵表示
☞ 最短路径与关键路径
☞树
2
3
图论的前世今生
☞ 1736年,欧拉(L.Eular)发表了第一篇关于图论的论文,解决了
哥尼斯堡七桥问题,并因此被誉为图论之父。
d (v4 ) 0
(b)
注意孤
立点和
自回路
d (v1 ) d (v1 ) d (v1 ) 3 0 3
d (v2 ) d (v2 ) d (v2 ) 0 1 1
d
(
v
)
d
(
v
)
d
(v3 ) 3 1 4
3
3
d (v ) 0
☞ 完全图(Complete Graph): 任意两个不同的结点都邻接的
简单图称为完全图。个结点的无向完全图记为K。
17
8−1
图
的
基
本
概
念
§8−1−2 结点的度
离散数学第八章(第1讲)
(2)无向图,有向图
a
d
每一条边都是无向边的图称无向图。
b
c
每一条边都是有向边的图称有向图。 a
d
b
c
例:将右图用二元组表示为: G=〈V,E〉 其中V={a,b,c,d} E={<a,b>,<b,a>,<b,d>,<d,a>,<d,d>,<c,c>} 则:G=〈V,E〉= 〈 {a,b,c,d} , {<a,b>,<b,a>,<b,d>,<d,a>,<d,d>,<c,c>} 〉
A
最大度,记为:△(G)=max{d(v)| vV} B
E
最小度,记为:δ(G)=min{d(v)| vV}
D
C
定理1 (握手定理) :每个图中,结点度数的总和等于边 数的两倍。即
deg(v) 2 E
vV
证:∵每条边必关联两个结点,而一条边给于关联的每 个结点的度数为1。 故上述定理成立。
例:在一次10周年同学聚会上,想统计所有人握手的 次数之和,应该如何建立该问题的图论模
a
h
b
c
g
d h
b
c
g
d
a
h
f (a)
f e
e
(b)
f (c)
(13)生成子图:如果G的子图包含G的所有结点,则称 该子图为G的生成子图。
如下图,(b)、(c)都是(a)的生成子图。
v1
v4
v1
v4
v1
v4
v2
v3
(a)
v2
v3
v2
(b)
《应用数学基础》(陈冲)教学课件 第八章 图 论
应用数学基础
第八章 图 论
目录
ONTENTS
1 图的基本概念 2 图的矩阵表示 3 图的连通性
01 图的基本 概念
1.1 图的定义
在某计算机网络中,两台计算机之间通过网络线连接起来,如图 8-1 所示.顶点表示每台计 算机的位置,边表示网络连线.这类图在绘制时,可用圆圈(或实心点)来表示顶点,对图的 所有顶点标以名称:v1 ,v2 ,v3 ,v4 ;用直线或曲线来表示边,同时对图的所有边标以名称:e1 , e2 , e3 , e4 , e5 ,如图 8-2 所示.
该定理之所以称为握手定理,因为它有非常直观而形象的解释:假定有若干个人握手,每握
一次手,需要 2 只手来完成.此时有人用自己的右手握自己的左手,也算一次握手.参加握手的 手的总数目(包含重复的)恰好等于握手次数的 2 倍.这里用到了图论模型解决实际问题:把每 个人看成一个顶点,某两人握一次手,则在相应顶点之间连上一条边;如果某人与自己握手,则
设 G (V ,E) 是有向图, v V ,称以 v 为终点的边数为 v 的入度,记为 d (v) ;称以 v 为起 点的边数为 v 的出度,记为 d (v) .
若 d(v) 是奇数,就称 v 为奇点;若 d(v) 是偶数,就称 v 为偶点.度为 1 的点称为悬和是边数的 2 倍,这是图的一般性质.下面给出的定理是 Euler 在 1936 年提出 的,常称为握手定理,是图论中的基本定理.
定理 1(握手定理) 设 G (V ,E) 是图,G 中所有顶点度数之和 d (v) 等于 G 中边数 m 的 vV
两倍,即
d(v) 2m .
vV
1.2 顶点的度
在图 8-3 中,由于 e3 (v2 ,v3 ) ,则点 v2 与点 v3 邻接,点 v2 与边 e3 关联,点 v3 与边 e3 关联; 由于边 e1 和边 e3 有共同的顶点 v2 ,则边 e1 和边 e3 邻接; v5 为孤立点.
第八章 图 论
目录
ONTENTS
1 图的基本概念 2 图的矩阵表示 3 图的连通性
01 图的基本 概念
1.1 图的定义
在某计算机网络中,两台计算机之间通过网络线连接起来,如图 8-1 所示.顶点表示每台计 算机的位置,边表示网络连线.这类图在绘制时,可用圆圈(或实心点)来表示顶点,对图的 所有顶点标以名称:v1 ,v2 ,v3 ,v4 ;用直线或曲线来表示边,同时对图的所有边标以名称:e1 , e2 , e3 , e4 , e5 ,如图 8-2 所示.
该定理之所以称为握手定理,因为它有非常直观而形象的解释:假定有若干个人握手,每握
一次手,需要 2 只手来完成.此时有人用自己的右手握自己的左手,也算一次握手.参加握手的 手的总数目(包含重复的)恰好等于握手次数的 2 倍.这里用到了图论模型解决实际问题:把每 个人看成一个顶点,某两人握一次手,则在相应顶点之间连上一条边;如果某人与自己握手,则
设 G (V ,E) 是有向图, v V ,称以 v 为终点的边数为 v 的入度,记为 d (v) ;称以 v 为起 点的边数为 v 的出度,记为 d (v) .
若 d(v) 是奇数,就称 v 为奇点;若 d(v) 是偶数,就称 v 为偶点.度为 1 的点称为悬和是边数的 2 倍,这是图的一般性质.下面给出的定理是 Euler 在 1936 年提出 的,常称为握手定理,是图论中的基本定理.
定理 1(握手定理) 设 G (V ,E) 是图,G 中所有顶点度数之和 d (v) 等于 G 中边数 m 的 vV
两倍,即
d(v) 2m .
vV
1.2 顶点的度
在图 8-3 中,由于 e3 (v2 ,v3 ) ,则点 v2 与点 v3 邻接,点 v2 与边 e3 关联,点 v3 与边 e3 关联; 由于边 e1 和边 e3 有共同的顶点 v2 ,则边 e1 和边 e3 邻接; v5 为孤立点.
离散数学第8章图论
§8-1-1 图
定义8-1.1 一个图G定义为一个三元组<V,E, φ>,记作G=<V,E,φ>。其中: V是一个非空有限集合,其中元素v称为图G 的顶点或结点; E是和V没有公共元素的有限集合,E可以是 空集,其元素e称为图G的边; φ称为关联函数,是从E到V中的有序对或无 序对的映射。
由定义可知,图G中的每条边都与图中的无序或
图8-1(b)表示有向图G=<V,E,φ>,其中: V = { v1,v2,v3,v4 } E= { e1,e2,e3,e4 }
e1 v1 , v2
:
e2 v1 , v3 e3 v1 , v3 e4 v3 , v3
在图 G=<V , E> 中,如果任何两结点间不多 于一条边(对于有向图中,任何两结点间不 多于一条同向弧),并且任何结点无环,则 图 G 称为简单图;若两结点间多于一条边 (对于有向图中,两结点间多于一条同向弧) 图 G 称为多重图,并把联结两结点之间的 多条边或弧,称为平行边或平行弧,平行 边或弧的条数称为重数。
哈密顿问题
1859年,英国数学家哈密顿发明了一种游戏:用一 个规则的实心十二面体,它的20个顶点标出世界 著名的20个城市,要求游戏者找一条沿着各边通 过每个顶点刚好 一次的闭回路,即「绕行世界」。 用图论的语言来说,游戏的目的是在十二面体的 图中找出一个生成圈。这个问题后来就叫做哈密 顿问题。由於运筹学、计算机科学和编码理论中 的很多问题都可以化为哈密顿问题,从而引起广 泛的注意和研究。
1872年,英国当时最著名的数学家凯利正式向伦 敦数学学会提出了这个问题,于是四色猜想成了 世界数学界关注的问题。世界上许多一流的数学 家都纷纷参加了四色猜想的大会战。1878~1880 年两年间,著名律师兼数学家肯普和泰勒两人分 别提交了证明四色猜想的论文,宣布证明了四色 定理。但后来数学家赫伍德以自己的精确计算指 出肯普的证明是错误的。不久,泰勒的证明也被 人们否定了。于是,人们开始认识到,这个貌似 容易的题目,其实是一个可与费马猜想相媲美的 难题(当n>2时,xn+yn=zn,n为奇素数,X,Y,Z 没有正整数解。)
相关主题
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
有向图是一个有序二元组(V,A),记为 D=(V,A),其中 V=(v1,v2,…….vp)是 p 个点 的集合,A={a1,a2,……aq}是 q 条弧的集合,并且 ai 是一个有序二元组,记为 aij=(vi,vj)≠ (vj,vi),vi,vj∈V,并称 aij 是以 vi 为始点,vj 为终点的弧, i, j 的顺序不能颠倒,图中弧的方 向用箭头标识。
27
Dijkstra标号法原理
方法的每一步是去修改 T 标号,并且把某一个具有 T 标号的点改变 为具有 P 标号的点,从而使 D 中具有标号的顶点数为多一个.这样至多
树与最小树问题
某企业的组织机构如下所示
生产计划科
行政办公室技术科工 设艺 计组 组
供销科Βιβλιοθήκη 财务科厂长 行政科
车间铸 锻造 压车 车间 间
生产办公室
二车间 三车间 四车间
18
树的概念和性质
树的定义
定义 无圈的连通图,称为树,记作 T=(V,ET)。
树的性质
v1
v3 7 v5
24
矩阵法举例
例 8.2 下面是一个求最小树的问题。用矩阵法求解
V3
7
V6
1
4
1
2
9
V1
3
3
V4
10
V7 3
V9
7
V2
4
8
6
5
V5
2
V8
25
最短路问题
最短路问题,就是从给定的网络图中找出一点到各点或任意两 点之间距离最短的一条路
最短路问题在实际中具有广泛的应用,如管道铺设、线路选择 等问题,还有些如设备更新、投资等问题也可以归结为求最短 路问题
外探寻最短路,执行过程中,给每一个顶点 v j 标号 j , l j . .其中 j 是正
数,它表示获得此标号的前一点的下标; l j 或表示从起点 vs 到该点 v j 的 最短路的权(称为固定标号,记为 P 标号)或表示从起点 vs 到该点 v j 的
最短路的权的上界(称为临时标号,记为 T 标号).
5
环、多重边、简单图、多重图
一条边的两个端点如果相同,称此边 为环(自回路)。
两个点之间多于一条边的,称为多重 边。
不含环和多重边的图称为简单图,含 有多重边的图称为多重图。
6
点的次
以点 v 为端点的边数叫做点 v 的次,记作 d(v)。如上图中,d(v1)=4,d(v2)=4。 若 V=(v1,v2,…….vp),则称{ d(v1),d(v2),…….d(vp)}为图 G 的次序列。 次为 1 的点称为悬挂点,连接悬挂点的边称为悬挂边。次为 0 的点称为孤立点。 次为奇数的点称为奇点,次为偶数的点称为偶点。
aij
wij ,
,
[vi ,vj ] E [vi , vj ] E
则称 A 为 G 的权矩阵。
右图的权矩阵为:
v1 v2 v3 v4 v5 v1 0 7 4 v2 7 0 2 6 v3 4 2 0 3 v4 6 0 5 v5 3 5 0
v1 7 v2
2 6
v4
5
4 v3 3
v5
17
n-1条边)
v1 4
5×
v2
3
v3 5
2 v4
v5
v1 8 v3
7 v5
5
1
5 482
1
v6
v2 3
v4 6 v6
Min C(T)=15 在上图中,如果添加边[v1, v2]就形成圈{v1, v2, v4},这时就应 避开添加边[v1, v2],添加下一条最短边[v3, v6]。破圈法和避圈法 得到树的形状可能不一样,但最小树的长度相等
13
网络的概念
实际问题中,往往只用图来描述所研究对象之间的关系还不够,如果在 图中赋予各边一定的数量指标,我们常称之为“权”,权可以代表距离,也 可以代表时间、费用、容量等。通常把这种赋权图称为网络。 与无向图和有向图相对应,网络又分为无向网络图和有向网络图。
v2
24
20
v1 15
8 v4
10
v3
20
支撑树
支撑树的概念
设图 G1 V , E1 是图 G V, E 的支撑子图,如
果 G1 是一个树,记 T (V , E1) 。则称 T 是 G 的 一个支撑树。 支撑树的存在性定理: 图 G 有支撑树的充分必要条件是图 G 是连通的。 构造支撑树的方法 主要方法有两种:破圈法与避圈法。
定理 1 任何图 G=(V,E)中,所有点的次数之和等于边数的 2 倍。即
p(G)
d (vi ) 2q(G)
i 1
定理 2 任何图 G=(V,E)中,奇点的个数必为偶数。
7
链、圈、连通图
对 于 无 向 图 G = (V , E) , 称 某 顶 点 和 边 交 替 的 序 列 {vi1,ei1,vi2,ei2,...vi(t-1),ei(t-1),vit}为连接 vi1 和 vit 的一条链,简记为{vi1, vi2,……,vit}.其中 eik=(eik,ei(k+1)),k=1,2,…,t-1。称 vi1 和 vit 为链的两个端点。
6
v5 11
10
v7
8
20
v6
14
图的矩阵表示 :关联矩阵
在图 G=(V,E)中,V=(v1,v2,…….vP),E={e1,e2,……eq}。构造一个矩阵 A=(aij)P×q,其中
1, 当点i与边j关联 aij 0, 否则
A 为 G 的关联矩阵。
右图的关联矩阵为: e1 e2 e3 e4 e5 e6
在有向图的讨论中,类似无向图,可以对多重边、环、 简单图、链等概念进行定义,只是在无向图中,链与路、 圈与回路概念是一致的,而在有向图中,这两个概念不能 混为一谈。概括地说,一条路必定是一条链。然而在有向 图中,一条链未必是一条路,只有在每相邻的两弧的公共 结点是其中一条弧的终点,同时又是另一条弧的始点时, 这条链才能叫做一条路。
4
2
1
性质1 任何树中必存在次为1 的点。 v2 3
v4
v6
称次为1 的点为悬挂点,与悬挂点关联的边称为悬挂边。
如果从树中拿掉悬挂点及与其关联的悬挂边,余下的点和
边构成的图形仍连通且无圈,则还是一个树。
性质2 具有n个顶点的树的边数恰好为(n-1)条。
性质3 任何具有n个点与(n-1)条边的连通图是树。
顶点和边,则称 G1 是 G2 的真子图。
部分图:若 V1=V2, E1 E2,即G1 中不包含 G2 中所有的边,
则称 G1 是 G2 的一个部分图。 支撑子图:若 G1 是 G2 的部分图,且 G1 是连通图,则称
G1 是 G2 的支撑子图。
9
子图
v1●
10
有向图
由点和弧组成的图称为有向图。 带箭头的连线称为弧
8
v3
7
v5
5
5
4
8
1
2
v2
3
最小树长为
v4
6
v6
C(T)=4+3+5+2+1=15。
当一个圈中有多个相同的最长边时,不能同时都去掉,只能去
掉其中任意一条边。最小部分树有可能不唯一,但最小树的长
度相同
23
避圈法:取图G的n个孤立点{v1,v2,…, vn}作为一个支撑 图,从最短边开始往支撑图中添加,见圈回避,直到连通(有
19
树的概念和性质
以上性质说明: (1)树是含边数最多的无圈图,只要任意再加 上一条边,必定会出现一个且仅一个圈。 (2)由于树是无圈的连通图,即树的任意两 个点之间有一条且仅有一条唯一通路。因此树也是 含边数最少的连通图。只要从树中取走任一条边, 图就不连通。因此一些重要的网络不能按树的结构 设计。 (3)对任一图G,若q(G) < p(G)-1,则G不连 通;若q(G) > p(G)-1,则G有圈。
8 v4
10
v5 11
10
v7
8
20
v3
6
v6
3
无向图
由点和边组成的图称为无向图。
把两点之间的不带箭头的联 线称为边
无向图可表示为一个有序二元组(V,E),记为 G=(V,E),其中 V=(v1, v2,…….vp)是 p 个点的集合,E={e1,e2,……eq}是 q 条边的集合,并且 ei 是一 个无序二元组,记为 ei=[vi,vj]=[vj,vi], vi,vj∈V。
21
最小树
1) 最小树定义 设 有 一 个 连 通 图 G= (V, E) , 每 一 边 e = [vi , vj]有 一 个 非 负 权
(e) ij (ij 0) ,如果 T=(V,E’)是 G 的一个支撑树,称 E’中所有边
的权之和为支撑树 T 的权,记为 (T ) :(T ) ij 。 [vi ,v j ]T 如果支撑树 T * 的权 (T * ) 是G的所有支撑树中权数最小的,则称T * 是
求最短路有两种算法: 一是求从某一点至其它各点之间最短距离的狄克斯屈拉
(Dijkstra)算法 另一种是针对网络中有负权的逐次逼近法。
26
Dijkstra标号法原理
Dijkstra 算法是目前公认最好的方法,它适合所有的 wij 0 的情形. Dijkstra 算法是一种标记法,它的基本思路是从起点 vs 出发,逐步向
12
点的出次和入次 、路
在有向图 D=(V,A)中,点和弧交替的序列 P={vi1,ai1, vi2,ai2,... vi(t-1),ai(t-1), vit},若有 ait= (vit,vit+1)或 ait= (vit+1,vit), 则称 P 是一条连接 vi1 与 vit 的一条链;若有 ait= (vit,vit+1), 则称 P 是一条从 vi1 到 vit 的路。
27
Dijkstra标号法原理
方法的每一步是去修改 T 标号,并且把某一个具有 T 标号的点改变 为具有 P 标号的点,从而使 D 中具有标号的顶点数为多一个.这样至多
树与最小树问题
某企业的组织机构如下所示
生产计划科
行政办公室技术科工 设艺 计组 组
供销科Βιβλιοθήκη 财务科厂长 行政科
车间铸 锻造 压车 车间 间
生产办公室
二车间 三车间 四车间
18
树的概念和性质
树的定义
定义 无圈的连通图,称为树,记作 T=(V,ET)。
树的性质
v1
v3 7 v5
24
矩阵法举例
例 8.2 下面是一个求最小树的问题。用矩阵法求解
V3
7
V6
1
4
1
2
9
V1
3
3
V4
10
V7 3
V9
7
V2
4
8
6
5
V5
2
V8
25
最短路问题
最短路问题,就是从给定的网络图中找出一点到各点或任意两 点之间距离最短的一条路
最短路问题在实际中具有广泛的应用,如管道铺设、线路选择 等问题,还有些如设备更新、投资等问题也可以归结为求最短 路问题
外探寻最短路,执行过程中,给每一个顶点 v j 标号 j , l j . .其中 j 是正
数,它表示获得此标号的前一点的下标; l j 或表示从起点 vs 到该点 v j 的 最短路的权(称为固定标号,记为 P 标号)或表示从起点 vs 到该点 v j 的
最短路的权的上界(称为临时标号,记为 T 标号).
5
环、多重边、简单图、多重图
一条边的两个端点如果相同,称此边 为环(自回路)。
两个点之间多于一条边的,称为多重 边。
不含环和多重边的图称为简单图,含 有多重边的图称为多重图。
6
点的次
以点 v 为端点的边数叫做点 v 的次,记作 d(v)。如上图中,d(v1)=4,d(v2)=4。 若 V=(v1,v2,…….vp),则称{ d(v1),d(v2),…….d(vp)}为图 G 的次序列。 次为 1 的点称为悬挂点,连接悬挂点的边称为悬挂边。次为 0 的点称为孤立点。 次为奇数的点称为奇点,次为偶数的点称为偶点。
aij
wij ,
,
[vi ,vj ] E [vi , vj ] E
则称 A 为 G 的权矩阵。
右图的权矩阵为:
v1 v2 v3 v4 v5 v1 0 7 4 v2 7 0 2 6 v3 4 2 0 3 v4 6 0 5 v5 3 5 0
v1 7 v2
2 6
v4
5
4 v3 3
v5
17
n-1条边)
v1 4
5×
v2
3
v3 5
2 v4
v5
v1 8 v3
7 v5
5
1
5 482
1
v6
v2 3
v4 6 v6
Min C(T)=15 在上图中,如果添加边[v1, v2]就形成圈{v1, v2, v4},这时就应 避开添加边[v1, v2],添加下一条最短边[v3, v6]。破圈法和避圈法 得到树的形状可能不一样,但最小树的长度相等
13
网络的概念
实际问题中,往往只用图来描述所研究对象之间的关系还不够,如果在 图中赋予各边一定的数量指标,我们常称之为“权”,权可以代表距离,也 可以代表时间、费用、容量等。通常把这种赋权图称为网络。 与无向图和有向图相对应,网络又分为无向网络图和有向网络图。
v2
24
20
v1 15
8 v4
10
v3
20
支撑树
支撑树的概念
设图 G1 V , E1 是图 G V, E 的支撑子图,如
果 G1 是一个树,记 T (V , E1) 。则称 T 是 G 的 一个支撑树。 支撑树的存在性定理: 图 G 有支撑树的充分必要条件是图 G 是连通的。 构造支撑树的方法 主要方法有两种:破圈法与避圈法。
定理 1 任何图 G=(V,E)中,所有点的次数之和等于边数的 2 倍。即
p(G)
d (vi ) 2q(G)
i 1
定理 2 任何图 G=(V,E)中,奇点的个数必为偶数。
7
链、圈、连通图
对 于 无 向 图 G = (V , E) , 称 某 顶 点 和 边 交 替 的 序 列 {vi1,ei1,vi2,ei2,...vi(t-1),ei(t-1),vit}为连接 vi1 和 vit 的一条链,简记为{vi1, vi2,……,vit}.其中 eik=(eik,ei(k+1)),k=1,2,…,t-1。称 vi1 和 vit 为链的两个端点。
6
v5 11
10
v7
8
20
v6
14
图的矩阵表示 :关联矩阵
在图 G=(V,E)中,V=(v1,v2,…….vP),E={e1,e2,……eq}。构造一个矩阵 A=(aij)P×q,其中
1, 当点i与边j关联 aij 0, 否则
A 为 G 的关联矩阵。
右图的关联矩阵为: e1 e2 e3 e4 e5 e6
在有向图的讨论中,类似无向图,可以对多重边、环、 简单图、链等概念进行定义,只是在无向图中,链与路、 圈与回路概念是一致的,而在有向图中,这两个概念不能 混为一谈。概括地说,一条路必定是一条链。然而在有向 图中,一条链未必是一条路,只有在每相邻的两弧的公共 结点是其中一条弧的终点,同时又是另一条弧的始点时, 这条链才能叫做一条路。
4
2
1
性质1 任何树中必存在次为1 的点。 v2 3
v4
v6
称次为1 的点为悬挂点,与悬挂点关联的边称为悬挂边。
如果从树中拿掉悬挂点及与其关联的悬挂边,余下的点和
边构成的图形仍连通且无圈,则还是一个树。
性质2 具有n个顶点的树的边数恰好为(n-1)条。
性质3 任何具有n个点与(n-1)条边的连通图是树。
顶点和边,则称 G1 是 G2 的真子图。
部分图:若 V1=V2, E1 E2,即G1 中不包含 G2 中所有的边,
则称 G1 是 G2 的一个部分图。 支撑子图:若 G1 是 G2 的部分图,且 G1 是连通图,则称
G1 是 G2 的支撑子图。
9
子图
v1●
10
有向图
由点和弧组成的图称为有向图。 带箭头的连线称为弧
8
v3
7
v5
5
5
4
8
1
2
v2
3
最小树长为
v4
6
v6
C(T)=4+3+5+2+1=15。
当一个圈中有多个相同的最长边时,不能同时都去掉,只能去
掉其中任意一条边。最小部分树有可能不唯一,但最小树的长
度相同
23
避圈法:取图G的n个孤立点{v1,v2,…, vn}作为一个支撑 图,从最短边开始往支撑图中添加,见圈回避,直到连通(有
19
树的概念和性质
以上性质说明: (1)树是含边数最多的无圈图,只要任意再加 上一条边,必定会出现一个且仅一个圈。 (2)由于树是无圈的连通图,即树的任意两 个点之间有一条且仅有一条唯一通路。因此树也是 含边数最少的连通图。只要从树中取走任一条边, 图就不连通。因此一些重要的网络不能按树的结构 设计。 (3)对任一图G,若q(G) < p(G)-1,则G不连 通;若q(G) > p(G)-1,则G有圈。
8 v4
10
v5 11
10
v7
8
20
v3
6
v6
3
无向图
由点和边组成的图称为无向图。
把两点之间的不带箭头的联 线称为边
无向图可表示为一个有序二元组(V,E),记为 G=(V,E),其中 V=(v1, v2,…….vp)是 p 个点的集合,E={e1,e2,……eq}是 q 条边的集合,并且 ei 是一 个无序二元组,记为 ei=[vi,vj]=[vj,vi], vi,vj∈V。
21
最小树
1) 最小树定义 设 有 一 个 连 通 图 G= (V, E) , 每 一 边 e = [vi , vj]有 一 个 非 负 权
(e) ij (ij 0) ,如果 T=(V,E’)是 G 的一个支撑树,称 E’中所有边
的权之和为支撑树 T 的权,记为 (T ) :(T ) ij 。 [vi ,v j ]T 如果支撑树 T * 的权 (T * ) 是G的所有支撑树中权数最小的,则称T * 是
求最短路有两种算法: 一是求从某一点至其它各点之间最短距离的狄克斯屈拉
(Dijkstra)算法 另一种是针对网络中有负权的逐次逼近法。
26
Dijkstra标号法原理
Dijkstra 算法是目前公认最好的方法,它适合所有的 wij 0 的情形. Dijkstra 算法是一种标记法,它的基本思路是从起点 vs 出发,逐步向
12
点的出次和入次 、路
在有向图 D=(V,A)中,点和弧交替的序列 P={vi1,ai1, vi2,ai2,... vi(t-1),ai(t-1), vit},若有 ait= (vit,vit+1)或 ait= (vit+1,vit), 则称 P 是一条连接 vi1 与 vit 的一条链;若有 ait= (vit,vit+1), 则称 P 是一条从 vi1 到 vit 的路。