图的基本概念

图

图由顶点集V和边集E组成。$|V|$表示顶点集的大小，即顶点的数目。$|E|$表示边集的大小，即边的数目。

有向图

边集是有向边（也称为弧）的有限集合时，图称为有向图。有向边记为$<v,w>$，其中v称作弧尾，w称作弧头，$<v,w>$称为从v到w的弧，也称为v邻接到w。

无向图

边集是无向边的有限集合，记为$(v,w)$或$(w,v)$

简单图、多重图

简单图：

1. 顶点间不存在重复边
2. 不存在从顶点到自身的边

多重图：

1. 顶点间存在重复边
2. 且存在从顶点到自身的边

完全图（简单完全图）

1. 无向完全图：任意两个顶点之间都存在边的无向图，边数为$n(n-1)/2$
2. 有向完全图：任意两个顶点之间都存在两条有向边的有向图，边数为$n(n-1)$

子图与生成子图

子图：有两个图$G(V,E)$和$G^{\prime }(V^{\prime },E^{\prime })$，其中$V^{\prime }$是$V$的子集，$E^{\prime }$是$E$的子集，则把$G^{\prime }$叫做$G$的子图
生成子图：若$V(G^{\prime })=V(G)$，则把$G^{\prime }$叫做$G$的生成子图

连通、连通图、连通分量

连通：若两个顶点之间存在路径，则称这两个顶点连通
连通图：任意两个顶点之间都连通的图，否则称为非连通图
连通分量：无向图中的极大连通子图，同一个图可能有不止一个连通分量

强连通、强连通图、强连通分量

强连通：有向图中，若两个顶点都有从自身到对方的路径，则称这两个顶点强连通
强连通图：任意两个顶点都有从自身到对方的路径的有向图
强连通分量：有向图的极大强连通子图

注：无向图谈连通，有向图谈强连通

生成树、生成森林

生成树：连通图的包含所有顶点的极小连通分量称为连通图的生成树
生成森林：非连通图的连通分量组成的生成树构成的生成森林

顶点的度、入度、出度

顶点的度：无向图中依附于某顶点的边数称之为该顶点的度，记为$TD(v_i)$，且${\sum }_{i=1}^{n}TD(v_i)=2e$,其中$e$为$|E|$，即所有边的边数
入度：有向图中以某顶点为终点的边数称为该顶点的入度，记为$ID(v_i)$，且${\sum }_{i=1}^{n}ID(v_i)=e$,其中$e$为$|E|$，即所有边的边数
出度：有向图中以某顶点为起点的边数称为该顶点的出度，记为$OD(v_i)$，且${\sum }_{i=1}^{n}OD(v_i)=e$,其中$e$为$|E|$，即所有边的边数

边的权和网

边的权：每条边上都可以标上表示某种含义的数值，该数值称为该边的权值
网：有权值的图称作带权图，也叫网

稠密图、稀疏图

若$|E|<|V|log|V|$，则该图称作稀疏图，反之则为稠密图

路径、路径长度、回路

路径：顶点$v$和顶点$w$以及他们中间的所有顶点的顶点序列叫做从$v$到$w$的一条路径
路径长度：一条路径上边的数目叫做该路径的路径长度
回路：第一个顶点和最后一个顶点相同的路径叫做回路

若一个图有n个顶点，且有超过n-1条边，则该图一定有回路

简单路径、简单回路

简单路径：路径中不出现重复顶点的路径
简单回路：除第一个和最后一个顶点，不出现重复顶点的回路

距离

两个顶点之间的最短路径

有向树

只有一个顶点的入度为0，其他顶点的入度都为1的图