数据结构6.docVIP

第 6 章 图 6.1 图的逻辑结构 6.1.1 图的定义和基本术语 在图中，常常将数据元素称为顶点，将顶点之间的关系用边来表示。 1. 图的定义 图是由顶点的有穷非空集合和顶点之间边的集合组成，通常表示为：G=(V，E)。 2. 图的基本术语 简单图 图中，若不存在顶点到其自身的边，且同一条边不重复出现，则称这样的图为简单图。 邻接、依附 在无向图中，对于任意两个顶点vi和vj，若存在边(vi，vj)，则称顶点vi和vj互为邻接点，同时称边(vi，vj)依附于顶点vi和vj。 在有向图中，对于任意两个顶点vi和vj，若存在弧vi，vj，则称顶点vi邻接到vj，顶点vj邻接自vi，同时称弧vi，vj依附于顶点vi和vj 。在不致混淆的情况下，通常称vj是vi的邻接点。 无向完全图、有向完全图 在无向图中，如果任意两个顶点之间都存在边，则称该图为无向完全图，n个顶点的无向完全图有n×(n-1)/2条边。 在有向图中，如果任意两顶点之间都存在方向互为相反的两条弧，则称该图为有向完全图，n个顶点的有向完全图有n×(n-1)条边。 稠密图、稀疏图 称边数很少的图为稀疏图，反之，称为稠密图。 顶点的度、入度、出度 在无向图中，顶点v的度是指依附于该顶点的边的个数，记为TD(v)。 在具有n个顶点e条边的无向图中，有下式成立： 在有向图中，顶点v的入度是指以该顶点为弧头的弧的个数，记为ID(v)； 顶点v的出度是指以该顶点为弧尾的弧的个数，记为OD(v)。 在具有n个顶点e条边的有向图中，有下式成立： 权、网 图中，权通常是指对边赋予的有意义的数值量。 边上带权的图称为网或网图。 路径、路径长度、回路 无向图G=(V，E)，顶点vp到vq之间的路径是一个顶点序列vp=vi0, vi1, …, vim=vq，其中，(vij-1, vij)∈E（1≤j≤m）；如果G 是有向图，则vij-1, vij∈E（1≤j≤m）。 路径上边的数目称为路径长度。 第一个顶点和最后一个顶点相同的路径称为回路或环。 简单路径、简单回路 在路径序列中，顶点不重复出现的路径称为简单路径。 除了第一个顶点和最后一个顶点之外，其余顶点不重复出现的回路称为简单回路。 子图 对于图G=(V，E)，G=(V，E )，如果V V 且E E ，则称图G是G的子图。 连通图、连通分量 在无向图中，若任意顶点vi和vj(i≠j)之间有路径，则称该图是连通图。 非连通图的极大连通子图称为连通分量。 强连通图、强连通分量 对有向图中任意顶点vi和vj (i≠j)，若从顶点vi到vj和从顶点vj到vi均有路径，该有向图是强连通图。 非强连通图的极大强连通子图称为强连通分量。 生成树、生成森林 具有n个顶点的连通图G的生成树是包含G中全部顶点的一个极小连通子图。 在生成树中添加任意一条属于原图中的边必定会产生回路；在生成树中减少任意一条边，则必然成为非连通。所以一棵具有n个顶点的生成树有且仅有n-1条边。 在非连通图中，连通分量的生成树构成了非连通图的生成森林。 6.1.2 图的抽象数据类型定义 ADT Graph Data 顶点的有穷非空集合和边的集合 Operation InitGraph 前置条件：图不存在 输入：无 功能：图的初始化 输出：无 后置条件：构造一个空的图 DestroyGraph 前置条件：图已存在 输入：无 功能：销毁图 输出：无 后置条件：释放图所占用的存储空间 InsertVex 前置条件：图已存在 输入：顶点v 功能：在图中插入一个顶点v 输出：如果插入不成功，抛出异常 后置条件：如果插入成功，图中增加了一个顶点 DeleteVex 前置条件：图已存在 输入：顶点v 功能：在图中删除顶点v 输出：如果删除不成功，抛出异常 后置条件：如果删除成功，图中减少了一个顶点 InsertArc 前置条件：图已存在 输入：顶点u，顶点v，顶点u和v之间边的信息 功能：在图中插入一条边 输出：如果插入不成功，抛出异常 后置条件：如果插入成功，图中增加了一条边 DeleteArc 前置条件：图已存在 输入：顶点u，顶点v 功能：在图中删除顶点u和v之间的边 输