[工学]数据结构讲义7.pptVIP

图定义 图(Graph)是由顶点(Vertex)集合及顶点间的关系集合组成的一种数据结构： Graph＝( V, E ) 其中 V = { x | x ? 某个数据对象} 是顶点的有穷非空集合； E = {(x, y) | x, y ? V } 或 E = {x, y | x, y ? V Path (x, y)} 是顶点之间关系的有穷集合。 Path (x, y ) 表示从 x 到 y 的一条单向通路, 它是有方向的。 有向图与无向图 在有向图中，顶点对x, y是有序的，称为弧（Arc)，x为弧尾（Tail)，y为弧头 (Head)；在无向图中，顶点对(x, y)是无序的，称为边(Edge) 。 完全图 若有 n 个顶点的无向图有 n(n-1)/2 条边, 则此图为完全无向图。有 n 个顶点的有向图有n(n-1) 条边, 则此图为完全有向图。 权 某些图的边具有与它相关的数, 称之为权。带权图叫做网。 邻接顶点 如果 (u, v) 是 E(G) 中的一条边，则称 u 与 v 互为邻接顶点。 顶点的度 一个顶点v的度是与它相关联的边的条数。记作TD(v)。在有向图中,顶点v的入度是以v为终点的有向边的条数, 记作 ID(v); 顶点v的出度是以 v 为始点的有向边的条数, 记作OD(v)。 子图 设有两个图 G＝(V, E) 和 G’＝(V’, E’)。若 V’? V 且 E’? E, 则称 图G’ 是 图G 的子图。 路径 在图 G＝(V, E) 中, 若从顶点 vi 出发, 沿一些边经过一些顶点 vp1, vp2, …, vpm，到达顶点vj。则称顶点序列 ( vi vp1 vp2 ... vpm vj ) 为从顶点vi 到顶点 vj 的路径。它经过的边(vi, vp1)、(vp1, vp2)、...、(vpm, vj)应是属于E的边。 简单路径 若路径上各顶点 v1,v2,...,vm 均不互相重复, 则称这样的路径为简单路径。 回路 若路径上第一个顶点 v1 与最后一个顶点vm 重合, 则称这样的路径为回路或环。 路径长度 非带权图的路径长度是指此路径上边的条数。 带权图的路径长度是指路径上各边的权之和。 连通图与连通分量 在无向图中, 若从顶点v1到顶点v2有路径, 则称顶点v1与v2是连通的。如果图中任意一对顶点都是连通的, 则称此图是连通图。非连通图的极大连通子图叫做连通分量。 强连通图与强连通分量 在有向图中, 若对于每一对顶点vi和vj, 都存在一条从vi到vj和从vj到vi的路径, 则称此图是强连通图。非强连通图的极大强连通子图叫做强连通分量。 7.2 图的存储结构 在图的邻接矩阵表示中，有一个记录各个顶点信息的顶点表，还有一个表示各个顶点之间关系的邻接矩阵。 设图 A = (V, E)是一个有 n 个顶点的图，则图的邻接矩阵是一个二维数组 A.edge[n][n]，定义： 无向图的邻接矩阵是对称的，有向图的邻接矩阵可能是不对称的。 在无向图的邻接矩阵中, 统计第 i 行 (列) 1 的个数可得顶点i 的度。 在有向图的邻接矩阵中, 统计第 i 行 1 的个数可得顶点 i 的出度，统计第 j 列 1 的个数可得顶点 j 的入度。 网（带权的图）的邻接矩阵 算法7.1（P162)是在邻接矩阵存储结构MGraph上对图的构造操作的实现框架，它根据图G的种类调用具体构造算法。 若G是无向网，则调用算法7. 2（P162) 7.2.2 邻接表 (Adjacency List) 无向图的邻接表： 把同一个顶点发出的边链接在同一个边链表中，链表的每一个结点代表一条边，叫做边结点，结点中保存有与该边相关联的另一顶点的顶点下标 adjvex 和指向同一链表中下一个边结点的指针 nextarc。 顶点表：用数组的形式存放所有的顶点及对应的边链表的头指针。 边链表：每条边用一个结点进行表示。同一个结点的所有的边形成它的边结点单链表。 在邻接表的边链表中，各个边结点的链入顺序任意，视边结点输入次序而定。 有向图可以建立邻接表和逆邻接表： 1）在有向图的邻接表中，第 i 个边链表链接的边都是顶点 i 发出的边。也叫做出边表。 2）在有向图的逆邻接表中，第 i 个边链表链接的边都是进入顶点 i 的边。也叫做入边表。 7.2 图的存储结构 在邻接表中，对图中每个顶点建立一个单链表，第i个单链表中的结点表示依附于顶点vi的边。 每个结点由3个域组成： adjvex 邻接点域，指