离散数学第6章课件.pptVIP

第六章 图论 图论 图是一类非常广泛的数学模型，在现实中的许多问题，如电网络问题，交通网络问题，运输的优化问题，社会学中某类关系的研究，都可以用这类数学模型研究和处理。在计算机科学的许多领域中,如开关理论与逻辑设计,人工智能,形式语言,计算机图形,操作系统,编译程序,信息检索等方面图和图的理论也有很多重要的应用。 6-1 图的基本概念 无向图与有向图 无向图与有向图 图的基本概念 边又分为两种：有向边和无向边。在有向边的两个端点中，一个是始点，另一个是终点，有向边的箭头方向自始点指向终点。 如果图中各边都是有向边，则称此图为有向图。 如果图中各边都是无向边，则称此图为无向图。 如果图中既有有向边又有无向边，则称此图为混合图 由于无向边可以用两条方向相反的有向边来替代，所以混合图可以转化为有向图。 图的基本概念 　　　有向图 无向图 　　　混合图 转化为　　有向图 无向图与有向图(续) 通常用G表示无向图, D表示有向图, 也常用G泛指无向图和有向图, 用ek表示无向边或有向边. V(G), E(G), V(D), E(D): G和D的顶点集, 边集. 顶点和边的关联与相邻 定义 设ek=(vi, vj)是无向图G=V,E的一条边, 称vi, vj为ek的端点, ek与vi ( vj)关联. 若vi ? vj, 则称ek与vi ( vj)的关联次数为1; 若vi = vj, 则称ek为环, 此时称ek与vi 的关联次数为2; 若vi不是ek端点, 则称ek与vi 的关联次数为0. 无边关联的顶点称作孤立点. 图中结点的度数 b c a d f e 无向图中结点的次数 定义：设图G是无向图，v是图G中的顶点，与点v关联的边的条数(有环时，视为2)，称为点v的度，记作deg(v)。 顶点的度数 设G=V,E为无向图, v?V, 悬挂顶点: 度数为1的顶点 悬挂边: 与悬挂顶点关联的边 G的最大度?(G)=max{d(v)| v?V} G的最小度?(G)=min{d(v)| v?V} 孤立点：度数为0的顶点 例如 d(v5)=3, d(v2)=4, d(v1)=4, ?(G)=4, ?(G)=1, v4是悬挂顶点, e7是悬挂边, e1是环 无向图中结点的度数 定理 设图G是具有n个点，m条边的无向图，其中顶点构成的集合 ，则 （握手定理） 证明 因为在无向图中，每一条边使其所关联的两点各增加1度，由此得证。 由定理可知，无向图中各顶点的度数之和为偶数，由此易得下列推论。 推论 在无向图中，度数为奇数的顶点个数为偶数。 有向图顶点的度数 设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) 例如 d+(a)=4, d-(a)=1, d(a)=5, d+(b)=0, d-(b)=3, d(b)=3, ?+(D)=4, ?+(D)=0, ??(D)=3, ??(D)=1, ?(D)=5, ?(D)=3. 有向图顶点的度数 定理8.2 设图G是具有n个点，m条边的有向图，其中顶点构成的集合 ，则