新数据结构 教学课件 戴敏 chapter7.pptVIP

数 据 结 构 第7章 图 本章目标 7.1 图的定义和基本术语 7.2 图的存储结构 7.3 图的遍历 7.4 图的生成树和最小生成树 7.5 拓扑排序及其应用 7.6 最短路径 7.1 图的定义和基本术语 图(graph)的定义 图是由顶点(vertex)集合及顶点间的关系集合组成的一种数据结构 Graph＝(V, E) 其中V = { x | x ? 某个数据对象}是顶点的有限非空集合；E = {(x, y) | x, y ? V }是顶点之间关系的有限集合，也叫做边(edge)集 图的ADT描述 图的术语 有向图和无向图 在图中，若用箭头标明了边是有方向的，则称这样的图为有向图，否则称为无向图。如下图中，G1为无向图，G2为有向图 图的术语 完全图 具有n个顶点，n(n-1)/2条边的无向图，称为完全无向图；具有n个顶点，n(n-1)条弧的有向图，称为完全有向图。完全无向图和完全有向图统称为完全图 稠密图与稀疏图 当一个图接近完全图时，称它为稠密图。相反，当一个图中含有较少的边或弧时，称它为稀疏图 权 在图的边或弧上给出相关的数，称为权。权可以代表一个顶点到另一个顶点的距离、开销等，带权图一般又称为网络(network) 图的术语 子图(subgraph) 若有两个图G1和G2，G1=(V1, E1)，G2=(V2, E2)，满足如下条件：V2?V1，E2?E1，即V2为V1的子集，E2为E1的子集，称图G2是图G1的子图 图的术语 度、入度、出度 在无向图中，一个顶点依附的边的数目，称为该顶点的度。在有向图中，指向顶点的弧的数目称为该顶点的入度(这种弧也叫入弧)。从顶点发出的弧的数目称为该顶点的出度(这种弧也叫出弧)，有向图的某个顶点的入度和出度之和称为该顶点的度 图的术语 无向图的连通性 在无向图G中，若两个顶点vi和vj之间有路径存在，则称vi和vj是连通的。若G中任意两个顶点都是连通的，则称G为连通图。否则称为非连通图。无向图的极大连通子图称为连通分量(connected components)。显然，任何连通图的连通分量只有一个，就是它本身，而非连通图有多个连通分量 图的术语 有向图的连通性 在有向图中，若对于每一对顶点vi和vj，都存在一条从vi到vj和从vj到vi的路径，则称此有向图为强连通图。有向图的极大强连通子图叫做强连通分量。显然，任何强连通图的强连通分量只有一个，即它本身，而非强连通图则有多个强连通分量 图的术语 图的术语 生成树(支撑树spanning tree) 无向连通图的生成树是它的极小连通子图，它包含图中全部n个顶点和n-1条不构成回路的边。非连通图的所有连通分 量的生成树组成一个生成森林(spanning forest)。 7.2 图的存储结构 7.2.1 图的顺序存储结构——邻接矩阵 图的邻接矩阵表示法 在图的邻接矩阵(adjacent matrix)表示中，除存放顶点本身的信息外，还用一个矩阵表示各个顶点之间的关系。若(i, j)∈E或 i, j∈E，则矩阵中第i行第j列元素值为1，否则为0 图的邻接矩阵定义为： 1 若(i, j)∈E或i, j∈E A[i][j]= 0 其它情形 图的邻接矩阵表示法 图的邻接矩阵的特点 无向图的邻接矩阵的特点 矩阵是对称的 第i行或第i列中1的个数为顶点i的度 矩阵中1的个数的一半为图中边的数目 很容易判断顶点i和顶点j之间是否有边相连(看矩阵中第i行第j列值是否为1) 有向图的邻接矩阵的特点 矩阵不是对称的 第i行中1的个数为顶点i的出度 第i列中1的个数为顶点i的入度 矩阵中1的个数为图中弧的数目 很容易判断顶点i和顶点j是否有弧相连(看矩阵中第i行第j列值是否为1) 网络的邻接矩阵表示法 类似地可以定义网络的邻接矩阵： wij 若(i, j)∈E或i, j∈E A[i][j]= ∞ 其它情形(包括主对角线) 网络的邻接矩阵的特点 无向网络的邻接矩阵的特点 矩阵是对称的 第i行或第i列中非∞元素的个数为顶点i的度 矩阵中非∞元素的个数的一半为网络中边的数目 很容易判断顶点i和顶点j之间是否有边相连(看矩阵中第i行第j列值是否为非∞元素) 有向网络的邻接矩阵的特点 矩阵不是对称的 第i行中非∞元素的个数为顶点i的出度 第i列中非∞元素的个数为顶点i的入度 矩阵中非∞元素的个数为网络中弧的数目