5.1图的概念

图的定义

G=(V,E),V={v1,v2,…,vn},E={(u,v)|u,v属于V},|V|表示节点个数，|E|表示边的条数。

1）有向图

e=<vi,vj>

2）无向图

e=(vi,vj)

3)简单图

不存在重复；不存在顶点到自身的边；

4）多重图

与简单图相对的，两结点存在多条边，顶点可有到自身的边；自环；

5）完全图

无向图中：任一两顶点都存在边，n个顶点的无向完全图有n(n-1)/2条边；例：三角形

有向图中：任一两顶点存在方向相反的两条弧，n个顶点的有向完全图有**n(n-1)**条边；

6）子图

G=(V,E)与G’=(V’,E’),V’是V的子集，E’是E的子集，则称G’是G的子集；

注：并不是任意V,E的子集组合都能构成子图；这样的字集可能不是图；

若满足V(G’)=V(G)，称G’为G的生成子图；即满足子图的顶点集合与父图集合相同；

7）无向图的连通，连通图和连通分量

连通：无向图中，v到w存在路径，即v与w连通；

连通图：无向图中任意两顶点都是连通的；

连通分量：无向图中极大连通子图；

8）有向图的强连通，强连通图，强连通分量

强连通：有向图图，v到w，w到v都存在路径，即v与w连通；

强连通图：有向图中任意两顶点都是强连通的；

强连通分量：有向图中的极大强连通子图；

9）生成树，生成森林

连通图(无向)的生成树是包含所有顶点的一个极小连通子图。顶点为n,生成树的边为n-1;

极小连通子图，删除任一边后，图不再是连通图，即变为非连通图；

在非连通图中，连通分量的生成树构成了非连通图的生成森林；

10）顶点的度，入度和出度

顶点的度为等于其入度与其出度之和，TD(v)=ID(v)+OD(v);

在n个顶点，e条边的有向图中，所有结点的入度和 等于 所有有结点的出度和 等于 e(边数) ;

注：每条有向边都会产生一个出度，一个入度，故才会有上述等式；

11）网

带有权值的图称为网；

12）稀疏图与稠密图

稀疏图：边数很少的图；反之为稠密图

13）回路（环）

若一个图有n个的顶点，并且有多余n-1的边，则此图一定有环（回路）；例：三角形；

14）简单路径和简单回路

简单路径：顶点不重复出现的路径；

简单回路：回路中（除起点和终点）不重复其余结点的路径；