北工大 数据结构8 图_2.pdf

图的抽象数据类型定义 图的抽象数据类型定义 ADT Graph Data 顶点的有穷非空集合和边的集合 Operation InitGraph 前置条件：图不存在 输入：无 功能：图的初始化 输出：无 后置条件：构造一个空的图 DFSTraverse 前置条件：图已存在 输入：遍历的起始顶点v 功能：从顶点v出发深度优先遍历图 输出：图中顶点的一个线性排列 后置条件：图保持不变 BFSTraverse 前置条件：图已存在 输入：遍历的起始顶点v 功能：从顶点v出发广度优先遍历图 输出：图中顶点的一个线性排列 后置条件：图保持不变 DestroyGraph 前置条件：图已存在 输入：无 功能：销毁图 输出：无 后置条件：释放图所占用的存储空间 GetVex 前置条件：图已存在 输入：顶点v 功能：在图中查找顶点v的数据信息 输出：顶点v的数据信息 后置条件：图保持不变 endADT 8.2 图的存储结构及实现 8.2 图的存储结构及实现 是否可以采用顺序存储结构存储图? 图的特点：顶点之间的关系是m:n，即任何两个 顶点之间都可能存在关系（边），无法通过存 储位置表示这种任意的逻辑关系，所以，图无 法采用顺序存储结构。 如何存储图? 考虑图的定义，图是由顶点和边组成的，分别 考虑如何存储顶点、如何存储边。 习惯性约定 为每一个顶点设定一个序号，表示“顶点在图 中的位置”。 1 2 3 4 5 8.2.1 邻接矩阵 设图G = ( V ，E ) 具有n(n ≥1) 个顶点v1 , v2 , …, vn 和m 条边或 弧e1 , e2 , …, em ，则G 的邻接矩阵是n ×n 阶矩阵，记为A(G) 。 邻接矩阵存放n 个顶点信息和n2 条边或弧信息。 其每一个元素aij 定义为: 0 顶点v 与v 不相邻接 i j a = ij 1 顶点v 与v 相邻接 i j 例有向图G 1 2 3 4 v1 v2 1 0 1 1 0 2 0 0 0 0 A(G) = 3 0 0 0 1 v3 v4 4 1 0 0 0 例无向图 G 1