离散数学7-1图概念7-2路与回路.ppt
《离散数学7-1图概念7-2路与回路.ppt》由会员分享,可在线阅读,更多相关《离散数学7-1图概念7-2路与回路.ppt(60页珍藏版)》请在三一办公上搜索。
1、1,离 散 数 学Discrete Mathematics,山东科技大学信息科学与工程学院,第七章 图论,图论是近年来发展迅速而又应用广泛的一门学科。本章主要讲授图论的基本概念和定理。图论:数据结构、操作系统、编译原理、计算机网络原理的基础要求:熟练掌握图的基本概念和定理并能够进行简单应用。,7-1 图的基本概念,本节要熟悉下列概念(26个):,图、,无向边、,有向边、,起始结点、,终止结点、,无向图、,有向图、,混合图、,邻接点、,邻接边、,孤立结点、,零图、,平凡图、,结点的度数、,图的最大度、最小度、,结点的入度、,结点的出度、,平行边、,简单图、,完全图、,补图、,子图、,生成子图、,
2、子图的相对于图的补图、,图的同构,多重图、,图的定义点的度数特殊的图图同构,7-1 图的基本概念,一、图的定义,定义7-1.1 图(graph)G由一个三元组表示,其中:非空集合V(G)=v1,v2,vr 称为图G的结点集,其成员vi(i=1,2,r)称为结点或顶点(nodes or vertices);集合 E(G)=e1,e2,es 称为图G的边集,其成员ej(j=1,2,s)称为边(edges)。函数G:E(G)(V(G),V(G),称为边与顶点的关联映射(associatve mapping),例1:G=其中V(G)=a,b,c,d,E(G)=e1,e2,e3,e4,e5,e6,G(e
3、1)=(a,b),G(e2)=(a,c),G(e3)=(b,d),G(e4)=(b,c),G(e5)=(d,c),G(e6)=(a,d),若把图中的边ej看作总是和两个结点关联,那么一个图亦简记为G=,其中非空集合V称为图G的结点集,集合 E称为图G的边集。若边ej与结点无序偶(vj,vk)关联,那么称该边为无向边。若边ej与结点序偶关联,那么称该边为有向边。,例2:G=其中V(G)=a,b,c,d,E(G)=e1,e2,e3,e4,e5,e6,G(e1)=(a,b),G(e2)=(a,c),G(e3)=(b,d),G(e4)=(b,c),G(e5)=(d,c),G(e6)=(a,d),一个图
4、与结点、连接结点的边、边与结点的关联有关。,2、有向边&无向边无向边:如果E中边ei对应V中的结点对是无序的(u,v)称ei是无向边,记ei=(u,v),称u,v是ei的两个端点。有向边:如果ei与结点有序对相对应,称ei是有向边,记ei=,称u为ei的始点,v为ei的终点。,3、图的分类:无向图:每条边均为无向边的图称为无向图。有向图:每条边均为有向边的图称为有向图。混合图:有些边是无向边,有些边是有向边的图称为混合图。,1、G1=是无向图,其中V1=V1,V2,V3,V4,V5,V6,E1=e1,e2,e3,e4,e5,e6,e1=(V1,V3),e2=(V1,V4),e2=(V2,V4)
5、,e3=(V3,V4),e4=(V3,V6),e5=(V4,V5),e6=(V5,V6),3、G3=是混合图,V3=V1,V2,V3,V4,E3=,(V1,V3),(V4,V2),2、G2=是有向图,其中V2=V1,V2,V3,V4,E=,,练习:画出下面的图。,4、点和边的关联:如ei=(u,v)或ei=称u,v与ei关联。,5、点与点的相邻:关联于同一条边的结点称为邻接点。,6、边与边的邻接:关联于同一结点的边称为邻接边。,7、孤立结点:不与任何结点相邻接的结点称为孤立结点。,8、零图:仅有孤立结点的图。,9、平凡图:仅有一个孤立结点的图。,10、自回路(环):关联于同一结点的边称为自回路
6、,或称为环。,11、平行边:在有向图中,始点和终点均相同的边称为平行边,无向图中若两点间有多条边,称这些边为平行边,两点间平行边的条数称为边的重数。,图的定义点的度数特殊的图图同构,7-1 图的基本概念,二、点的度数1、点的度数的定义定义7-1.2:在图G=,vV,与结点v关联的边数称为该点的度数,记为deg(v)。孤立结点的度数为0。,2、出度与入度定义7-1.3:在有向图中,vV,以v为始点的边数称为该结点的出度,记作deg+(v);以v为终点的边数称为该结点的入度,记作deg-(v)。显然有deg(v)=deg+(v)+deg-(v),如:G1是无向图,deg(v1)=3,deg(v2)
7、=1G2是有向图,deg+(v1)=3,deg-(v1)=2,deg(v1)=5,,3、最大度和最小度:图G最大度记为(G)=maxdeg(v)|vV(G),最小度数记为(G)=mindeg(v)|vV(G)。,4、定理7-1.1:每个图中,结点度数总和等于边数的两倍。即 deg(v)=2|E|vV 该定理又称握手定理,证明 因为每条边必关联两个结点,而一条边给予关联的每个结点的度数为1。因此在每个图中,结点度数总和等于边数的两倍。,5、定理7-1.2 在任何图中,度数为奇数的结点必定是偶数个。,证明:设G中奇数度结点集合为V1,偶数度结点集合为V2,则有:deg(v)+deg(v)=deg(
8、v)=2|E|vV1 vV2 vV由于 deg(v)是偶数之和必为偶数,而2|E|是偶数,vV2故得 deg(v)是偶数,而各个deg(vi)(viV1)是奇数,vV1这就要求偶数个deg(vi)求和,即|V1|是偶数。,6、定理7-1.3:在任何有向图中,所有结点的入度之和等于所有结点的出度之和,且均等于边数。,证明 因为每一条有向边必对应一个入度和一个出度,若一个结点具有一个入度或出度,则必关联一条有向边,所以有向图中,各结点入度之和等于边数,各结点出度之和也等于边数。因此,在任何有向图中,所有结点的入度之和等于所有结点的出度之和。,图的定义点的度数特殊的图图同构,7-1 图的基本概念,三
9、、特殊的图1、多重图定义7-1.4:含有平行边的图称为多重图。,2、简单图:不含平行边和环的图称为简单图。,3、完全图定义7-1.5:简单图G=中,若每一对结点间均有边相连,则称该图为完全图。有n个结点的无向完全图记为Kn。,无向完全图:每一条边都是无向边 不含有平行边和环 每一对结点间都有边相连,如果在Kn中,对每一条边任意确定一个方向,则称该图为n个结点的有向完全图。显然它的边数为n(n-1)/2。,定理7-1.4 在任何图中,n个结点的无向完全图Kn的边数为n(n-1)/2。,证明:n个结点中任取两个结点的组合数为 Cn2=n(n-1)/2故的边数为|E|=n(n-1)/2,5、相对于完
10、全图的补图定义7-1.6:给定一个简单图G,由G中所有结点和所有能使G成为完全图的添加边组成的图,称为G的相对于完全图的补图,或简称为G的补图,记为G。即G=,G=,其中E2=(u,v)u,vV,(u,v)E1。,6、子图定义7-1.7:设图G=,如果有图G=,且EE,VV,则称G为G的子图。当V=V时,则称G为G的生成子图。,例如,下图,图(b)的G和图(c)的G 都是图(a)的K5的子图。,7、相对于图G的补图定义7-1.8:设G=是G=的子图,若给定另一个图G”=使得E”=E-E,且V”中仅包含E”的边所关联的结点,则称G”是子图G相对于图G的补图。,例如,上图(b)的G是图(c)的G
11、相对于图(a)的K5的补图。,图的定义点的度数特殊的图图同构,7-1 图的基本概念,四、同构定义7-1.9:设图G=及图G=,如果存在一一对应的映射g:VV且e=(vi,vj)(或)是G的一条边,当且仅当e=(g(vi),g(vj)(或)是G的一条边,则称G与G同构,记作G G。,两图同构的一些必要条件:1.结点数目相同;2.边数相等;3.度数相同的结点数目相等。,以上几个条件不是两个图同构的充分条件。见279页图7-1.10同构必须是结点和边分别存在一一对应。,28,作业,279页:(5)(6),7-2 路与回路,在现实世界中,常常要考虑这样的问题:如何从一个图中的给定结点出发,沿着一些边连
12、续移动而达到另一指定结点,这种依次由点和边组成的序列,就形成了路的概念。,学习本节要熟悉如下术语(22个):,路、,路的长度、,迹、,回路、,通路、,圈、,连通、,连通分支、,点割集、,连通图、,割点、,点连通度、,边割集、,边连通度、,割边、,可达、,单侧连通、,强连通、,强分图、,弱连通、,弱分图、,单侧分图,掌握5个定理,一个推论。,路无向图的连通性有向图的连通性,7-2 路与回路,一、路,定义7-2.1 给定图G=,设 v0,v1,vnV,e1,enE,其中ei是关联于结点vi-1,vi的边,交替序列v0e1v1e2envn称为结点v0到vn的路(path)。v0和vn分别称为路的起点
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 概念 回路
链接地址:https://www.31ppt.com/p-5295524.html