数据结构：图的介绍

一、图的介绍

图是一种比较复杂的数据结构，在线性表中数据元素之间仅有线性关系，每个元素只有一个直接前驱和直接后继（元素之间只存在一对一关系），在树形结构中元素之间有着明显的层次关系，每一层的元素只能和下层的多个元素有关系（元素之间存在一对多关系），而在图形结构中，任意两个结点之间都可能有关系（元素之间存在多对多关系）。

二、图的定义和术语

顶点：图中的数据元素被称为顶点，一般使用V表示图的顶点的有穷非空集合。

弧：两个顶点之间的关系记作<v，w>，表示能从顶点v到达顶点w，也就是v能到w，但w不一定能到v，我们称v为弧尾或初始点，称w为弧头或终端点。

有向图：由弧+顶点构成的图叫有向图，也就是顶点之间是单行道。

边：两个顶点之间的关系记录（v，w），表示既能从v到w，也能从w到v，我们称v和w之间的关系是一条边。

无向图：由边+顶构成的图有无向图，顶点之间的双行道。

注意：一般使用G代表图，V顶点的集合，VR代表弧或边的集合，n代表顶点的数目，e代表边或弧的数目，我们不讨论顶点到自己的边或弧。

完全图(无向完全图)：在无向图中，e的取值范围是0 ~ n*(n-1)/2，如果无向图的边的数量达到最大值这种无向图称称为完全图，即任意两个顶点之间存在边。

有向完全图：在有向图中，e的取值范围是0 ~ n(n-1)，如果有向图的弧的数量达到最大值这种有向图称称为有向完全图,即任意两个顶点之间存在方向相反的弧。

稀疏图和稠密图：如果图中的边和弧很少，e<nlogn 这种图被称为稀疏图，反之称为稠密图。

权和网：如果图中的顶点到另一个顶点需要代价（距离或耗费），那么在表示边或弧的时候需要附加数据，附加的数据就叫做权，带权的图通常被称为网，这也是互联网的由来。

子图：假定有两个图G1和G2，如果G1的顶点集合是G2的顶点集合的子集，且G1的边或弧集合是G2的边或弧集合的子集，则称G1是G2的子图。

邻接点：在无向图中如果有一条边（v，w），则v，w两个顶点互为邻接点，即v和w相邻接，边（v，w）依附于顶点v，w，或者说（v，w）和顶点v、w相关联。

顶点v的度：在无向图中与顶点v相关联的边的数量。

顶点v的入度和出度：在有向图中，以顶点v作为弧头的弧的数量称为顶点的入度，以顶点v作为弧尾的弧的数量称为顶点的出度。

路径：从顶点v到达顶点w所经历的顶点序叫做路径，路径的长度就是边或弧的数目。

回路或环：起始点和终点相同的路径称为回路或环。

简单路径：路径中顶点不重复出现的路径称为简单路径。

简单回路或简单环：起始点和终点相同且其余顶点不重复出现，被称为简单回路或简单环。

连通图：在无向图中，从顶点v到顶点w有路径，则称v和w是连通的，如果图中任意两个顶点都是连通的，则称图为连通图。如果一个图中有n个顶点那么至少需要n-1条边才能达到连通图。

生成树：仅需要n-1边的连通图叫生成树，如果再配合上权重，代价最小的叫最小生成树

连通分量：G1和G2都是连通图，且G1是G2的子图，则称G1是G2的连通分量或极大连通子图。

强连通图：在有向图中，如果任意一对顶点都双向连通，则称图为强连通图。

强连通分量：G1和G2都是强连通图，且G1是G2的子图，则称G1是G2的强连通分量或极大强连通子图。