数据结构与算法分析第六章图1【荐】.pdfVIP

第六章 图 6.1 图的概念 6.1.1 图的定义 ? 图 Graph ——图G是由两个集合V G 和E G 组成的,记为 G V,E 其中：V G 是顶点的非空有限集 E G 是边的有限集合，边是顶点的无序对或有序对 ? 有向图——有向图G是由两个集合V G 和E G 组成的 其中：V G 是顶点的非空有限集 E G 是有向边（也称弧）的有限集合，弧是顶点的有序对，记 v,w ，v,w是顶点，v为弧尾，w为弧头 ? 无向图——无向图G是由两个集合V G 和E G 组成的 其中：V G 是顶点的非空有限集 E G 是边的有限集合，边是顶点的无序对，记为（v,w ）或 （w,v ，并且（v,w w,v 例 2 4 5 1 3 6 G1 图G1 中：V G1 1,2,3,4,5,6 E G1 1,2 , 2,1 , 2,3 , 2,4 , 3,5 , 5,6 , 6,3 例 1 5 7 3 2 4 6 G2 图G2 中：V G2 1,2,3,4,5,6,7 E G1 1,2 , 1,3 , 2,3 , 2,4 , 2,5 , 5,6 , 5,7 6.1.2 图的基本术语 ? 有向完全图——n个顶点的有向图最大边数是n n-1 ? 无向完全图——n个顶点的无向图最大边数是n n- 1 /2 ? 权——与图的边或弧相关的数叫权 ? 网—— 带权的图叫网 ? 子图——如果图G V,E 和图G’ V’,E’ ,满足： V’?V E’?E 称G’为G的子图 ? 顶点的度 – 无向图中，顶点的度为与每个顶点相连的边数 – 有向图中，顶点的度分成入度与出度 ? 入度：以该顶点为头的弧的数目 ? 出度：以该顶点为尾的弧的数目 2 2 例 1 3 1 3 有向完全图 无向完全图 例 5 2 4 5 3 6 1 3 6 图与子图 例 例 2 4 5 1 5 7 1 3 6 3 2 4 6 G1 G2 顶点2入度：1 出度：3 顶点5的度：3 顶点4入度：1 出度：0 顶点2 的度：4 ? 路径——路径是顶点的序列 V Vi0,Vi1,……Vin ，满足 Vij-1,Vij ∈E 或 Vij-1,Vij ∈E, 1 j≤n ? 路径长度—— 沿路径边的数目或沿路径各边权值 之和 ? 回路——第一个顶点和最后一个顶点相同的路径 ? 简单路径——序列中顶点不重复出现的路径 ? 简单回路——除了第一个顶点和最后一个顶点 外，其余顶点不重复出现的回路 路径：1，2 ，3，5，6，3 例 路径长度：5 2 4 5 简单路径：1，2 ，3，5 回路：1，2 ，3，5，6，3，1 1 3 6 简单回路：3，5，6，3 G1 例 路径：1，2 ，5，7，6，5，2 ，3 1 5 7 路径长度：7 简单路径：1，2 ，5，7，6 3 2 4 6 回路：1，2 ，5，7，6，5，2 ，1 G2 简单回路：1，2 ，3，1 连通——从顶点V到顶点W有一条路径，则说V和 W是连通的 连通图—— 图中任意两个顶点都是连通 连通分量——非连通图的每一个连通部分 强连通图——有向图中，如果对每一对Vi,Vj∈V, Vi≠Vj,从Vi到Vj 和从Vj到 Vi都存在路径，则 称G是强连通图~ 例 2 4 5 连通图 1 3 6 例 5 强连通图 3 6 例 2 4 5 非连通图 连通分量 1 3 6 6.1.2 图的抽象数据类型 ? 6.2 图的存储结构 1 邻接矩阵 2 邻接表 3 十字链表 4 邻接多重表 6.2.1邻接矩阵——表示顶点间相联关系的矩阵 1。定义：设G V,E 是有n≥1个顶点的图，G的邻接矩阵A是具 有以下性质的n阶方阵 ? v1,,若v v , v或 E G ? ∈ [ , ] i j i j A i j ? ??0，其它 0 1 1 ?0 ? 例 1 2 ? ? 0 0 0 ?0 ? ? ? 0 0 0 ?1 ? 3 4 ? ? 1 0 0 ?0 ? G1 例 1 0 1 0 1 ?0 ? 2 ? ? 1 0 1 0 1 ? ? 3 ? ? 0 1 0 1 1 ? ? 1 0 1 0 ?0 ? 4 5 ? ? G2 0 1 1 0 ??0 ?? 2 。特点： 无向图的邻接矩阵对称，可压缩存储；有n个顶点 的无向图需存储空间为n n+1 /2 有向图邻接矩阵不一定对称；有n个顶点的有向图 需存储空间为n2 无向图中顶点Vi的度TD Vi 是邻接矩阵A中第i行 元素之和 有向图中， ? 顶点Vi的出度是A中第