图的基本概念

在数学中，图是描述于一组对象的结构，其中某些对象对在某种意义上是“相关的”。这些对象对应于称为顶点的数学抽象（也称为节点或点），并且每个相关的顶点对都称为边（也称为链接或线）。通常，图形以图解形式描绘为顶点的一组点或环，并通过边的线或曲线连接。 图形是离散数学的研究对象之一。——来自百度百科

图一般表示为G(V,E)，其中G表示一个图，V是图G中顶点的集合，E是图G中边的集合。

图的分类有：

无向图：若顶点vi到vj之间没有方向，则称这条边为无向边，用无序偶对(vi,vj)来表示。

有向图：若从顶点vi到vj的边有方向，则称为有向边或弧，用有序偶<vi,vj>来表示，vi称为弧尾，vj称为弧头。

完全图：
 也称简单完全图。假设一个图有n个顶点，那么如果任意两个顶点之间都有边的话，该图就称为完全图。

图的术语：

---------------------------------------------------------------------------------------------------------------------------------

邻接（Adjacency）：有边或弧相连的两个顶点之间的关系。在无向图中，若存在边(v, w)，则称v和w互为邻接点；在有向图中，若存在弧<v, w>，则称v邻接到w，w邻接于v。

关联（Incidence）：边或弧与顶点之间的关系。若存在边(v, w)或弧<v, w>，则称该边或弧关联于v和w。

顶点的度（Degree）：与顶点相关联的边的数量。在无向图中，顶点的度等于与其相关联的边的数量；在有向图中，顶点的度分为入度（Indegree，指向该顶点的弧的数量）和出度（Outdegree，从该顶点出发的弧的数量）。

---------------------------------------------------------------------------------------------------------------------------------

路径（Path）：由一系列连续的边或弧构成的顶点序列。

路径长度（Path Length）：路径上边或弧的数量或权值之和。

回路（Cycle）或环：起点和终点相同的路径。

简单路径（Simple Path）：除路径起点和终点可以相同外，其余顶点均不相同的路径。

简单回路（Simple Cycle）或简单环：除路径起点和终点相同外，其余顶点均不相同的回路。

连通图（Connected Graph）：在无向图中，若任意两个顶点都存在路径，则称该图为连通图。

强连通图（Strongly Connected Graph）：在有向图中，若任意两个顶点都存在双向路径，则称该图为强连通图。

连通分量（Connected Component）：无向图的极大连通子图称为连通分量。

强连通分量（Strongly Connected Component）：有向图的极大强连通子图称为强连通分量。

---------------------------------------------------------------------------------------------------------------------------------

生成树（Spanning Tree）：包含无向图所有顶点的极小连通子图，且不存在回路。

生成森林（Forest）：对非连通图，由各个连通分量的生成树的集合构成。

最小生成树（Minimum Spanning Tree）：在加权无向图中，所有生成树中边权值之和最小的那棵生成树。

 --------------------------------------------------------------------------------------------------------------------------------