七章 图.pptVIP

第七章 图 图的基本概念 图 由顶点(Vertex)集合及顶点间的关系(即边,Edge)集合组成的一种数据结构：Graph＝( V, E ) V = { x | x ? 某个数据对象} 顶点的有穷非空集合； E1 = {(x, y) | x, y ? V } E1是顶点之间关系的有穷集合，也叫做边(Edge)集合，此时的图称为无向图。 或E2 = {x, y | x, y ? V Path (x, y)} E2 表示从 x 到 y 的一条弧(Arc)，且称x为弧尾，y为弧头，这样的图称为有向图。 有向图与无向图 在有向图中，顶点对x, y 是有序的。 在无向图中，顶点对(x, y)是无序的。 完全图 若有 n 个顶点的无向图有 n(n-1)/2 条边, 则此图为无向完全图。 若有 n 个顶点的有向图有n(n-1) 条边, 则此图为有向完全图 邻接顶点 如果 (u, v) 是 E(G) 中的一条边，则称 u 与 v 互为邻接顶点。 子图 设有两个图 G＝(V, E) 和 G’＝(V’, E’)。若 V’? V 且 E’?E, 则称 图G’ 是 图G 的子图。 权 某些图的边具有与它相关的数, 称之为权。 这种带权图叫做网络(Network)。 顶点的度(Degree) 一个顶点v的度是与它相关联的边的条数。记作TD(v)。 在有向图中, 顶点的度等于该顶点的入度与出度之和。 顶点 v 的入度是以 v 为终点(弧头)的有向边的条数, 记作 ID(v); 顶点 v 的出度是以 v 为始点(弧尾)的有向边的条数, 记作 OD(v)。 顶点的度(TD)=出度(OD)+入度(ID) TD(B) =OD(B)+ID(B) =1+2 =3 路径 在图 G＝(V, E) 中, 若从顶点 vi 出发, 沿一些边经过一些顶点 vp1, vp2, …, vpm，到达顶点vj。则称顶点序列 (vi vp1 vp2 ... vpm vj) 为从顶点vi 到顶点 vj 的路径。 它经过的边(vi, vp1)、(vp1, vp2)、...、(vpm, vj) 应是属于E的边。 路径长度 非带权图的路径长度是指此路径上边的条数。 带权图的路径长度是指路径上各边的权之和。 简单路径 若路径上各顶点 v1,v2,...,vm 均不 互相重复, 则称这样的路径为简单路径。 回路 若路径上第一个顶点 v1 与最后一个顶点vm 重合, 则称这样的路径为回路或环。 简单回路 若回路上各顶点 v1,v2,...,vm 均不 互相重复, 则称这样的回路为简单回路。 连通图与连通分量 在无向图中, 若从顶点v1到顶点v2有路径, 则称顶点v1与v2是连通的。如果图中任意一对顶点都是连通的, 则称此图是连通图。 非连通图的极大连通子图叫做连通分量。 强连通图与强连通分量 在有向图中, 若对于每一对顶点vi和vj, 都存在一条从vi到vj和从vj到vi的路径, 则称此图是强连通图。 非强连通图的极大强连通子图叫做强连通分量。 生成树 假设一个连通图的n个顶点和n-1条边构成一个极小连通子图，称该极小连通子图为此连通图的生成树。 在极小连通子图中增加一条边，则一定有环。 在极小连通子图中去掉一条边，则成为非连通图 注意：有n个顶点，n-1条边的图不一定是生成树 生成森林 对非连通图，称由各个连通分量的生成树的集合为此非连通图的生成森林 图的存储结构 1、邻接矩阵(数组)表示法 有一个记录各个顶点信息的顶点表， 还有一个表示各个顶点之间关系的邻接矩阵。 设图 A = (V, E)是一个有 n 个顶点的图, 图的邻接矩阵是一个二维数组 A.Edge[n][n]，定义： 无向图的邻接矩阵是对称的; 在有向图中 统计第 i 行 1 的个数可得顶点 i 的出度， 统计第 j 列 1 的个数可得顶点 j 的入度。 在无向图中, 统计第 i 行 (或列) 1 的个数可得顶点i 的度。 网络的邻接矩阵 用邻接矩阵表示的结构定义 const int NumVertices = 10; //顶点个数 typedef char VertexData; //顶点数据类型 typedef int EdgeData; //边上权值类型 typedef struct { VertexData vexList[NumVertices]; //顶点表 EdgeData Edge[NumVertices][NumVertices]; //邻接矩阵, 可视为边之间的关系 int n, e; //图中当前的顶点个数与边数 } MTGraph; 2、邻接表 表