数据结构之“图”--开篇//23.10.24

前言：

        写此文章时树和图的理论都已经学完，但实践不足，待日后足够熟练再补充更高级、更深入的内容。可以认为是水了一篇文章。

图的定义：

        有向图——< x, y >；无向图——( x, y )；

图的基本术语：

(I) 子图：假设有两个图 G = (V, E)和 G'= (V', E'), 如果V'包含于V且 E'包含于E, 则称 G'为 G 的子 图。例如，图 6.2 所示为图 6.1 中 G1 和 G2子图的一些例子。

(2 ) 无向完全图和有向完全图：对千无向图，若具有 n(n- 1)/2 条边，则称为无向完全图。 对于有向图，若具有n(n- l)条弧，则称为有向完全图。

(3)稀疏图和稠密图：略；

(4)权和网：边上的数据为权；

(5)邻接点：对于无向图 G, 如果图的边 (v, v')EE, 则称顶点 v 和 v'互为邻接点， 即 v 和 v' 相邻接。边 (v, v')依附千顶点 v 和 v', 或者说边 (v, v')与顶点 v 和 v'相关联。

(6) 度、入度和出度：顶知的度是指和v相关联的边的数目；

(7)路径和路径长度：略；(8) 回路或环：略；(9)简单路径、 简单回路或简单环：略；

(10) 连通、连通图和连通分量：在无向图 G 中，如果从顶点 v 到顶点 v'有路径，则称 v 和 v' 是连通的。如果对千图中任意两个顶点 V; 、 V丿EV, V; 和 VJ 都是连通的，则称 G 是连通图。图 6.1 (b)中的 G2 就是一个连通图，而图 6.3 (a) 中的 G3则是非连通图，但 G3有 3个连通分量，如图 6.3 (b) 所示。所谓连通分量， 指的是无向图中的极大连通子图。

(11) 强连通图和强连通分量：在有向图 G 中，如果对于每一对顶点都存在路径，则称G是强连通图。有向图中的极大强连通子图称作有向图的强连通分量。

(12) 连通图的生成树： 一个极小连通子图，它含有图中全部 顶点，但只有足以构成一棵树的 n-1条边，这样的连通子图称为 连通图的生成树。

(13) 有向树和生成森林：有一个顶点的入度为 0, 其余顶点的入度均为 l 的有向图称为有向 树。 一个有向图的生成森林是由若干棵有向树组成，含有图中全部顶点，但只有足以构成若干棵 不相交的有向树的弧。

图的类型定义：

ADTGraph{

        数据对象： V是具有相同特性的数据元素的集合，称为顶点集。

        数据关系： R = {VR} VR = {lv, wEV且P (v, w) 表示从v到w的弧 ， 谓词P (v, w)定义了弧的意义或信息）

        基本操作：

         Cr eateGraph{&G,V,VR} 初始条件：V是图的顶点集，VR是图中弧的集合。

        操作结果：按V和VR的定义构造图G。

        DestroyGraph { &G} 初始条件：图G存在。

        操作结果：销毁图G。

        Locat eVex{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的第一 个邻接顶点。若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中增添弧, 若G是无向图，则还增添对称弧。

        Dele七eArc(&G,v,w) 初始条件：图G存在，v和w是G中两个顶点。

        操作结果：在G中删除弧, 若G是无向图，则还删除对称弧。

        DFSTraverse(G) 初始条件：图G存在。

        操作结果：对图进行深度优先遍历，在遍历过程中对每个顶点访问一次。

        BFSTraverse(G) 初始条件：图G存在。

        操作结果：对图进行广度优先遍历，在遍历过程中对每个顶点访问一次。

}ADT Graph