离散数学7.解析.ppt

第七章 图的基本概念 7.1 无向图及有向图 7.2 通路、回路、图的连通性 7.3 图的矩阵表示 7.4 图的运算 7.5 最短路径及关键路径 最短路径 关键路径 7.1 无向图及有向图 7.1.1 无向图 无序积: 设A,B为两集合, 称{{a,b}|a?A∧b?B} 为A与B的无序积, 记作A＆B． 将无序对{a,b}记作(a,b). 定义7.1 一个无向图G是一个二元组V,E, 即 G＝V,E, 其中, (1) V是一个非空的集合, 称为G的顶点集, V中元素称为顶点或结点； (2) E是无序积V＆V的一个多重子集, 称E为G的边集, E中元素称为无向边或简称边. 7.1 无向图及有向图 7.1.2 有向图 定义7.2 一个有向图D是一个二元组V,E, 即D＝V,E, 其中, (1) V同无向图中的顶点集； (2) E是卡氏积的多重子图, 其元素称为有向边,也简称边. 7.1 无向图及有向图 7.1.3 相关概念 设G＝V,E为一无向图或有向图 (1)若V,E都是有穷集合, 则称G是有限图. (2)若 |V|＝n, 则称G为n阶图． (3)若E＝?, 则称G为零图. 特别地, 若此时又有|V|＝1, 则称G为平凡图. (4) 若V＝?, 则称图G为空图. 7.1 无向图及有向图 7.1.3 相关概念 定义7.3 设ek＝(vi,vj)为无向图G＝V,E中的一条边, 称vi和vj为ek的端点, ek与vi(或vj)是彼此关联的. 无边关联的顶点称为孤立点. 若一条边所关联的两个点重合, 则称此边为环 ek与vi(或vj)的关联次数 7.1 无向图及有向图 7.1.3 相关概念 定义7.4 设无向图G＝V,E, vi,vj?V, ek,el?E. (1) 若存在一条边e以vi,vj为端点, 即e＝(vi,vj), 则称vi,vj是彼此相邻的, 简称相邻的． (2) 若ek,el至少有一个公共端点, 则称ek,el是彼此相邻的, 简称相邻的． 以上两定义对有向图也是类似的. 只是这时若ek ＝vi,vj, 除称vi,vj是ek的端点外, 还称vi是ek的始点, vj是ek的终点, vi邻接到vj, vj邻接于vi. 7.1 无向图及有向图 7.1.3 相关概念 定义7.5 设G＝V,E为一无向图,vj?V, 称vj作为边的端点的次数之和为vi的度数, 简称度, 记作d(vj). 设D＝V,E为一有向图, vj?V, 称vj作为边的始点的次数之和为vj的出度, 记作d+(vj); 称vj作为边的终点的次数之和为vj的入度, 记作d-(vj); 称vj作为边的端点的次数之和为vj的度数, 简称度, 记作d(vj). 显然d(vj)＝d+(vj)＋d-(vj). 称度数为1的顶点为悬挂顶点, 它所对应的边为悬挂边. 7.1 无向图及有向图 d(v1)＝3, d+(v1)＝2, d-(v1)＝1； d(v2)＝3, d+(v2)＝2, d-(v2)＝1； d(v3)＝5, d+(v3)＝2, d-(v3)＝3； d(v4)＝d+(v4)＝d-(v4)＝0； d(v5)＝1, d+(v5)＝0, d-(v5)＝1； 其中, v5是悬挂结点, v1,v5为悬挂边. 7.1 无向图及有向图 7.1.3 相关概念 最大度和最小度 对于图G＝V,E, 记 Δ(G)＝max{d(v)|v∈V}, ?(G)＝min{d(v)|v∈V}, 分别称为G的最大度和最小度. 若D＝V,E是有向图, 除了Δ(D), ?(D)外, 还有最大出度、最大入度、最小出度、最小入度, 分别定义为 Δ+(G)=max{d+(v)|v∈V} Δ-(G)=max{d-(v)|v∈V} ?+(G)=min{d+(v)|v∈V} ? -(G)=min{d-(v)|v∈V} 7.1 无向图及有向图 例7.2 7.1 无向图及有向图 7.1.5 基本定理(握手定理) 定理7.1 设图G＝V,E为无向图或有向图, V＝{v1,v2,...,vn}, |E|=m(m为边数), 则 7.1 无向图及有向图 7.1.5 基本定理 定理7.2 设有向图D＝V,E, V＝{v1,v2,...,vn}, |E|＝m, 则 7.1 无向图及有向图 7.1.5 基本定理 度数序列 设V＝{v1,v2,...,vn}为图G的顶点集, 称(d(v1),d(v2),...,d(vn))为G的度数序列. 例7.1 (1) (3,3,2,3), (5,2,3,1,4)能成为图的度数序列吗？为什么？ (2) 已知图G中有10条边, 4