6.1_1_图的基本概念

图的定义

图G由顶点集V和边集E组成，|V|表示顶点的个数，又称作G的阶，|E|表示边的条数

线性表可以使空表，树可以使空树，但图不可以是空图，V一定是非空集

边一定要对应的点；点不一定要有边

有向图<a,b> vs 无向图（a,b）

简单图、多重图

简单图

1. 不存在重复的边
2. 不存在指向自身的边

复杂图

1. 存在重复的边
2. 或者有指向自身的边

顶点的度、入度、出度

无向图：顶点的v的度是指依附于该顶点的度之和

有向图：入度 = 出度 = |e|

顶点-顶点的关系

1. 路径–顶点p到顶点q的路径是顶点序列
   1. 顶点之间可能不存在路径
   2. 有向图的路径也是有向的
2. 回路–第一个顶点和最后一个顶点相同的路径
3. 简单路径–顶点都不重复的路径称为简单路径
4. 简单回路–除了第一个顶点和最后一个顶点外，其余顶点都不重复出现
5. 路径长度–路径上面的数目
6. 点到点的距离–从一点到另一点的最短距离，如果不存在记做无穷大
7. 无向图中，如果两个点之间有路径存在，称为联通
8. 有向图中，如果两个点之间有来往的路径存在，称为强联通

连通图、强连通图

1. 无向图

   任意两个顶点都是连通的，称为连通图

   考点：

   如果一个图是连通图，最少有n-1条边

   如果一个图是非空连通图，最多有Cn-1_2条边

2. 有向图

   1. 如果任意两点都是强连通的，称为强连通图

   2. 考点：

      如果一个图是强连通图，最少有n条边

图的局部–子图

如果一个图点集是原图点集的子集

如果一个图边集是原图边集的子集

满足图的定义，就是子图

如果包含了原图的所有点，可以边去掉一些就是图的生成图

连通分量

无向图中的极大连通子图称为连通分量

子图必须是连通的，而已要连接尽可能多的边和顶点

强连通分量

有向图中的极大强连通子图称为强连通分量

生成树

对于无向图来说

1. 包含图中全部顶点的一个极小连通子图
2. 边要尽可能少，但要连通
3. 无向图的生成树不唯一

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

边的权值、网

1. 边的权–在一个图中，每条边都有权值
2. 带权图/网–边上带有权值的图为带权图/网
3. 带权路径长度–一条路径上带权所有边的权值之和

几种特殊的图

无向完全图Cn2、有向完全图2Cn2

稀疏图、稠密图

E < V log V

树是连通的图，但没有回路，必有n-1条边，否则就不是树

如果大于n-1，则一定存在回路

有向树，不存在强连通

---

常见考点

对于无向图G

1. 顶点的度之和 = 2E

2. G是连通图，最少有n-1条边

3. 如果E>N-1,则一定有回路

4. G是非连通图，则最多有C(n-1)2条边

5. 无向图共有Cn2条边

对于有向图G

1. 所有顶点的入度和出度之和 = E
2. 所有顶点的度之和 = 2E
3. 如果G是强连通图，最少有n条边形成回路
4. 有向完全图一共有2Cn2条边