南京航空航天大学离散数学课件 第十四章 图的基本概念.pptxVIP

南京航空航天大学;第十四章 图的基本概念;定义1.一个图G是指一个二元组(V(G),E(G)), 其中: (1) V(G)是非空有限集,称为顶点集,其中元素称为图G的顶点. (2) E(G)是顶点集V(G)中的无序或有序的元素偶对(vi,vj)组成的集合,称为边集,其中元素称为边. ;通常用G=(V(G),E(G))表示图, 简记为G=(V,E). 通常用vivj表示边(vi,vj). 例: G=(V(G),E(G)), 其中V(G)={v1,v2,v3,v4} E(G)={e1,e2,e3,e4,e5,e6} e1=v1v1,e2=v2v3,e3=v1v3, e4=v1v4,e5=v3v4,e6=v3v4 ;定义2. 图G的阶是指图的顶点数|V(G)|, |E(G)|表示图的边的数目. 定义3. 若一个图的顶点集和边集都是有限集,则称其为有限图. 只有一个顶点的图称为平凡图,其他的所有图都称为非平凡图. 定义4. 顶点集为空集的图称为空图(?);没有任何边的图称为零图.;;定义6.任意两点之间都有边的n阶无向简单图称为完全图,记作Kn.若n阶有向简单图D的基础图为Kn,则称D为n阶竞赛图. 定义7.若无向简单图G中每点的度都为k,则称G为k-正则图. 定义8.设G=(V,E)为无向简单图,令Ec={uv|u,v?V,uv?E},称Gc=(V,Ec)为G的补图.;;定义10. 在无向图G=(V,E)中,v?V, NG(v)={u|uv?E,u?V}称为v的邻域, NG[v]=NG(v)∪{v}称为v的闭邻域, IG(v)={e|e?E,e与v关联}称为v的关联集, dG(v)=|IG(v)|称为v的度 注:每个环给一个点贡献的度为2. ;定义11. 在有向图D=(V,E)中,v?V, ?+D(v)={u|vu?E,u?V}称为v的后继元集 ?-D(v)={u|uv?E,u?V}称为v的先驱元集 ND(v)=?+D(v)∪?-D(v)称为v的邻域 ND[v]=ND(v)∪{v}称为v的闭邻域 d+D(v)=|?+D(v)|称为v的出度 d-D(v)=|?-D(v)|称为v的入度 dD(v)=|ND(v)|=d+D(v)+d-D(v)称为v的度;定义12. 在无向图G=(V,E)中, ?(G)=max{d(v)|v?V}称为G的最大度, ?(G)=min{d(v)|v?V}称为G的最小度. 类似可定义有向图D的最大度?(D),最小度?(D),最大出度?+(D),最小出度?+(D),最大入度?-(D),最小入度?-(D).;定义13. 度数为1的顶点称为悬挂顶点;度数为偶(奇)数的顶点称为偶(奇)度顶点. 定理1.(握手定理)在无向图G中, ∑d(v)=2|E(G)|. 推论: 任何图中,奇度顶点的个数是偶数. 定理2.在任何有向图D中, ∑d+(v)= ∑d-(v)=|E(D)|.;定理3.设G为n阶无向简单图,则?(G)?n-1. 定义14. 设G=(V,E)是n阶无向图, V={v1,v2,?,vn},称(d(v1),d(v2),?,d(vn))为G的度序列. 定义15.对于给定的非负整数列d=(d1,d2,?,dn),若存在以{v1,v2,?,vn}为顶点集的n阶无向(简单)图G,使得d(vi)=di,则称d是可(简单)图化的.;定理4. 非负整数列(d1,d2,?,dn)是可图化的当且仅当∑di为偶数. 例1.判断下列各非负整数列哪些是可图化的?哪些是可简单图化的? (1)(5,4,3,2,1) (2)(3,3,3,1) (3)(4,4,3,3,2,2);解: (1)不可图化,5+4+3+2+1=15为奇数. (2)可图化,但不可简单图化. (3)可简单图化.;定义16.设G1=(V1,E1),G2=(V2,E2)为两个无(有)向图,若存在双射函数f:V1?V2使得vivj?E1当且仅当f(vi)f(vj)?E2,且重数相同,则称G1与G2同构,记作G1?G2.;定义17.若图G?Gc,则称G是自补图.;例2.(1)画出4阶3条边的所有非同构的无向简单图;;例2.(2)画出3阶2条边的所有非同构的有向简单图.;定义18.设G=(V,E),G?=(V?,E?)为无(有)向图,若V??V且E??E,则称G?为G的子图, G为G?的母图.若V?=V,则称G?为G的生成子图. 定义19.设G=(V,E),V1是V的非空子集,以V1为顶点集,以两端点都在V1中的边的全体为边集所组成的子图,称为G的由V1导出的子图,记为G[V1].;定义20.设G=(V,E),E1是E的非空子集,以E1为边集,以E1中边的端点全体为顶点集所组成的子图,称为G的由E1导出的子图,记为G[E1