离散数学-图课件.ppt
《离散数学-图课件.ppt》由会员分享,可在线阅读,更多相关《离散数学-图课件.ppt(237页珍藏版)》请在三一办公上搜索。
1、,2023年3月14日,裘国永,离散数学第十章 图,本章内容及教学要点,10.1 图的基本概念教学内容:结点(顶点),边,无向边,有向边(弧),环(自回路),孤立结点,有向图,无向图,度数,出(入)度,欧拉握手定理,10.2 路、回路与连通性教学内容:路(通路),回路(圈),简单(回)路,基本(回)路,连通图,连通分支,点(边)割集,割(边),强(单向,弱)连通图,强(单向,弱)分图,10.4 欧拉图与哈密顿图 教学内容:欧拉(回)路,欧拉图,哈密顿(回)路,哈密顿图,10.6 平面图教学内容:平面图,面,边界,欧拉公式,10.7 树及其应用教学内容:树,树叶,分支点,生成树,最小生成树,Kr
2、uskal算法,Prim算法,根树,有序树,二叉树,树的遍历,最优二叉树,Haffman算法,10.9 最短路径教学内容:最短路径,Dijkstra算法,图论是以图为研究对象的一个数学分支。图论中的图指的是一些点以及连接这些点的线的总体。通常用点代表事物,用连接两点的线代表事物间的关系。图论则是研究事物对象在上述表示法中具有的特征与性质的学科。,在自然界和人类社会中,用图形来描述和表示某些事物之间的关系既方便又直观。例如,国家用点表示,有外交关系的国家用线连接代表这两个国家的点,于是世界各国之间的外交关系就被一个图形描述出来了。,另外我们常用工艺流程图来描述某项工程中各工序之间的先后关系,用网
3、络图来描述某通讯系统中各通讯站之间信息传递关系,用开关电路图来描述IC中各元件电路导线连接关系(芯片设计)等等。,任何一个包含某种二元关系的系统都可以用图形来表示。由于我们感兴趣的是两对象之间是否有某种特定关系,所以图形中两点之间连接与否最重要,而连接线的曲直长短则无关紧要。由此经数学抽象产生了图的概念。研究图的基本概念和性质、图的理论及其应用构成了图论的主要内容。图是计算机中数据表示、存储和运算的基础。,图论的产生和发展经历了二百多年的历史,大体上可分为三个阶段:第一阶段是从1736年到19世纪中叶。当时的图论问题是盛行的迷宫问题和游戏问题。最有代表性的工作是著名数学家欧拉于1736年解决的
4、哥尼斯堡七桥问题。,东普鲁士的哥尼斯堡城(今俄罗斯的加里宁格勒)位于普雷格尔(Pregel)河的两岸,河中有一个岛,于是城市被这条河、它的分支和岛分成了四个部分,各部分通过7座桥彼此相通。该城的居民喜欢在周日绕城散步。于是就产生了这样一个问题:能不能设计一条散步的路线,使得一个人从家里(或从四部分陆地任一块)出发,经过每座桥恰好一次再回到家里?这就是有名的哥尼斯堡七桥问题。,哥尼斯堡七桥问题看起来并不复杂,因此立刻吸引许多人的注意,但是实际上很难解决。瑞士数学家欧拉注意到了这个问题,并在1736年写的有关“哥尼斯堡七桥问题”的论文中解决了这个问题。这篇论文被公认为是图论历史上的第一篇论文,欧拉
5、也因此被誉为图论之父。,欧拉是这样解决这个问题的:将四块陆地表示成四个点,桥看成是对应结点之间的连线。则哥尼斯堡七桥问题就变成了:从A,B,C,D任一点出发,通过每边一次且仅一次返回原出发点的路线(回路)是否存在?欧拉证明这样的回路是不存在的。,第二阶段是从19世纪中叶到1936年。一开始,图论的理论价值似乎不大,因为图论主要研究一些娱乐性的游戏问题:迷宫问题、博弈问题、棋盘上马的行走线路问题。但是随着一些图论中的著名问题如四色问题(1852年)和哈密顿环游世界问题(1856年)的出现,出现了以图为工具去解决其它领域中一些问题的成果。,1847年德国的克希霍夫将树的概念和理论应用于电网络研究。
6、1857年英国的凯莱也独立地提出了树的概念,并应用于有机化合物分子结构即CnH2n+2的同分异构物数目的研究中。1936年匈牙利的数学家哥尼格写出了第一本图论专著有限图与无限图的理论,标志着图论成为一门独立学科。,第三阶段是1936年以后。由于生产管理、军事、交通运输、计算机和通讯网络等方面的大量问题的出现,大大促进了图论的发展。特别是计算机的大量应用,使大规模问题的求解成为可能。,电网络、交通网络、电路设计、数据结构以及社会科学中的问题所涉及到的图形都是很复杂的,需要计算机的帮助才有可能进行分析和解决。目前图论在物理、化学、运筹学、计算机科学、电子学、信息论、控制论、网络理论、社会科学及经济
7、管理等几乎所有学科领域都有应用。,10.1 图的基本概念,这一节的主要内容:无(有)向边、环、孤立结点、无(有)向图、混合图、基图、简单图、多重图、平凡图、零图、完全图、加权图、度数、出度、入度、欧拉握手定理。,定义10.1.1 一个图G定义为一个有序对,记为G=。其中V为非空有限集,其元素称为结点或顶点(Vertex,Node),E也是有限集,其元素称为边(Edge)。对E中的每条边都有V中的两个结点与之对应,其结点对可以有序也可无序。,若边e与无序结点对u,v对应,称e为无向边(Undirected edge),简称边,记为e=u,v,u、v称为边e的端点,也称u和v为邻接点,边e关联u与
8、v。关联同一结点的两条边称为邻接边。连接一结点与它自身的边称为环或自回路(Loop)。两条端点对应相同的边称为平行边。,若边e与有序结点对对应,称e为有向边或弧(Directed edge),记为e=,u和v分别称为弧e的始点(Initial vertex)和终点(Terminal vertex),也称u邻接到v,v邻接于u。若e和e有相同始点,称e和e相邻。始点和终点都对应相同的弧称为平行弧。,在图中不是任何边的端点的结点称为孤立结点(Isolated vertex)。每条边都是无向边的图称为无向图(Graph)。每条边都是有向边的图称为有向图(Digraph)。既有有向边又有无向边的图称为
9、混合图。将有向图各有向边去掉方向后得到的无向图称为原图的基图(Underlying graph)。,例10.1.1 图10-1的两个图分别为无向图和有向图。在(a)中,e7是环,e1、e2与e3是邻接边。在(b)中,v2v1与v2v3是邻接边,但v2v3和v3v2不是邻接边,v5为孤立结点。,定义10.1.2(1)含有平行边(或弧)的图称为多重图(Multigraph)。不含平行边(或弧)和环的图称为简单图(Simple Graph)。(2)具有n个结点和m条边的图称为(n,m)图,也称n阶图。一个(n,0)图称为零图,(1,0)图称为平凡图。,(3)任两结点之间都有边(或弧)的简单图称为完全
10、图(Complete graph)。n个结点的无向完全图记为Kn。,例10.1.2 在图10-2中,(a)是简单图且为完全图,但(b)是多重图,因为e4和e5是平行弧。,定理10.1.1 完全图Kn的边数为C(n,2)。,证明:因为在完全图Kn中任意两结点之间都有边相连,且n个结点中任取两点的组合数为C(n,2),故完全图Kn的边数为C(n,2)。,定义10.1.3 给每条边(或弧)都赋予权的图G=称为带权图或加权图(Weighted graph),记为G=,W为各边(或弧)权的集合。,定义10.1.4 设G=、G=是两个图。(1)若VV且EE,则称G为G的子图(Subgraph),G为G的母
11、图(Supergraph)。,(2)若G是G的子图,且VV或EE,则称G为G的真子图(Proper subgraph)。(3)若V=V且EE,则称G为G的生成子图或支撑子图(Spanning graph)。,定义10.1.5 G=,V1V且V1,以V1为结点集,以两端点均在V1中的全体边为边集的G的子图,称为V1的诱导子图;E1E且E1,以E1为边集,以E1中边关联的结点的全体为结点集的G的子图,称为E1的诱导子图。,定义10.1.6 若G=是一个n阶无向简单图,从Kn中删去G的所有边而得到的图称为G的补图或G的相对于完全图的补图,记为。,例10.1.3 在图10-3中,(b)、(c)、(d)
12、都是(a)的子图,也是真子图。(b)和(c)是(a)的生成子图。(d)既是结点集v2,v3,v4的诱导子图,也是边集v2,v3,v2,v4,v3,v4的诱导子图。(b)和(c)互为补图。,定义10.1.7 在有向图G=中,对于结点vV,以v为始点的弧的条数称为v的出度(Outdegree),记为d+(v);以v为终点的弧的条数称为v的入度(Indegree),记为d-(v);v的出度和入度之和称为v的度数(Degree),记为d(v)。,在无向图G=中,结点v的度数等于它关联的边数,记为d(v)。若v有环,规定该结点度数因环而增加2。,例10.1.4 在图10-1(a)中,d(v1)=3,d(
13、v2)=5,在图10-1(b)中,d+(v2)=2,d-(v2)=1。,定理10.1.2(握手定理)在图G=中,结点度数的总和等于边数的两倍,即 2|E|=。,证明:因为图G中的每条边(包括环)都有两个端点,所以加上一条边就使各结点度数总和增加2,因此图G中结点度数的总和等于边数的两倍,即=2|E|。,推论 图中度数为奇数的结点必为偶数个。,定理10.1.3 在任何有向图中,所有结点的入度之和等于所有结点的出度之和。,证明:因为每一条有向边必对应一个入度和一个出度,若某个结点具有一个入度或出度,则必关联一条有向边,所以有向图中各结点入度之和等于边数,各结点出度之和等于边数,故结论成立。,定义1
14、0.1.8 无向图中度数为1的结点称为悬挂结点,它对应的边称为悬挂边。各结点度数均相同的图称为正则图。各结点度数均为k的图称为k度正则图。,定理10.1.4 设G为任意n阶无向简单图,则每个结点的度数都不超过n-1。,证明:因G无平行边也无环,所以G中任意结点v至多与其余n-1个结点相邻,于是d(v)n-1。,定义10.1.9 对无向图(或有向图)G1=和G2=,若有双射f:V1V2,使得对任意u、vV1,有u,vE1 f(u),f(v)E2(或E1 E2),且其重数相同,则称G1同构于G2,记为G1G2。若G与其补图同构,称G为自补图。,例10.1.5 在图10-5中,(a)和(b)是同构的
15、。因为可作映射g,使得g(1)=v3,g(2)=v1,g(3)=v4,g(4)=v2。在映射g下,边,和分别映射到,和。,若两个图同构,则它们的结点数相同,边数相同,度数相同的结点数相同等等。但这并不是图同构的充分条件,如在图106中,(a)和(b)虽然满足以上3条件但不同构。(a)中的x应与(b)中的y对应,因为度数都是3。但(a)中的x与两个度数为1的结点u、v邻接,而(b)中的y仅与一个度数为1的结点w邻接。,例10.1.6(1)画出4阶3条边的所有非同构无向简单图;(2)画出3阶2条边的所有非同构有向简单图。,解:(1)由握手定理可知,所画的无向简单图各结点度数之和为23=6,最大度数
16、小于或等于3。于是所求无向简单图的度数列应满足的条件是:将6分成4个非负整数,每个整数均大于或等于0且小于或等于3,并且奇数个数为偶数。将这样的整数列排列出来只有下列三种情况:,3,1,1,1 2,2,1,1 2,2,2,0,所要求的全部非同构的图,如图10-7所示。,(2)由握手定理可知,所画的有向简单图各结点度数之和为4,且最大出度和最大入度均小于或等于2。故度数列与入度列、出度列分别为:度数列:1,2,1:入度列为0,1,1;0,2,0或1,0,1;出度列为1,1,0;1,0,1或0,2,0。,度数列:2,2,0 入度列为1、1、0;出度列为1、1、0;四个所求有向简单图如图10-8所示
17、。,10.2 路、回路和连通性,这一节的主要内容:路、回路、简单路、基本路、简单回路、基本回路、结点之间的可达性、连通图、连通分支、点割集、割点、边割集、割边、强连通、单向连通、弱连通。,定义10.2.1 给定图G=,设v0,vmV,边(或弧)e1,e2,emE,其中vi-1、vi是ei的端点(始点和终点),交替序列v0e1v1e2emvm称为连接v0到vm的路或通路(Path),通常简记为v0v1vm。路上边的数目称为该路的长度。当v0=vm时,称其为回路(Cycle,Circuit)。,定义10.2.2 在一条路中,若出现的所有边(或弧)互不相同,称其为简单路或迹;若出现的结点互不相同,称
18、其为基本路或初级通路(Simple path)。,定义10.2.3 在一条回路中,若出现的每条边(或弧)恰好一次,称其为简单回路;若出现的每个结点恰好一次,称其为基本回路或初级回路或圈(Simple cycle)。,定理10.2.1 在一个图中,若从结点u到v存在一条路,则必有一条从u到v的基本路。,证明:(构造性证明方法)若u到v的路已是基本路,结论成立。否则,在u到v的路中至少有一个结点比如w重复出现,于是经过w有一个回路C,删去回路C上的所有边(或弧)。若得到的u到v的路上仍有结点重复出现,则续行此法,直到u到v的路上没有重复的结点为止,此时所得即是基本路。,例10.2.1 在图10-9
19、中,v1v2v3v2v4是一条简单路但不是基本路,v1v2v3v4是一条基本路;v1v2v3v2v4v1是一简单回路但不是基本回路,v1v2v3v4v1是一基本回路。,定理10.2.2 在n阶图中,任何基本路的长度均不大于n-1,任何基本回路的长度均不大于n。,证明:在n阶图中,因为任何基本路和基本回路中都最多有n个结点,所以任何基本路的长度均不大于n-1,任何基本回路的长度均不大于n。,定义10.2.4 在一个图中,若从u到v存在路,或u=v,则称从u到v是可达(Accessible)。,定义10.2.5 若无向图G中任意两个结点之间都是可达的,则称G为连通图(Connected graph
20、),否则称G为非连通图(Disconnected graph)。一个图G的连通分支数记为(G)。连通分支就是图中具有连通性的最大子图。,定理10.2.3 若G是n阶m条边的连通无向图,则mn-1。该定理的逆否命题可用来判定一个图不连通。,例10.2.2 在图10-10中,(a)是连通的,而(b)是不连通的,其连通分支数为3。,定义10.2.6 设G=是无向连通图,若SV,使G删除S(将S中结点及其关联的边都一起删除)后所得子图G-S不连通,但删去S的任一个真子集所得子图仍是连通的,则称S是G的一个点割集。若G的点割集S=v,称v是G的割点(Cut vertex)。,若TE,使G删除T(将T中的
21、边从G中全删除)后所得子图G-T不连通,但删去T的任一个真子集所得子图仍是连通的,则称T是G的一个边割集。若G的边割集T=e,称e是G的割边或桥(Cut edge,Bridge)。,例10.2.3 在图10-11中,v3是割点;v1,v3,v2,v3是边割集,但没有割边。,定理10.2.4 一个连通无向图G中的结点v是割点 存在结点u和w,使得连接u和w的每条路都经过v。,证明:充分性。若连通图G存在结点u和w,使得连接u和w的每条路都经过v,则在子图G-v中u和w必不可达,故v是G的割点。,必要性。若v是G的割点,则G-v至少有两个连通分支G1=和G2=。现取uV1,wV2。因为G连通,故在
22、G中必有连接u和w的路。对任一条连接u和w的路,由于u、w在G-v中不可达,因此必通过v。故u和w之间的任意路必经过v。,定理10.2.5 一个连通无向图G中的边e是割边 存在结点u和w,使得连接u和w的每条路都经过e。,定理10.2.6 无向图G的边e是割边 e不包含在图的任何基本回路中。,证明:e=x,y是连通图G的割边当且仅当x、y在G-e的不同连通分支中,而后者等价于在G-e中不存在x到y的路,从而等价于e不包含在图的任何基本回路中。于是定理得证。,定义10.2.7 在简单有向图G中,若任何两个结点之间是相互可达的,则称G是强连通的(Strongly connected);若任何两个结
23、点之间,至少从一个结点到另一个结点是可达的,则称G是单向连通的或单侧连通的(Unilaterally connected);若有向图G的基图是连通的,则称G是弱连通的(Weakly connected)。,由定义可知,强连通图一定是单向连通的,单向连通图一定是弱连通的,但反之不然。,例10.2.4 在图10-12中,(a)是强连通的,(b)是单向连通非强连通的,(c)是弱连通非单向连通的。,定理10.2.7 有向图G是强连通的 G中有一回路,它至少通过每个结点一次。,证明:充分性。如G中有一回路,它至少通过每个结点一次,则G中任意两个结点相互可达,故G是强连通的。必要性。如有向图G是强连通的,
24、则任意两个结点相互可达。设V=v1,v2,vn,i为vi到vi+1的路,n为vn到v1的路,则1、2、n-1、n所围成的回路至少通过每个结点一次。,定义10.2.8 在图G中,结点u到结点v的最短路的长度称为u到v的距离,记作d。如u到v没有路,则d=+。它具有下列性质:d0(非负性)d=0 d+dd(三角不等式)注 u与v相互可达,d未必等于d。,10.4 欧拉图和哈密顿图,这一节的主要内容:欧拉回路、欧拉路、欧拉图、哈密顿回路、哈密顿路、哈密顿图。,定义10.4.1 通过G的每条边恰好一次的路称为欧拉路(Euler path)。通过图G的每条边恰好一次的回路称为欧拉回路(Euler cyc
25、le)。具有欧拉回路的图称为欧拉图(Euler graph)。约定平凡图为欧拉图。,例10.4.1 在图10-18中,(a)有欧拉路但无欧拉回路,(b)有欧拉回路,(c)既无欧拉路也无欧拉回路。,定理10.4.1 连通无向图G有欧拉回路 G中每个结点都是偶数度结点。,证明:必要性。若连通无向图G有欧拉回路,设C是G的一条欧拉回路,则C通过G的任一结点时必通过关联该点的两条边,而G中每条边仅出现一次,所以C所通过的每个结点必为偶数度结点。,充分性。若G中每个结点都是偶数度结点,因G连通,所以G中至少含有一个基本回路C1,从G中删除C1上的各边得到子图G1。若G1中仍然有边,由G1每个结点仍为偶数
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 课件
链接地址:https://www.31ppt.com/p-3584003.html