中国科大数据结构.pptVIP

数据结构第七章 图 7.1 图的基本概念 图的定义 图：图G由两个集合构成，记作G=V,E, 其中V是顶点（vertex）的非空有限集合，E是边（edge）的有限集合，其中边是顶点的无序对或有序对集合。 邻接点：边的两个顶点 关联边：若边e= (v, u), 则称顶点v、u 关连边e 顶点V的度：与顶点V相关联的边的数目。在有向图中： 顶点V的出度(in degree )=以V为起点有向边数 顶点V的入度(out degree)=以V为终点有向边数 顶点V的度= V的出度+V的入度 设图G的顶点数为n，边数为e，则：图的所有顶点的度数和等于2*e，即等于每条边对图的所有顶点的度数之和。 7.1 图的基本概念 例1：G1=V1,E1， V1={v0 ,v1,v2,v3,v4 }， E1={(v0,v1),(v0,v3),(v1,v2),(v1,v4),(v2,v3)(v2,v4)} 7.1 图的基本概念 例2：G2=V2,E2，V2={v0 v1,v2,v3} E2={v0,v1 , v0,v2 , v2,v3 ,v3,v0 } 7.1 图的基本概念 子图（subgraph） 图 G=(V，E)，G’=(V’，E’)中，若 V’≤V，E’≤E，并且E’中的边所关联的顶点都在V’中，则称图G’是图G的子图 例3: 下列图b、图c 是图a 的子图。 7.1 图的基本概念 路径(path)：在图G=(V，E)中，如果存在顶点序列Vp，Vi1，Vi2，…，Vin，Vq，使得 (Vp, Vi1)，(Vi1, Vi2)，…，(Vin, Vq)（若对有向图，则使得Vp，Vi1，Vi1，Vi2 ，…，Vin，Vq）都在E中，则称从顶点Vp到顶点Vq存在一条路径，若p=q，则称为回路。 简单路径 (simple path) ：在一条路径中,除起点和终点外,所有顶点各不相同,则称为简单路径。由简单路径组成的回路称为简单回路(simple cycle)。类似地，还有有向无环图的概念（directed acyclic graph，DAG）。 例4：在下图a中，V0,V1,V2,V3 是简单路径； V0,V1,V2,V4,V1不是简单路径；在图b中， V0,V2,V3,V0是简单回路。 7.1 图的基本概念 连通图：在无向图G=( V, E)中，若对任何两个顶点 v、u 都存在从v 到 u 的路径，则称G是连通图(connected graph)； 强连通图：在有向图G= V, E 中，若对任何两个顶点 v、u 都存在从v 到 u 的路径，则称G是强连通图。 7.1 图的基本概念 连通分图（强连通分量）：无向图G 的极大连通子图称为G的连通分量。极大连通子图意思是：该子图是 G 连通子图，将G 的任何不在该子图中的顶点加入，子图不再连通。 例5：下例是图的连通分图和非连通分图的示例： 7.1 图的基本概念 有根的图：一个有向图中，若存在一个顶点V0，从此顶点有路径可以到达图中其它所有顶点，则称此有向图为有根的图，V0称作图的根。 网络：带权的连通图。 自由树(free tree)：不带有简单回路的无向图，它是连通的，并且具有|V|-1条边。 7.1 图的基本概念 生成树：包含无向图G 所有顶点的的极小连通子图称为G 的生成树。 极小连通子图意思是：该子图是G 的连通子图，在该子图中删除任何一条边，子图不再连通。 生成树定义：若T是G 的生成树当且仅当T 满足如下条件： T是G 的连通子图 T包含G 的所有顶点 T中无回路 7.2 图的存储结构 图的抽象数据类型(C++) 7.2 图的存储结构 6.3.1 图的相邻矩阵(adjacency matrix)表示法 相邻矩阵 表示顶点间相邻关系的矩阵。 若G是一个具有n个顶点的图，则G的相邻矩阵是如下定义的n?n矩阵： A[i,j] = 相邻矩阵的空间代价为O(n2) 7.2 图的存储结构 邻接矩阵的C++实现 7.2 图的存储结构 无向图数组表示法特点 无向图邻接矩阵是对称矩阵，同一条边表示了两次； 顶点v的度：等于二维数组对应行（或列）中1的个数； 判断两顶点v、u是否为邻接点：只需看组对应分量是否为1； 顶点个数不变，在图中增删边时，只需对数组对应分量赋值1或清0； 设图的顶点数为 n ,存储图用一维数组, 数组元素有 m 个 （m=n),则 G占用存储空间：m+n2；G占用存储空间只与它的顶点数有关，与边数无关；适用于边稠密的图； 对有向图的数组表示法可做类似的讨论? 7.2 图的存储结构 图的基本操作 求无向图某顶点 vi 的度 (或有向图中vi的出度)：A[i][0]