离散数学图的基本概念.pptx

离散数学图的基本概念

6、1图得基本概念6、1、1无向图与有向图6、1、2顶点得度数与握手定理6、1、3简单图、完全图、正则图、圈图、轮图、方体图6、1、4子图、补图6、1、5图得同构

无序对与多重集合无序对:2个元素构成得集合,记作(a,b)无序积:A?B={(x,y)|x?A?y?B}例如A={a,b,c},B={1,2}A?B=B?A={(a,1),(b,1),(c,1),(a,2),(b,2),(c,2)}A?A={(a,a),(a,b),(a,c),(b,b),(b,c),(c,c)}B?B={(1,1),(1,2),(2,2)}多重集合:元素可以重复出现得集合重复度:元素在多重集合中出现得次数例如S={a,b,b,c,c,c},a,b,c得重复度依次为1,2,3

无向图定义6、1无向图G=V,E,其中V??称为顶点集,其元素称为顶点或结点;E就是V?V得多重子集,称为边集,其元素称为无向边,简称边、有时用V(G)和E(G)分别表示V和E例如,G=V,E如图所示,其中V={v1,v2,…,v5}E={(v1,v1),(v1,v2),(v2,v3),(v2,v3),(v2,v5),(v1,v5),(v4,v5)}e1e2e3e4e5e6e7v5v1v2v3v4

有向图定义6、2有向图D=V,E,其中V??称为顶点集,其元素称为顶点或结点;E就是V?V得多重子集,称为边集,其元素称为有向边,简称边、有时用V(D)和E(D)分别表示V和E有限图:V,E都就是有穷集合得图n阶图:n个顶点得图零图:E=?得图平凡图:1阶零图e1e2e3e4e5e6e7dabc

顶点和边得关联与相邻设无向图G=V,E,ek=(vi,vj)?E,称vi,vj为ek得端点,ek与vi(vj)关联、若vi=vj,则称ek为环、无边关联得顶点称作孤立点、若vi?vj,则称ek与vi(vj)得关联次数为1;若vi=vj,则称ek与vi得关联次数为2;若vi不就是边e得端点,则称e与vi得关联次数为0、设vi,vj?V,ek,el?E,若(vi,vj)?E,则称vi,vj相邻;若ek,el有一个公共端点,则称ek,el相邻、对有向图有类似定义、设ek=?vi,vj?就是有向图得一条边,又称vi就是ek得始点,vj就是ek得终点,vi邻接到vj,vj邻接于vi

顶点得度数设G=V,E为无向图,v?V,v得度数(度)d(v):v作为边得端点次数之和悬挂顶点:度数为1得顶点悬挂边:与悬挂顶点关联得边G得最大度?(G)=max{d(v)|v?V}G得最小度?(G)=min{d(v)|v?V}例如d(v5)=3,d(v2)=4,d(v1)=4,?(G)=4,?(G)=1,v4就是悬挂顶点,e7就是悬挂边,e1就是环e1e2e3e4e5e6e7v5v1v2v3v4

顶点得度数(续)设D=V,E为有向图,v?V,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,?=3e1e2e3e4e5e6e7dabc

握手定理定理6、1任何图(无向图和有向图)得所有顶点度数之和都等于边数得2倍、证图中每条边(包括环)均有两个端点,所以在计算各顶点度数之和时,每条边均提供2度,m条边共提供2m度、推论任何图(无向图和有向图)都有偶数个奇度顶点定理6、2有向图所有顶点得入度之和等于出度之和等于边数证每条边恰好提供1个入度和1个出度

图得度数列设无向图G得顶点集V={v1,v2,…,vn}G得度数列:d(v1),d(v2),…,d(vn)如右图度数列:4,4,2,1,3设有向图D得顶点集V={v1,v2,…,vn}D得度数列:d(v1),d(v2),…,d(vn)D得出度列:d+(v1),d+(v2),…,d+(vn)D得入度列:d?(v1),d?(v2),…,