图论的基础

图的定义：图$G$由顶点集$V$和边集$E$组成，记为$G=(V,E)$，其中$V(G)$表示图$G$中顶点的有限非空集，$E(G)$表示$G$中顶点之间的关系（边）的集合。$|V|$表示顶点个数，$|E|$表示边的个数。

1. 有向图：若$E$是有向边（也称之为弧）的有限集合时，则图$G$为有向图。弧时顶点的有序对，记为$<v,w>$，从$v$指向$w$的弧。

2. 无向图：若$E$时无向边的有限集合时，则图$G$为无向图。边的顶点时无序对，记为$(v,w)$或者$(w,v)$。

3. 完全图（也称简单完全图）：在无向图中$0\le |E|\le \frac{n\times (n-1)}{2}$,若$|E|=\frac{n\times (n-1)}{2}$时，我们称之为完全图；在有向图中$0\le |E|\le n\times (n-1)$,若$|E|=n\times (n-1)$时，我们称之为有向完全图**。**

4. 连通，连通图和连通分量：在无向图中，若从顶点$v$到顶点$w$有路径存在，则称$v$和$w$是连通的。若图$G$中任意两个顶点都是连通的，则称图$G$是连通图，反之称为非连通图。无向图中的极大连通子图称为连通分量。

5. 强连通图，强连通分量：在有向图中，若有一对顶点$v$和$w$，从$v$到$w$和从$w$到$v$之间都有路径，则成这两个顶点是强连通的。若图中任何一对顶点都是强连通的，则称此图为强连通图。有向图中的极大强连通子图称为强连通分量。、

6. 生成树，生成森林：连通图的生成树是包含途中全部顶点的一个极小连通图。对于生成树而言，若少一条边，则会变成非连通图，若都一条边，则会形成一个回路。在非连通图中，连通分量的生成树构成了非连通图的生成森林。

   注意：极大连通子图是无向图的连通分量，极大要求该连通子图包含其所有的边，极小连通子图既要保持图的连通又要是的变数最小的子图。

7. 顶点的度：在无向图中，顶点$v$的度是指依附于顶点$v$的边的条数，记为$TD(v)$。对于具有$n$个顶点，$e$条边的无向图，${\sum }_{i=1}^{n}TD(v_i)=2e$。

8. 权：在一个图中，每条边都可以标上具有某种含义的数值，该数值称为该边的权值。这种带权图也称之为网。

9. 路劲，路径长度和回路：顶点$v_p$到顶点$v_q$之间的一条路径是指顶点序列$v_p,v_1,v_2,\dots v_n,v_q$，路劲上面的数目称为路劲长度。第一个顶点和最后一个顶点相同的路径称为回路或环。

10. 简单路径，简单回路：在路径中，顶点不重复出现的路径称为简单路径。除了第一个顶点和最后一个顶点外，其余顶点不重复出现的路径称为简单回路。

11. 距离：从顶点$u$出发到顶点$v$的最短路径若存在，则称此路径的长度为从$v$到$u$的距离。