离散数学课件图论(3).ppt
《离散数学课件图论(3).ppt》由会员分享,可在线阅读,更多相关《离散数学课件图论(3).ppt(46页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第四部分第四部分第四部分第四部分图论图论图论图论 School of Information Science and Engineering图图 论论实例实例1 1:多用户操作系统中的进程状态变换 School of Information Science and Engineering实例实例2:“七桥问题”哥尼斯堡城的普雷格尔河图图 论论ABCDABCDe1e5e7e6e3e4e2V=A,B,C,D E=e1,e2,e3,e4,e5,e6,e7后来欧拉证明这样的路径根本不存在。后来欧拉证明这样的路径根本不存在。School of Information Science and Engine
2、ering图图 论论实例实例3:在机械加工中,经常需要在一块金属薄板上钻若干孔(或者是机械手在印刷电路板上安装电子元件)问如何确定钻孔的次序,使之加工的时间最短?类似的问题:旅行最优问题,工程最优问题,成本最低.School of Information Science and Engineering第十四章第十四章 图的基本概念图的基本概念v主要内容主要内容图通路与回路图的连通性图的矩阵表示 School of Information Science and Engineering14-1 14-1 图图定义定义一个图表示为一个图表示为 G=,其中其中 V(G):G的结点的非空集合,简记成的
3、结点的非空集合,简记成V。E(G):是是G的边的集合,的边的集合,有时简记成有时简记成E。v结点结点(Vertices):用用 表示表示,旁边标上该结点的名称。旁边标上该结点的名称。v边边(Edges)有向边有向边:带箭头的弧线。带箭头的弧线。从从u到到v的边的边表示成表示成 无向边无向边:不带箭头的弧线。不带箭头的弧线。u和和v间的边间的边表示成表示成(u,v)School of Information Science and Engineering14-1 14-1 图图实例实例 1.设设 V1=v1,v2,v5,E1=(v1,v1),(v1,v2),(v2,v3),(v2,v3),(v2
4、,v5),(v1,v5),(v4,v5)则则 G1=为一无向图为一无向图2.设设 V2=a,b,c,d,E2=,则则 G2=为一有向图为一有向图 School of Information Science and Engineering14-1 14-1 图图相关概念相关概念:1.图图 可用可用G泛指图(无向的泛指图(无向的G或有向的或有向的D)V(G),E(G),V(D),E(D)n阶图阶图2.n 阶零图与平凡图(阶零图与平凡图(n 为顶点个数)为顶点个数)3.用用 ek 表示无向边或有向边表示无向边或有向边4.顶点与边的关联关系顶点与边的关联关系 关联、关联次数关联、关联次数 环环 孤立点
5、孤立点5.顶点之间的相邻与邻接关系顶点之间的相邻与邻接关系 School of Information Science and Engineering14-1 14-1 图图6.邻域与关联集邻域与关联集 v V(G)(G为无向图为无向图)v 的关联集的关联集 v V(D)(D为有向图为有向图)7.标定图与非标定图标定图与非标定图8.基图基图 School of Information Science and Engineering14-1 14-1 图图v多重图与简单图多重图与简单图 简单图简单图:不含有环和平行边的图。:不含有环和平行边的图。多重图多重图:含有平行边的图。:含有平行边的图。S
6、chool of Information Science and Engineering14-1 14-1 图图定定义义 (1)设设G=为无向图为无向图,v V,d(v)v的度数的度数,简称度简称度 (2)设设D=为有向图为有向图,v V,d+(v)v的出度的出度 d(v)v的入度的入度 d(v)v的度或度数的度或度数 (3)(G),(G)(4)+(D),+(D),(D),(D),(D),(D)(5)奇度顶点与偶度顶点奇度顶点与偶度顶点 School of Information Science and Engineering14-1 14-1 图图握手定理握手定理 定理定理14-1.1 设设
7、G=为为任意无向任意无向图图,V=v1,v2,vn,|E|=m,则则证明:证明:G中每条边中每条边(包括环包括环)均有两个端点,所以在计算均有两个端点,所以在计算G中各中各顶点度数之和时,每条边均提供顶点度数之和时,每条边均提供2度,度,m 条边共提供条边共提供 2m 度。度。定理定理14-1.2 设设D=为为任意有向任意有向图图,V=v1,v2,vn,|E|=m,则则推推论论 任何任何图图(无向或有向无向或有向)中,奇度中,奇度顶顶点的个数是偶数。点的个数是偶数。School of Information Science and Engineering14-1 14-1 图图无向图的结点度序
8、列无向图的结点度序列 V=v1,v2,vn为无向图为无向图G的顶点集,称的顶点集,称d(v1),d(v2),d(vn)为为G的的度数序列度数序列。非负整数列非负整数列d=(d1,d2,dn)是是可图化可图化的,是的,是可简单图化可简单图化的。的。n阶阶k正则图正则图 一个无向简单图一个无向简单图G中中,如果如果(G)=(G)=k,则称,则称G为为k-正则图正则图。Kn是是 n 1正则图正则图 School of Information Science and Engineering14-1 14-1 图图练习练习:1.下面哪些数的序列下面哪些数的序列,可能是一个图度数序列可能是一个图度数序列?
9、如果如果是,是,试画试画出它的图出它的图。哪些是哪些是可可简单图简单图化的化的?a)(1,2,3,4,5)b)(2,2,2,2,2)c)(1,2,3,2,4)2.已知无向简单图已知无向简单图G中中,有有10条边条边,4个个3度结点度结点,其余结点的度其余结点的度均小于或等于均小于或等于2,问问G中至少有多少个结点中至少有多少个结点?为什么为什么?School of Information Science and Engineering14-1 14-1 图图图的同构图的同构 设设G1=,G2=为两个无向图为两个无向图(两个有两个有向向图图),若存在双射函数,若存在双射函数f:V1V2,对于对于
10、vi,vj V1,(vi,vj)E1 当且仅当当且仅当(f(vi),f(vj)E2 (E1 当且仅当当且仅当 E2)并且并且,(vi,vj)()与)与(f(vi),f(vj)()的重数相)的重数相同,则称同,则称G1与与G2是是同构同构的,记作的,记作G1 G2。v图之间的同构关系具有自反性、对称性和传递性图之间的同构关系具有自反性、对称性和传递性v能找到同构的必要条件,但它们全不是充分条件:能找到同构的必要条件,但它们全不是充分条件:边数相同,顶点数相同边数相同,顶点数相同;度数序列相同度数序列相同;对应顶点的关联集及邻域的元素个数相同,等等对应顶点的关联集及邻域的元素个数相同,等等v若破坏
11、必要条件,则两图不同构若破坏必要条件,则两图不同构v判断两个图同构是个难题判断两个图同构是个难题 School of Information Science and Engineering14-1 14-1 图图图同构实例图同构实例 (1)(2)(3)(4)图中,图中,(1)(1)与与(2)(2)不同构(度数列不同),不同构(度数列不同),(3)(3)与与(4)(4)也不同构也不同构.(1)(2)问:问:图中图中(1)(1)与与(2)(2)的度数序列相同,的度数序列相同,它们同构吗?为什它们同构吗?为什么?么?School of Information Science and Engineer
12、ing14-1 14-1 图图完全图完全图无向完全图无向完全图G是个简单图是个简单图,如果每对不同如果每对不同顶点顶点都都相邻,相邻,则则称称G是个无向完全图。如果是个无向完全图。如果G有有n个结点个结点,则记作则记作Kn。简单性质:简单性质:边数边数有向完全图有向完全图G是个有向简单图,如果任意两个不同顶点之是个有向简单图,如果任意两个不同顶点之间都有方向相反的边间都有方向相反的边,则称它是有向完全图。则称它是有向完全图。简单性质:边数简单性质:边数竞赛图竞赛图基图为基图为Kn的有向简单图。的有向简单图。School of Information Science and Engineerin
13、g14-1 14-1 图图子图子图定义:定义:G=,G=(1)GG G 为为G的的子图子图,G为为G 的的母图母图(2)若若GG且且V=V,则称,则称G 为为G的的生成子图生成子图(3)若若VV或或EE,称,称G 为为G的的真子图真子图(4)V(VV且且V)的)的导出子图导出子图,记作,记作GV(5)E(EE且且E)的)的导出子图导出子图,记作,记作GE School of Information Science and Engineering14-1 14-1 图图例例 画出画出K4的所有非同构的生成子图。的所有非同构的生成子图。School of Information Science a
14、nd Engineering14-1 14-1 图图补图补图定义:定义:设设G=为为n阶无向简单图,以阶无向简单图,以V为顶点集,以所有使为顶点集,以所有使G成为完全图成为完全图Kn的添加边组成的集合为边集的图,称为的添加边组成的集合为边集的图,称为G的的补图补图,记作,记作 。若若G ,则称则称G是是自补图自补图。相对于相对于K4,求上面图中所有图的补图,并指出哪些是自补图。求上面图中所有图的补图,并指出哪些是自补图。问:互为自补图的两个图的边数有何关系?问:互为自补图的两个图的边数有何关系?School of Information Science and Engineering14-2
15、14-2 通路与回路通路与回路定义定义 给定图给定图G=(无向或有向的),(无向或有向的),G中中顶点与顶点与边的交替序列边的交替序列 =v0e1v1e2elvl,vi 1,vi 是是 ei 的端点。的端点。(1)通路与回路:通路与回路:为为通路通路;若;若 v0=vl,为为回路回路,l 为为回路长回路长 度度。(2)简单通路与回路:所有边各异,简单通路与回路:所有边各异,为为简单通路简单通路,又若,又若v0=vl,为为简单回路。简单回路。(3)初级通路初级通路(路径路径)与初级回路与初级回路(圈圈):中所有顶点各异,则中所有顶点各异,则称称 为为初级通路初级通路(路径路径),又若除,又若除v
16、0=vl,所有的顶点各不相,所有的顶点各不相同且所有的边各异,则称同且所有的边各异,则称 为为初级回路初级回路(圈圈)。(4)复杂通路与回路:有边重复出现。复杂通路与回路:有边重复出现。School of Information Science and Engineering14-2 14-2 通路与回路通路与回路表示法表示法 定义表示法定义表示法 只用边表示法只用边表示法 只用顶点表示法(在简单图中)只用顶点表示法(在简单图中)混合表示法混合表示法环环(长为(长为1的圈)的长度为的圈)的长度为1,两条平行边构成的圈长度为,两条平行边构成的圈长度为 2,无向简单图中,圈长,无向简单图中,圈长
17、3,有向简单图中圈的长度,有向简单图中圈的长度 2.不同的圈不同的圈(以长度(以长度 3的为例)的为例)定义意义下定义意义下 无向图:图中长度为无向图:图中长度为l(l 3)的圈,定义意义下为)的圈,定义意义下为2l个个 有向图:图中长度为有向图:图中长度为l(l 3)的圈,定义意义下为)的圈,定义意义下为l个个 同构意义下:长度相同的圈均为同构意义下:长度相同的圈均为1个个 School of Information Science and Engineering14-2 14-2 通路与回路通路与回路定理定理14-2.1 在在n 阶图阶图G中,若从顶点中,若从顶点vi 到到vj(vi vj
18、)存在通路,)存在通路,则从则从vi 到到 vj 存在长度小于或等于存在长度小于或等于n 1 的通路的通路.推论推论 在在 n 阶图阶图G中,若从顶点中,若从顶点vi 到到 vj(vi vj)存在通路,则)存在通路,则从从vi 到到vj 存在长度小于或等于存在长度小于或等于n 1的初级通路(路径)的初级通路(路径).定理定理14-2.2 在一个在一个n 阶图阶图G中,若存在中,若存在 vi 到自身的回路,则到自身的回路,则一定存在一定存在vi 到自身长度小于或等于到自身长度小于或等于 n 的回路的回路.推论推论 在一个在一个n 阶图阶图G中,若存在中,若存在 vi 到自身的简单回路,则一到自身
19、的简单回路,则一定存在长度小于或等于定存在长度小于或等于n 的初级回路的初级回路.School of Information Science and Engineering14-3 14-3 图的连通性图的连通性1.无向图的连通性无向图的连通性两个结点连通两个结点连通在无向图中,结点在无向图中,结点u和和v之间如果存在一条之间如果存在一条通通路路,则称则称u与与v是连通的是连通的。记作。记作 u v 规定规定:对任何结点对任何结点u,u u。结点之间的连通关系是个等价关系结点之间的连通关系是个等价关系 令令G=是无向图,是无向图,R是是V上连通关系,即上连通关系,即 R=|u,v V且且u v
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 课件
限制150内