离散数学图论课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《离散数学图论课件.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 课件
- 资源描述:
-
1、l图论的内容十分丰富,应用相当广泛。许多学科图论的内容十分丰富,应用相当广泛。许多学科诸如诸如、计算机科、计算机科学等,都以图作为工具来解决实际问题和理论问题。学等,都以图作为工具来解决实际问题和理论问题。l它是它是等课程的先修内容。学习时应掌握等课程的先修内容。学习时应掌握好图论的好图论的、;善于把实;善于把实际问题际问题的问题,然后用图论的方法解决问的问题,然后用图论的方法解决问题。题。1 1、哥尼斯堡七桥问题、哥尼斯堡七桥问题2 2、环球周游问题、环球周游问题3 3、供应问题、供应问题l问:能否从某地出发,通过每桥恰好一次,走遍了七桥 后又返回到原处?l瑞士数学家在1736年发表了一篇论
2、文讨论这个问题,指出这个问题无解。普雷格尔河ABDCl问题转化成:图G中从某一结点出发找出一条路,它通过每条边恰好一次后回到原出发结点。l欧拉在这篇论文中提出了一条简单准则,确定七桥问题是不能解的。边代表桥每个点代表陆地l1859年,爱尔兰数学家哈密尔顿哈密尔顿爵士提出“环球周游”问题。l他用一个正十二面体的20个顶点代表世界上20个大城市(图(a),这个正十二面体同构于一个平面图(图(b)。l要求旅游者能否找到沿着正十二面体的棱,从某个顶点(即城市)出发,经过每个顶点(即每座城市)恰好一次,然后回到出发顶点?这便是著名的问题。费城伦敦北京巴黎柏林不论怎么画,总有交叉点工工厂厂1 1工工厂厂2
3、 2工工厂厂3 3矿矿山山1 1矿矿山山2 2矿矿山山3 3每条每条边边代表一条专用代表一条专用l有三个工厂和三个矿山,要从每个工厂到每个矿山各修一条专用铁路。这些铁路能否在同一个平面上并且?l图论中把这样的图称为K3,3。平面图中将看到该问题无解。一、图论研究的对象:自然界和人类社会中包含二元关系二元关系的系统。二、图论研究的方法:1 1、将一个系统抽象为、将一个系统抽象为 +构成的图。构成的图。点表示点表示,边表示事物之间的,边表示事物之间的。2 2、根据图的、根据图的进行分析。进行分析。因此,图论中的因此,图论中的与人们通常熟悉的与人们通常熟悉的是不同的。是不同的。1 1、哥尼斯堡七桥问
4、题、哥尼斯堡七桥问题2 2、环球周游问题、环球周游问题3 3、供应问题、供应问题路与回路欧拉图与汉密尔顿图平面图对偶图与着色图的矩阵表示树与生成树一、定义:一个图是一个三元组,其中:V(G)=v1,v2,vn是一个非空的结点集合,E(G)=e1,e2,em是边集合,G是边 到结点(无序偶或有序偶)集合上的。即:对于任一个边对于任一个边ei E,都有,都有V中的一个点对中的一个点对(vi,vj)或或 与之对应与之对应。例1:G=,其中:V(G)=a,b,c,d,e,E(G)=e1,e2,e3,e4,e5,e6,a ab bc cd de ee1e2e3e4e5e6G(e1)=,G(e2)=,G(
5、e3)=,G(e4)=,G(e5)=,G(e6)=。1.1.与无序结点对相关联的边。与无序结点对相关联的边。2.2.与有序结点对相关联的边。与有序结点对相关联的边。3.3.关联于同一个结点的两条边。关联于同一个结点的两条边。4.4.连接同一对结点间的多条边。连接同一对结点间的多条边。5.5.关联同一结点的一条边。关联同一结点的一条边。6.6.关联一条边的两个结点。关联一条边的两个结点。7.7.不与任何结点相关联的结点。不与任何结点相关联的结点。abcde二、其它概念a零图零图bce平凡图平凡图二、其它概念8.8.仅由孤立结点组成的图仅由孤立结点组成的图9.9.仅由一个孤立结点构成的图仅由一个孤
6、立结点构成的图10.10.每一条边都是无向边的图每一条边都是无向边的图abcd无向图无向图11.11.每一条都是有向边的图每一条都是有向边的图12.12.即包括有向边也包括无向边的图即包括有向边也包括无向边的图13.13.含有平行边的图含有平行边的图14.14.不含有平行边和环的图不含有平行边和环的图15.15.每一对结点间都有边相连的每一对结点间都有边相连的有向图,简单图有向图,简单图c ca ab b多重图多重图/混合图混合图a ab bc cd d.e e混合图混合图a ab bc cK3K3无向完全图无向完全图a ab bc c二、其它概念16.16.与该结点相关联的边的数目与该结点相
7、关联的边的数目(每个环在其对应的结点上每个环在其对应的结点上度数增加度数增加2),2),记作deg(v)或d(v);17.17.一个结点一个结点 射出的边的数目。射出的边的数目。记作18.18.射入一个结点射入一个结点 的边的数目。的边的数目。记作19.19.度数最大的点的度数度数最大的点的度数,记作:(G)=max d(v)|v V20.20.度数最小的点的度数度数最小的点的度数,记作:(G)=min d(v)|vV 点点a a的出度为的出度为1 1点点b b的入度为的入度为2 2 点点c c的度数为的度数为5 5 此图的最大度为此图的最大度为5 5(点(点c c的度数)的度数)此图的最小度
8、为此图的最小度为0 0(点(点e e的度数)的度数)二、其它概念abcde K K3 3无向完全图无向完全图a ab bc c21.21.在无向完全图中,给每条边确定一个方向后成为的图在无向完全图中,给每条边确定一个方向后成为的图K K3 3有向完全图有向完全图1 1a ab bc cK K3 3有向完全图有向完全图2 2a ab bc c二、其它概念任何图中,结点度数的总和等于边数的两倍,即:任何图中,结点度数的总和等于边数的两倍,即:deg(v)=2|E|deg(v)=2|E|,v v V V每条边关联两个点,每个边给每个点贡献的度数为每条边关联两个点,每个边给每个点贡献的度数为1 11
9、1条边条边-2-2个点个点22个度数。个度数。a ab bc cd d图图Ge ea ae ed de e边数边数度数度数1212n2n n2n 所以,度数的总和为边数所以,度数的总和为边数的两倍。的两倍。任何图中,度数为奇数的结点必是偶数个。任何图中,度数为奇数的结点必是偶数个。V为图为图G的结点集合,的结点集合,和和分别是分别是G中中和和的结点集合,根据定理的结点集合,根据定理1,有:,有:deg(v)v V1+deg(v)v V2=deg(v)v V=2|E|由于由于 deg(v)v V2 为偶数之和,必为偶数,而为偶数之和,必为偶数,而2|E|为偶数,为偶数,而而 deg(v)v V1
10、 为为|V1|个奇数相加之和,所以个奇数相加之和,所以|V1|必为偶数,即必为偶数,即:度数为奇数的结点必是偶数个。度数为奇数的结点必是偶数个。a ab bc cd de ef f图图G具有具有2个奇数点个奇数点聚会中成员之间相互握手,则与奇数个人握手的人数一定聚会中成员之间相互握手,则与奇数个人握手的人数一定是一个偶数,为什么?是一个偶数,为什么?解:采用解:采用结点结点表示表示人人,结点之间用,结点之间用边边相连,表示握手关系,相连,表示握手关系,1条边条边表示表示1次握手,通过这种方式,可以抽象成为一个次握手,通过这种方式,可以抽象成为一个简单无向图简单无向图,则与奇数个人握手的人对应的
11、结点的度数为则与奇数个人握手的人对应的结点的度数为奇数奇数,所以由定理,所以由定理2,可知此人数必为可知此人数必为偶数偶数。简单无向图简单无向图人人人人握手握手握手握手任何有向图中,所有点的入度之和等于所有点的出度之和。任何有向图中,所有点的入度之和等于所有点的出度之和。在有向图在有向图G中,每中,每一条有向边一条有向边对应一个对应一个入度入度和一个和一个出度出度,若一个若一个具有一个具有一个入度入度或或出度出度,则必关联一条有向边,即:边,则必关联一条有向边,即:边与与入度入度/出度出度是一一对应的;是一一对应的;a ab bc cd de ef f入度之和为入度之和为7=7=出度之和出度之
12、和 =边数边数a ab b1个个入入度度1个个出出度度每个每个的一个的一个入度入度/出度出度都是由一条边贡献的,也是一一对应的。都是由一条边贡献的,也是一一对应的。所以,有向图中各所以,有向图中各入度入度之和等于边数,各之和等于边数,各出度出度之和也等之和也等于边数,因此:于边数,因此:deg(v)-+v V=deg(v)+v V=|E|设图G有n个结点,n+1条边,证明G中至少有一个结点度数大于等于3。证明:假设所有结点度数都小于等于2。由于结点的度数总和:d(vi)=2|E|=2n 即:2(n+1)=2n,矛盾,故至少有一个结点度数大于等于3。a ab bc cd de ef fa ab
13、bc cabcdefn个结点的无向完全图个结点的无向完全图Kn的边数为的边数为:1/2 n(n-1)。证明:给定任何一个无向完全图证明:给定任何一个无向完全图G,设其边数为,设其边数为|E|。图图G中每个点的度数为中每个点的度数为n-1,则总度数为,则总度数为n(n-1),根据定理,根据定理1 deg(v)=2|E|=n (n-1),得:,得:|E|=1/2 n(n-1)。无向完全图无向完全图K K4 4无向完全图无向完全图K K5 5解:可以采用解:可以采用n个结点表示个结点表示n个药箱,放相同药的两个药箱对应结个药箱,放相同药的两个药箱对应结点之间连一条边,通过这种方式,可以得到一个点之间
14、连一条边,通过这种方式,可以得到一个Kn无向完全无向完全图,所以药的种类就是图,所以药的种类就是Kn的边数,有的边数,有1/2 n(n-1)种不同的药。种不同的药。药药箱箱1 1药药箱箱2 2药药箱箱i i药药箱箱k k药药箱箱3 3药药箱箱n nK Kn n无向完全图无向完全图定义定义:给定一个图给定一个图G,由,由和所有能使和所有能使G成为成为的的组成的图,称为组成的图,称为G的相对于完全图的补图,记做的相对于完全图的补图,记做G图图G G图图GG定义定义:设图设图G=,如果有图如果有图G1=,满足满足E1 E,V1 V,则称:则称:G1为为G的子图,若的子图,若G1包括包括G的所有结点,
15、则该子图称为的所有结点,则该子图称为G的生成子图。的生成子图。(a)(c)生成子图生成子图(d)生成子图生成子图(b)子图但不是生成子图子图但不是生成子图定义定义:G=是图G=的子图,若给定另外一个图G=使得E=E-E,且V中仅包含E的边所关联的结点,则称G是子图G图G的。G=G=G=G=是是G相对于相对于G的补图的补图那个是那个是G”相对于相对于G的补图的补图?定义定义:是否一样?是否一样?在图的定义中,强调的是、以及与点的,既没有涉及到联结两个结点的边的、和,也没有给出结点的或者规定。因此,给定的两个图,在它们的图形表示中(即在用小圆圈表示结点和用直线或曲线表示联结两个结点的边的图解中)可
16、能看起来很不一样,但实际上却是表示同一个图。因而,需要引入两图的同构概念。定义:设图G=和G=。若存在双射 g:V V,且e=(vi,vj)(或)是G的一条边,当且仅当e=(g(vi),g(vj)(或)是G的一条边,则称G与G同构,记为G1G2。由定义可以看出,两图同构的充要条件是:。例如:同构同构根据图的同构定义,可以给出图同构的必要条件如下:(1)结点数目相等;(2)边数相等;(3)度数相同的结点数目相等。同构同构根据图的同构定义,可以给出图同构的必要条件如下:(1)结点数目相等;(2)边数相等;(3)度数相同的结点数目相等。但这仅仅是必要条件而不是充分条件。例如:不同构不同构一、定义:一
17、个图是一个三元组,其中:V=v1,v2,vn是一个非空的结点集合,E=e1,e2,em是边集合,是边 到结点(无序偶或有序偶)集合上的。即:对于任一个边对于任一个边ei E,都有,都有V中的一中的一个点对个点对(vi,vj)或或 与之对应与之对应。三元组简写为G=。二、其它定义:u无向边、有向边、邻接边、平行边、环无向边、有向边、邻接边、平行边、环u邻接点、孤立结点邻接点、孤立结点u零图、平凡图、无向图、有向图、混合图、多重图、简单图、完全图零图、平凡图、无向图、有向图、混合图、多重图、简单图、完全图、有向完全图有向完全图u结点度数、出度、入度、图的最大度、图的最小度u子图、补图子图、补图u图
18、的同构图的同构三、定理1 1、任何图中,结点任何图中,结点等于等于的的2 2、任何图中,、任何图中,必是必是个。个。3 3、任何有向图中,所有点的、任何有向图中,所有点的所有点的所有点的。4 4、n n个结点的个结点的K Kn n的边数为的边数为:1/2 :1/2 n(n-1)n(n-1)。图的基本概念欧拉图与汉密尔顿图平面图对偶图与着色图的矩阵表示树与生成树 图论中,常常考虑从一个图论中,常常考虑从一个结点出发结点出发,沿,沿着一些着一些边连续移动边连续移动而达到另一个而达到另一个指定结点指定结点,这种依次由这种依次由点点和和边边组成的组成的序列序列就形成了就形成了路路的的概念。概念。路路与
19、与回路回路无向图无向图的的连通性连通性有向图有向图的的连通性连通性给定图给定图G=,v0,v1,vn V,e0,e1,en E,其中其中ei是关联于结点是关联于结点vi-1和和vi的边,则交替序列的边,则交替序列v0e1v1 e2,en vn 称为联结称为联结v0到到vn的的路路。若若v0vn,则这条路称为,则这条路称为回路回路。若一条路中所有边若一条路中所有边e0,e1,en均不相同,称为均不相同,称为迹迹;若一条路中所有点若一条路中所有点v0,v1,vn均不相同,称为均不相同,称为通路通路;除除v0vn外其余结点均不相同的路,称为外其余结点均不相同的路,称为圈圈。由定义可知,由定义可知,必
20、是必是,反之不一定成立。,反之不一定成立。的的可由其可由其表示。表示。路:路:v1 v1 e2 e2 v3 v3 v2 v2 v3 v3 e4 e4 v2 v2 e6 e6 v5 v5 e7 e7 v3v3:迹:迹:v5 v5 e8e8 v4 v4 e5e5 v2 v2 e6e6 v5 v5 e7e7 v3 v3 e4e4 v2v2v1v2v3v4v5e6e5e4e3e2e1e7e8路:点边序列路:点边序列 v1v2v3v4v5e6e5e4e3e2e1e7e8迹:边各不相同迹:边各不相同通路:通路:v4 e8 v5 e6 v2 e1 v1 e2 v3 圈:圈:e1 v1 e2 v3 e7 v5
展开阅读全文