数据结构---图.docVIP

数据结构---图 图的基本概念 7.1.1 图的定义及运算 1)·图的定义 图（graph）是由两个集合V和E所限定的一种数据结构，记作 G=(V，E) 其中：V是构成图的顶点的非空有限集, E是表示顶点之间关系的边的集合。 在实际图的应用中，可能会同时接触若干个图，为了区别不同图的顶点集和边集，常常将图记作G=(V(G)，E(V))。 2) 图的运算 对图可以进行下述各种 操作: (1) CreateGraph(G，V，E): 根据顶点集V和边集E创建图G. (2) DestroyGraph(G): 销毁图G. (3) FirstAdjVex(G，v): 求图G中顶点v的第一个邻接顶点. (4) NextAdjVex(G，v，w): 求图G中顶点v的相对于其邻接顶点w的下一个邻接顶点. (5) InsertVex(G，v): 在图G中插入顶点v. (6) DeleteVex(G，v): 在图G中删除顶点v及其与v相关的边. (7) InsertArc(G，v，w): 在图G中插入边（v，w）或v，w. (8) DeletArc(G，v，w): 在图G中删除边（v，w）或v，w. (9) DFSTraverse(G，v): 从图G的v顶点出发，深度优先遍历图. (10) BFSTraverse(G，v): 从图G的v顶点出发，广度优先遍历图. 7.1.2 图的基本术语 * 图结构中的数据元素为顶点（Vertex），在图的逻辑表示中，常常用一个小圆圈表示。往往在圆圈内标出顶点的值或者是人为给它指定的编号（该编号有时也称为顶点在图中的位置）以区别不同的顶点。在图的实际应用中，除在顶点内标注顶点值外，另外还标注上顶点的编号，称为双重标记法。 * 当两个顶点间存在关系时，用一条直线段（或曲线段）将这两个顶点连接起来，且称该线段为边（edge）。图中的边可以用顶点对表示。 * 如果顶点对是无序的，则称这样的边为无向边（edge）； * 如果顶点对是有序的，则称这样的边为有向边或弧（arc）。 例如，如果顶点i和顶点j之间存在一条无向边，则用（i，j）表示；而如果顶点i和顶点j之间有一条有向边，则用i，j表示，称i为有向边的弧尾（始点），j称为有向边的弧头（终点）。为了表示顶点对的有序性，往往用带箭头的线段表示，而无向边用不带箭头的线段表示。应该注意的是：（i，j）=（j，i），但i，j≠j，i。 * 由顶点集和无向边集构成的图称为无向图（undirected graph）， * 而由顶点集和有向边集构成的图称为有向图（directed graph）。 图7.1给出了4个图G1、G2、G3、G4，其中G1和G2是无向图，G3和G4是有向图。它们各自的顶点集和边集如下： V(G1)={1,2,3,4,5}， V(G2)={1,2,3,4}， V(G3)={1,2,3,4}， V(G4)={1,2,3}， * 显然，n个顶点的无向图最多有n(n-1)/2条边，即任意两个顶点之间都有一条边。称具有n个顶点且有n(n-1)/2条边的无向图为无向完全图。 * 而具有n个顶点的有向图最多有n(n-1)条有向边，即任意两个顶点之间都存在方向相反的两条有向边。称具有n个顶点且有n(n-1)条弧的有向图为有向完全图。 图7.1 G2是无向完全图。 在无向图中，若(i , j )是一条无向边，则称顶点i与顶点j是相邻顶点，且称边( i , j )与顶点i , j相关联，在有向图中，若 i , j 是一条有向边，则称顶点i 邻接到顶点j, 或顶点j邻接于顶点i , 也称弧 i , j 与顶点 i , j 相关联。 * 与顶点U相关联的边数称为顶点U的度(degree), 记为D(U), * 对于有向图，以顶点U为始结点的有向边数称为顶点U的出度，记为OD(U)。 * 以顶点U为终点的有向边数称为顶点U的入度，记为ID(U)。 有向图中顶点的度数等于出度和入度之和，即D(U)=OD(U)+ID(U)。例如图7.1的G1中顶点3的度为4；G3中顶点4的出度为2，入度为1，度为3。 一个具有n个定点，e条边的图，无论其是无向图还是有向图，其所有定点的度数之和正好等于边数的2倍，即 假设有两个图G = ( V ( G ) , E ( G ) )和G′= ( V ( G ) , E ( G ) ) 。若V(G′)?V(G)且E(G′)?E(G),则称G′是G的子图。 * 若图中存在一条从顶点i 到顶点j 之间由边或弧组成通路，则称这条通路为i到j的路