[工学]数据结构讲义7-9章.ppt

第七章 图 图（Graph）是一种较线性表和树更为复杂的数据结构 7.1 图的定义和术语 抽象数据类型图的定义如下： ADT Graph { 数据对象V: V是具有相同特性的数据元素的集合，称为顶点集。 数据关系 R: R={VR} VR={v,w|v,w∈V且P(v,w),v,w表示从v到w的弧， 谓词P(v,w)定义了弧v,w的意义或信息} 基本操作P： CreateGraph(G,V,VR); 初始条件:V是图的顶点集,VR是图中弧的集合. 操作结果:按V和VR的定义构造图G. DestroyGraph(G); 初始条件:图G存在 操作结果:销毁图G LocateVex(G,u); 初始条件:图G存在,u和G中顶点有相同特征 操作结果:若G中存在顶点u,则返回该顶点在图中的位置;否则返回其他信息 GetVex(G,v); 初始条件:图G存在,v是G中某个顶点 操作结果:返回v的值 PutVex(G,v,value); 初始条件:图G存在,v是G中某个顶点 操作结果:对v赋值value FirstAdjVex(G,v); 初始条件:图G存在,v是G中某个顶点 操作结果:返回v的第一个邻接顶点.若顶点在G中没有邻接顶点,则返回空. NextAdjVex(G,v,w); 初始条件:图G存在,v是G中某个顶点,w是v的邻接顶点 操作结果:返回v的(相对于w的)下一个邻接顶点.若w是v的最后一个邻接点,则返回空 InsertVex(G,v); 初始条件:图G存在,v和图中顶点有相同特征 操作结果:在图G中增添新顶点v DeleteVex(G,v); 初始条件:图G存在,v是G中某个顶点 操作结果:删除G中顶点v及其相关的弧 InsertArc(G,v,w); 初始条件:图G存在,v和w是G中两个顶点 操作结果:在G中增添弧v,w,若G是无向的,则还增添对称弧w,v DeleteArc(G,v,w); 初始条件:图G存在,v和w是G中两个顶点 操作结果:在G中删除弧v,w,若G是无向的,则还删除对称弧w,v DFSTraverse(G,v,Visit()); 初始条件:图G存在,Visit是顶点的应用函数 操作结果;对图进行深度优先遍历.在遍历过程中对每个顶点调用函数Visit一次且仅一次.一旦Visit()失败,则操作失败. BFSTraverse(G,Visit()); 初始条件:图G存在,Visit是顶点的应用函数 操作结果;对图进行广度优先遍历.在遍历过程中对每个顶点调用函数Visit一次且仅一次.一旦Visit()失败,则操作失败. }ADT Graph 顶点（Vertex）:图中的数据元素通称; V是顶点的有穷非空集合；VR是两个顶点之间的关系的集合。 若v,w∈VR ,则v,w表示从v到w的一条弧(Arc)， 且称v为弧尾(Tail)或初始点(Initial node)， 称w为弧头(Head)或终端点(Terminal node), 此时的图称为有向图(Digraph).若v,w∈VR必有， w,v∈VR，即VR是对称的，则以无序对(v,w)代替这两个有序对，表示v和w之间的一条边(Edge), 此时的图称为无向图(Undigraph). 图7.1 图的实例 (a)有向图; (b)无向图 有n(n-1)/2条边的无向图称为完全图(Completed graph), 具有n(n-1)条弧的有向图称为有向完全图。 有很少条边或弧(如enlogn)的图称为稀疏图(Sparse graph),反之称为稠密图(Dense graph) 有时图的边或弧具有与它相关的数，这种与图的边或弧相关的数叫做权(Weight)。 这种带权的图通称为网(Network)。 子图(Sungraph)。 图7.2 子图示例 (a) G1的子图； (b) G2的子图。 邻接点(Adjacent) 依附(Incident) 相关联 度(Degree) 入度(InDegree) 出度(Outdegree) 路径(Path) 回路或环(Cycle)。 简单路径 连通 连通图 连通分量(Connected Component) 强连通图 强连通分量。 图7.3 无向图及其连通分量 (a)无向图G3；(b) G3的三个连通分量。 一个连通图的生成树是一个极小连通子图，它含有图中全部顶点，但只有足以构成一棵树的n-1条边。 图7.4 的两个强连通分量 图7.5 的最大连通分量的一棵生成树