回顾:线性表中,每个元素只有一个直接前驱和直接后继,在树形结构中,数据之间是层次关系,并且每一层上的数据元素可能和下一层中多个元素相关,但只能和上一层中一个元素相关。但这都是一对一或一对多的简单模型。
1 图的定义
图(Graph)是由顶点的有穷非空集合和顶点之间边的集合组成,通常表示为:G(V,E),其中,G表示一个图,V是图G中顶点的集合,E是图G中边的集合。
注意:
- 线性表中我们把数据元素叫作元素,树中将数据元素叫结点,在图中数据元素被称之为顶点(Vertex);
- 线性表中可以没有数据元素,称为空表。树中可以没有结点,称为空树。在图结构中,不允许没有顶点。在定义中,若V是顶点的集合,则强调了顶点集合V有穷非空;
- 线性表中,相邻的数据元素之间具有线性关系,树结构中,相邻两层的结点具有层次关系,而图中,任意两个顶点之间都可能有关系,顶点之间的逻辑关系用边来表示,边集可以是空的。
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 图的定义与术语总结
- 图按照有无方向分为无向图和有向图。无向图由顶点和边构成,有向图由顶点和弧构成。弧有弧尾和弧头之分。
- 图按照边或弧的多少分为稀疏图和稠密图。如果任意两个顶点之间都存在边叫完全图,有向的叫有向完全图。若无重复的边或顶点到自身的边则叫简单图。
- 图中顶点之间有邻接点、依附的概念。无向图顶点的边数叫度,有向图定点分为入度和出度。
- 图上的边或弧上带权则称为网。
- 图中顶点间存在路径,两顶点存在路径说明是连通的,如果路径最终回到起始点则称为环,当中不重复叫简单路径。若任意两顶点都是连通的,则图就是连通图,有向则称强连通图。图中有子图,若子图极大连通则就是连通分量,有向的则称强连通分量。
- 无向图中连通且n个顶点n-1条边叫生成树。有向图中一顶点入度为0其余顶点入度为1的叫有向树。一个有向图由若干棵有向树构成森林。
1.3 图的抽象数据类型
数据:顶点的有穷非空集合和边集合。
操作:
- 构造图
- 销毁图
- 返回某个顶点的位置
- 返回顶点的值
- 返回某个顶点的邻接节点,若无,则返回空
- 返回某个顶点相对于顶点w的下一邻接顶点,若无,则返回空
- 图中添加新顶点
- 删除图中某个顶点及相关弧
- 在图中增加弧,若是无向图需要增加对称弧
- 在图中删除弧,若是无向图需要删除对称弧
- 对图进行深度优先遍历,在遍历过程时对每个顶点调用
- 对图进行广度优先遍历,在遍历过程中对每个顶点调用
2 图的存储结构
2.1 邻接矩阵
图的邻接矩阵(adjacency matrix)存储方式是用两个数组来表示图。一个一维数组存储图中顶点信息,一个二维数组