程序设计技术 第六篇 图形结构1.pptVIP

* 程序设计技术 第六章 图形结构 * 图的基本概念 图的存储结构 图的遍历 最小生成树 最短路径 拓扑排序 关键路径 第四部分 复杂结构 图 * 图的基本概念 图定义 图是由顶点集合(vertex)及顶点间的关系集合组成的一种数据结构： Graph＝( V, E ) 其中 V = { x | x ? 某个数据对象} 是顶点的有穷非空集合； E1 = {(x, y) | x, y ? V } 或 E2 = {x, y | x, y ? V Path (x, y)} 其中， E1是顶点之间关系的有穷集合，也叫做边(edge)集合，此时的图称为无向图。 E2 表示从 x 到 y 的一条弧，且称x为弧尾，y为弧头，这样的图称为有向图。 * 有向图与无向图 在有向图中，顶点对 x, y 是有序的。在无向图中，顶点对(x, y)是无序的。 完全图 若有 n 个顶点的无向图有 n(n-1)/2 条边, 则此图为无向完全图。有 n 个顶点的有向图有n(n-1) 条边, 则此图为有向完全图。 0 0 0 0 1 1 1 1 2 2 2 2 6 5 4 3 3 * 邻接顶点 如果 (u, v) 是 E(G) 中的一条边，则称 u 与 v 互为邻接顶点。 子图 设有两个图 G＝(V, E) 和 G‘＝(V’, E‘)。若 V’? V 且 E‘?E, 则称 图G’ 是 图G 的子图。 权 某些图的边具有与它相关的数, 称之为权。这种带权图叫做网络。 0 1 2 3 子图 0 1 3 0 1 2 3 0 2 3 * 顶点的度 一个顶点v的度是与它相关联的边的条数。记作TD(v)。在有向图中, 顶点的度等于该顶点的入度与出度之和。 顶点 v 的入度是以 v 为终点的有向边的条数, 记作 ID(v); 顶点 v 的出度是以 v 为始点的有向边的条数, 记作 OD(v)。 路径 在图 G＝(V, E) 中, 若从顶点 vi 出发, 沿一些边经过一些顶点 vp1, vp2, …, vpm，到达顶点vj。则称顶点序列 (vi vp1 vp2 ... vpm vj) 为从顶点vi 到顶点 vj 的路径。它经过的边(vi, vp1)、(vp1, vp2)、...、(vpm, vj) 应是属于E的边。 * 顶点的出度: 以顶点v 为弧尾的弧的数目; 顶点的入度: 以顶点v为弧头的弧的数目。 A B E C F 有向图 顶点的度(TD)=出度(OD)+入度(ID) TD(B) =OD(B)+2ID(B) = 3 例如: * 路径长度 非带权图的路径长度是指此路径上边的条数。带权图的路径长度是指路径上各边的权之和。 简单路径 若路径上各顶点 v1,v2,...,vm 均不 互相重复, 则称这样的路径为简单路径。 简单回路 若路径上第一个顶点 v1 与最后一个顶点vm 重合, 则称这样的路径为回路或环。 0 1 2 3 0 1 2 3 0 1 2 3 * A B E C F 如:从A到F长度为 3 的路径{A,B,C,F} * 连通图与连通分量 在无向图中, 若从顶点v1到顶点v2有路径, 则称顶点v1与v2是连通的。如果图中任意一对顶点都是连通的, 则称此图是连通图。非连通图的极大连通子图叫做连通分量。 强连通图与强连通分量 在有向图中, 若对于每一对顶点vi和vj, 都存在一条从vi到vj和从vj到vi的路径, 则称此图是强连通图。非强连通图的极大强连通子图叫做强连通分量。 * 无向图,若图中任意两个顶点之间都有路径相通，则称此图为连通图; 若无向图为非连通图，则图中各个极大连通子图称作此图的连通分量。 B A C D F E B A C D F E * 有向图,若任意两个顶点之间都存在一条有向路径，则称此有向图为强连通图。 否则，其各个强连通子图称作它的强连通分量。 A B E C F A B E C F * 生成树:假设一个连通图有 n 个顶点和 e 条边，其中 n-1 条边和 n 个顶点构成一个极小连通子图，称该极小连通子图为此连通图的生成树。在极小连通子图中增加一条边，则一定有环。 在极小连通子图中去掉一条边，则成为非连通图。 B A C D F E B A C D F E * 图的存储结构 在图的邻接矩阵表示中，有一个记录各个顶点信息的顶点表，还有一个表示各个顶点之间关系的邻接矩阵。 设图 A = (V, E)是一个有 n 个顶点的图, 图的邻接矩阵是一个二维数组 A.edge[n][n]，定义： 邻接矩阵 (Adjacency Matrix) * 无向图的邻接矩阵是对称的;