数据结构-图结构的基本概念和术语

图的定义

图G是由顶点的有穷非空集合和顶点之间边的集合组成，其形式化定义为

        G = (V，E)

其中G是一个图，V是图G中顶点的集合，E是图G中边的集合。

若顶点A和B之间的边没有方向，则称这条边为无向边，用无序偶数对（A，B）来表示。

若顶点A和B之间的边有方向，则称这条边为有向边，用有序偶数对<A，B>来表示。

在有序偶数对<A，B>中，B称为弧头，A称为弧尾。

如果图中的所有顶点之间的边都是无向边则称该图为无向图，否则称之为有向图，即有一条边是有向边，这个图就是有向图。

图的基本术语

无向完全图和有向完全图

在无向图中，如果任意两个顶点之间都存在边，则称该图为无向完全图。

在有向图中，如果任意两个顶点之间都存在边，则称该图为有向完全图。

稀疏图和稠密图

有很少边或（弧）的图称为稀疏图，反正称为稠密图。

权、网、子图

图的边或（弧）具有与它相关的数，这样的数称之为权。

权可以表示一个顶点到另一个顶点的距离或耗费。

这种带权图，通常称之为网。

网也分为有向网和无向网，定义与上面的有向图和无向图一样。

现在假设有两个图G=（V，E）、G1 = （V1，E1），如果V1包含于V，且E1包含于E，即G1是G的一个子集，则称G1为G的一个子图。

邻接点、依附、相关联

对于无向图来说，如果边（A，B）包含于E，则称顶点A，B为邻接点，即两个顶点之间有一条边连接起来。

也称之为，边（A，B）依附于顶点A，B。

或者说边（A，B）和顶点A，B相关联。

顶点的度、出度、入度

顶点的度是指依附于某个顶点A的边数，通常记为TD(A)。

而在有向图中，有入度和出度两个概念。

入度是指以顶点A为弧头的弧的数目，即箭头指向A的边。

出度是指以顶点A为弧尾的弧的数目，即箭头从A指向另一个顶点的边的数目。

路径、路径长度

顶点A到顶点B之间的路径是指从顶点A到顶点B之间所经历的顶点序列A，C，D，....，B。

其中（A，C），（C，D）....分别为图中的边。

路径上边的数目是路径长度。

简单路径、回路、简单回路

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

第一个顶点和最后一个顶点相同的路径称之为回路。

除了第一个顶点和最后一个顶点重复，其它顶点不重复的路径称之为简单回路。

连通、连通图和连通分量

在无向图中，如果顶点A到顶点B之间有路径，则称A和B是连通的。

如果无向图中的任意两个顶点都是连通的，则称该图为连通图。

连通分量是指无向图中的极大连子图。

强连通图、强连通分量

在有向图中，若图中的任意一对顶点A和B均有从顶点A到顶点B的路径，也有从B到顶点A的路径，则称该有向图为强连通图。

如果是非强连通图，则非强连通图的极大强连子图称之为强连通分量。

生成树、生成森林

一个连通图的生成树是一个极小连通子图。

PS：如果一个有向图恰有一个顶点的入度为0，其余顶点的入度均为1，则是一颗有向树。

一个有向图的生成森林由若干颗有向树组成。