C++数据结构与算法（图）

回顾：线性表中，每个元素只有一个直接前驱和直接后继，在树形结构中，数据之间是层次关系，并且每一层上的数据元素可能和下一层中多个元素相关，但只能和上一层中一个元素相关。但这都是一对一或一对多的简单模型。

 1 图的定义

图（Graph）是由顶点的有穷非空集合和顶点之间边的集合组成，通常表示为：G(V,E)，其中，G表示一个图，V是图G中顶点的集合，E是图G中边的集合。

 注意：

1. 线性表中我们把数据元素叫作元素，树中将数据元素叫结点，在图中数据元素被称之为顶点（Vertex）;
2. 线性表中可以没有数据元素，称为空表。树中可以没有结点，称为空树。在图结构中，不允许没有顶点。在定义中，若V是顶点的集合，则强调了顶点集合V有穷非空；
3. 线性表中，相邻的数据元素之间具有线性关系，树结构中，相邻两层的结点具有层次关系，而图中，任意两个顶点之间都可能有关系，顶点之间的逻辑关系用边来表示，边集可以是空的。

1.1 各种图定义

无向图：若顶点vi到vj之间的边没有方向，则称这条边为无向边（Edge），用无序偶对（vi,vj）来表示。如果图中任意两个顶点之间的边都是无向边，则称该图为无向图（Undirected graphs）。下面的无向图G1表示为G1=（V1，{E1}}），其中顶点集合V1={A,B,C,D}，边集合E1={(A,B),(B,C),(C,D),(D,A),(A,C)}.

有向边：若从顶点vi到vj的边有方向，则称这条边为有向边，也称为弧（Arc）。用有序偶对<vi,vj>来表示，vi表示弧尾，vj表示弧头。如果图中任意两个顶点之间的边都是有向边，则称该图为有向图（Directed graph）。<A,D>表示弧，不能写成<D,A>。上面的有向图G2表示为G2=（V2，{E2}}），其中顶点集合V2={A,B,C,D}，边集合E2={<A,D>,<B,A>,<C,A>,<B,C>}.

• 在图中，若不存在顶点到其自身的边，且同一条边不重复出现，则称这样的图为简单图。
• 在无向图中，如果任意两个顶点之间都存在边，则称该图为无向完全图。含有n个顶点的无向完全图有0.5（n(n-1)）条边。
• 在有向图中，如果任意两个顶点之间都存在方向互为相反的两条弧，则称该图为有向完全图。含有n个顶点的有向完全图有n(n-1)条边。对于有n个顶点和e条边数的图，无向图的边数在0~0.5（n(n-1)），有向图的边数在0~n(n-1)之间。
• 在很少条边或弧的图称为稀疏图，反之称为稠密图。稀疏和稠密是相对的概念。
• 有些图的边或者弧具有数字（权，Weight），这种带权的图称为网。
• 树中根结点到任意结点的路径是唯一的，但是图中顶点与顶点之间的路径却是不唯一的。
• 第一个顶点到最后一个顶点相同的路径称为回路或环（Cycle）。序列中顶点不重复出现的路径称为简单路径，除了第一个顶点和最后一个顶点之外，其余顶点不重复出现的回路，称为简单路径或简单环。
• 无向图中的极大连通子图称为连通分量。
• 有向图中的极大强连通子图称作有向图的强连通分量。
• 所谓的一个连通图的生成树是一个极小的连通子图，它含有图中全部的n个顶点，但只有足以构成一棵树的n-1条边。
• 如果一个有向图恰有一个顶点的入度为0，其余顶点的入度为1，则是一棵有向树。

1.2 图的定义与术语总结

1. 图按照有无方向分为无向图和有向图。无向图由顶点和边构成，有向图由顶点和弧构成。弧有弧尾和弧头之分。
2. 图按照边或弧的多少分为稀疏图和稠密图。如果任意两个顶点之间都存在边叫完全图，有向的叫有向完全图。若无重复的边或顶点到自身的边则叫简单图。
3. 图中顶点之间有邻接点、依附的概念。无向图顶点的边数叫度，有向图定点分为入度和出度。
4. 图上的边或弧上带权则称为网。
5. 图中顶点间存在路径，两顶点存在路径说明是连通的，如果路径最终回到起始点则称为环，当中不重复叫简单路径。若任意两顶点都是连通的，则图就是连通图，有向则称强连通图。图中有子图，若子图极大连通则就是连通分量，有向的则称强连通分量。
6. 无向图中连通且n个顶点n-1条边叫生成树。有向图中一顶点入度为0其余顶点入度为1的叫有向树。一个有向图由若干棵有向树构成森林。

1.3 图的抽象数据类型

数据：顶点的有穷非空集合和边集合。

操作：

• 构造图
• 销毁图
• 返回某个顶点的位置
• 返回顶点的值
• 返回某个顶点的邻接节点，若无，则返回空
• 返回某个顶点相对于顶点w的下一邻接顶点，若无，则返回空
• 图中添加新顶点
• 删除图中某个顶点及相关弧
• 在图中增加弧，若是无向图需要增加对称弧
• 在图中删除弧，若是无向图需要删除对称弧<