离散数学--61图的基本概念.ppt
- 文档编号:1024813
- 上传时间:2022-10-15
- 格式:PPT
- 页数:28
- 大小:476KB
离散数学--61图的基本概念.ppt
《离散数学--61图的基本概念.ppt》由会员分享,可在线阅读,更多相关《离散数学--61图的基本概念.ppt(28页珍藏版)》请在冰豆网上搜索。
课件,1,第6章图,课件,2,第6章图,6.1图的基本概念6.2图的连通性6.3图的矩阵表示6.4几种特殊的图,课件,3,6.1图的基本概念,6.1.1无向图与有向图6.1.2顶点的度数与握手定理6.1.3简单图、完全图、正则图、圈图、轮图、方体图6.1.4子图、补图6.1.5图的同构,课件,4,无序对与多重集合,无序对:
2个元素构成的集合,记作(a,b)无序积:
AB=(x,y)|xAyB例如A=a,b,c,B=1,2AB=BA=(a,1),(b,1),(c,1),(a,2),(b,2),(c,2)AA=(a,a),(a,b),(a,c),(b,b),(b,c),(c,c)BB=(1,1),(1,2),(2,2)多重集合:
元素可以重复出现的集合重复度:
元素在多重集合中出现的次数例如S=a,b,b,c,c,c,a,b,c的重复度依次为1,2,3,课件,5,无向图,定义6.1无向图G=,其中V称为顶点集,其元素称为顶点或结点;E是VV的多重子集,称为边集,其元素称为无向边,简称边.有时用V(G)和E(G)分别表示V和E例如,G=如图所示,其中V=v1,v2,v5E=(v1,v1),(v1,v2),(v2,v3),(v2,v3),(v2,v5),(v1,v5),(v4,v5),课件,6,有向图,定义6.2有向图D=,其中V称为顶点集,其元素称为顶点或结点;E是VV的多重子集,称为边集,其元素称为有向边,简称边.有时用V(D)和E(D)分别表示V和E有限图:
V,E都是有穷集合的图n阶图:
n个顶点的图零图:
E=的图平凡图:
1阶零图,课件,7,顶点和边的关联与相邻,设无向图G=,ek=(vi,vj)E,称vi,vj为ek的端点,ek与vi(vj)关联.若vi=vj,则称ek为环.无边关联的顶点称作孤立点.若vivj,则称ek与vi(vj)的关联次数为1;若vi=vj,则称ek与vi的关联次数为2;若vi不是边e的端点,则称e与vi的关联次数为0.设vi,vjV,ek,elE,若(vi,vj)E,则称vi,vj相邻;若ek,el有一个公共端点,则称ek,el相邻.对有向图有类似定义.设ek=vi,vj是有向图的一条边,又称vi是ek的始点,vj是ek的终点,vi邻接到vj,vj邻接于vi,课件,8,顶点的度数,设G=为无向图,vV,v的度数(度)d(v):
v作为边的端点次数之和悬挂顶点:
度数为1的顶点悬挂边:
与悬挂顶点关联的边G的最大度(G)=maxd(v)|vVG的最小度(G)=mind(v)|vV例如d(v5)=3,d(v2)=4,d(v1)=4,(G)=4,(G)=1,v4是悬挂顶点,e7是悬挂边,e1是环,课件,9,顶点的度数(续),设D=为有向图,vV,v的出度d+(v):
v作为边的始点次数之和v的入度d(v):
v作为边的终点次数之和v的度数(度)d(v):
v作为边的端点次数之和d(v)=d+(v)+d-(v)+(D),+(D),(D),(D),(D),(D)悬挂顶点,悬挂边例如d+(a)=4,d-(a)=1,d(a)=5,d+(b)=0,d-(b)=3,d(b)=3,+=4,+=0,=3,=1,=5,=3,课件,10,握手定理,定理6.1任何图(无向图和有向图)的所有顶点度数之和都等于边数的2倍.证图中每条边(包括环)均有两个端点,所以在计算各顶点度数之和时,每条边均提供2度,m条边共提供2m度.推论任何图(无向图和有向图)都有偶数个奇度顶点定理6.2有向图所有顶点的入度之和等于出度之和等于边数证每条边恰好提供1个入度和1个出度,课件,11,图的度数列,设无向图G的顶点集V=v1,v2,vnG的度数列:
d(v1),d(v2),d(vn)如右图度数列:
4,4,2,1,3设有向图D的顶点集V=v1,v2,vnD的度数列:
d(v1),d(v2),d(vn)D的出度列:
d+(v1),d+(v2),d+(vn)D的入度列:
d(v1),d(v2),d(vn)如右图度数列:
5,3,3,3出度列:
4,0,2,1入度列:
1,3,1,2,课件,12,实例,
(2)能,例1下述2组数能成为无向图的度数列吗?
(1)3,3,3,4;
(2)1,2,2,3,解
(1)不可能.有奇数个奇数.,课件,13,实例,例2已知图G有10条边,4个3度顶点,其余顶点的度数均小于等于2,问G至少有多少个顶点?
解设G有n个顶点.由握手定理,43+2(n-4)210解得n8,例3已知5阶有向图的度数列和出度列分别为3,3,2,3,3和1,2,1,2,1,求它的入度列,解2,1,1,1,2,课件,14,实例,例4证明不存在具有奇数个面且每个面都具有奇数条棱的多面体.,证用反证法.假设存在这样的多面体,作无向图G=,其中V=v|v为多面体的面,E=(u,v)|u,vVu与v有公共的棱uv.根据假设,|V|为奇数且vV,d(v)为奇数.这与握手定理的推论矛盾.,课件,15,实例,例5设9阶无向图的每个顶点的度数为5或6,证明它至少有5个6度顶点或者至少有6个5度顶点.,证讨论所有可能的情况.设有a个5度顶点和b个6度顶点,
(1)a=0,b=9;
(2)a=2,b=7;(3)a=4,b=5;(4)a=6,b=3;(5)a=8,b=1
(1)(3)至少5个6度顶点,(4)和(5)至少6个5度顶点,方法二假设b9-5=4.由握手定理的推论,a6,课件,16,简单图,定义6.4在无向图中,关联同一对顶点的2条或2条以上的边,称为平行边,平行边的条数称为重数在有向图中,具有相同始点和终点的2条或2条以上的边称为有向平行边,简称平行边,平行边的条数称为重数含平行边的图称为多重图既无平行边也无环的图称为简单图,课件,17,实例,e5和e6是平行边重数为2不是简单图,e2和e3是平行边,重数为2e6和e7不是平行边不是简单图,课件,18,完全图与正则图,无向完全图:
每对顶点之间都有一条边的无向简单图.n阶无向完全图记作Kn,顶点数n,边数m=n(n-1)/2,=n-1有向完全图:
每对顶点之间均有两条方向相反的边的有向简单图.顶点数n,边数m=n(n-1),+=+=-=-=n-1,=2(n-1)k-正则图:
每个顶点的度数均为k的无向简单图顶点数n,边数m=kn/2,课件,19,实例,K3,K5,3阶有向完全图,2正则图,4正则图,3正则图彼得松图,课件,20,圈图与轮图,无向圈图Cn=,其中V=v1,v2,vn,E=(v1,v2),(v2,v3),(vn-1,vn),(vn,v1),n3有向圈图Cn=,其中V=v1,v2,vn,E=,n3轮图Wn:
无向圈图Cn-1内放一个顶点,且与圈图的每个顶点之间恰有一条边,n4,课件,21,方体图,n方体图Qn=是2n阶无向简单图,其中V=v|v=a1a2an,ai=0,1,i=1,2,nE=(u,v)|u,vVu与v恰好有一位数字不同.,课件,22,子图,定义6.10设G=,G=是2个图(同为无向图,或同为有向图)若VV且EE,则称G为G的子图,G为G的母图,记作GG若GG且V=V,则称G为G的生成子图若VV或EE,称G为G的真子图设VV且V,以V为顶点集,以两端点都在V中的所有边为边集的G的子图称作V的导出子图,记作GV设EE且E,以E为边集,以E中边关联的所有顶点为顶点集的G的子图称作E的导出子图,记作GE,课件,23,实例,
(1),
(2),(3)是
(1)的子图,
(2),(3)是真子图,
(1)是母图.
(1),(3)是
(1)的生成子图.
(2)是d,e,f的导出子图,也是e5,e6,e7导出子图.(3)是e1,e3,e5,e7的导出子图,课件,24,补图,定义6.11设G=为n阶无向简单图,记=VV-E,称为G的补图,课件,25,图的同构,定义6.12设G1=,G2=为两个无向图(有向图),若存在双射函数f:
V1V2,使得对于任意的vi,vjV1,(vi,vj)E1(E1)当且仅当(f(vi),f(vj)E2(E2)并且(vi,vj)()与(f(vi),f(vj)()的重数相同,则称G1与G2是同构的,记作G1G2.,课件,26,实例,课件,27,实例,例6画出4阶3条边的所有非同构的无向简单图解总度数为6,分配给4个顶点,最大度为3,且奇度顶点数为偶数,有下述3个度数列:
(1)1,1,1,3;
(2)1,1,2,2;(3)0,2,2,2.,1,1,1,3,1,1,2,2,0,2,2,2,课件,28,实例,例7画出3个以1,1,1,2,2,3为度数列的非同构的无向简单图,
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 61 基本概念