南方科技大学离散数学课件-第7章图的基本概念.pptVIP

离散数学南方科技大学 第7章 图的基本概念 7.1 无向图及有向图7.2 通路、回路、图的连通性7.3 图的矩阵表示7.4 最短路径及关键路径 2 7.1 无向图及有向图无向图与有向图顶点的度数握手定理简单图完全图子图补图 3 无向图与有向图 多重集合: 元素可以重复出现的集合无序积: A?B={(x,y) | x?A?y?B} 定义 无向图G=V,E, 其中(1) 顶点集V??，元素称为顶点(2) 边集E为V?V的多重子集，其元素称为无向边，简称边.例如, G=V,E如图所示, 其中V={v1, v2, …,v5}, E={(v1,v1), (v1,v2), (v2,v3), (v2,v3), (v2,v5), (v1,v5), (v4,v5)} 4 无向图与有向图(续)定义 有向图D=V,E, 其中(1) V同无向图的顶点集, 元素也称为顶点(2) 边集E为V?V的多重子集，其 元素称为有向边，简称边.用无向边代替D的所有有向边所得到的无向图称作D的基图右图是有向图，试写出它的V和E 注意：图的数学定义与图形表示,在同构(待叙)的意义下是一一对应的 5 无向图与有向图(续)通常用G表示无向图, D表示有向图, 也常用G泛指无向图和有向图, 用ek表示无向边或有向边.V(G), E(G), V(D), E(D): G和D的顶点集, 边集.n 阶图: n个顶点的图有限图: V, E都是有穷集合的图零图: E=?平凡图: 1 阶零图空图: V=? 6 顶点和边的关联与相邻定义 设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. 无边关联的顶点称作孤立点.定义 设无向图G=V,E, 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.7 邻域和关联集设无向图G, v?V(G) v的邻域 N(v)={u|u?V(G)?(u,v)?E(G)?u?v} v的闭邻域 = N(v)∪{v} v的关联集 I(v)={e|e?E(G)?e与v关联}设有向图D, v?V(D) v的后继元集 ={u|u?V(D)?v,u?E(G)?u?v} v的先驱元集 ={u|u?V(D)?u,v?E(G)?u?v} v的邻域 v的闭邻域8 顶点的度数 设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是环 9 顶点的度数(续) 设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. 10 图论基本定理——握手定理 定理 任意无向图和有向图的所有顶点度数之和都等于边数的2倍, 并且有向图的所有顶点入度之和等于出度之和等于边数.证 G中每条边（包括环）均有两个端点，所以在计算G中各顶点度数之和时，每条边均提供2度，m条边共提供2m度. 有向图的每条边提供一个入度和一个出度, 故所有顶点入度之和等于出度之和等于边数. 11 握手定理(续)推论 在任何无向图和有向图中，奇度顶点的个数必 为偶数.证 设G=V,E为任意图，令