图的定义
图G由顶点集V和边集E组成,|V|表示顶点的个数,又称作G的阶,|E|表示边的条数
线性表可以使空表,树可以使空树,但图不可以是空图,V一定是非空集
边一定要对应的点;点不一定要有边
有向图<a,b> vs 无向图(a,b)
简单图、多重图
简单图
- 不存在重复的边
- 不存在指向自身的边
复杂图
- 存在重复的边
- 或者有指向自身的边
顶点的度、入度、出度
无向图:顶点的v的度是指依附于该顶点的度之和
有向图:入度 = 出度 = |e|
顶点-顶点的关系
- 路径–顶点p到顶点q的路径是顶点序列
- 顶点之间可能不存在路径
- 有向图的路径也是有向的
- 回路–第一个顶点和最后一个顶点相同的路径
- 简单路径–顶点都不重复的路径称为简单路径
- 简单回路–除了第一个顶点和最后一个顶点外,其余顶点都不重复出现
- 路径长度–路径上面的数目
- 点到点的距离–从一点到另一点的最短距离,如果不存在记做无穷大
- 无向图中,如果两个点之间有路径存在,称为联通
- 有向图中,如果两个点之间有来往的路径存在,称为强联通
连通图、强连通图
-
无向图
任意两个顶点都是连通的,称为连通图
考点:
如果一个图是连通图,最少有n-1条边
如果一个图是非空连通图,最多有Cn-1_2条边
-
有向图
-
如果任意两点都是强连通的,称为强连通图
-
考点:
如果一个图是强连通图,最少有n条边
-
图的局部–子图
如果一个图点集是原图点集的子集
如果一个图边集是原图边集的子集
满足图的定义,就是子图
如果包含了原图的所有点,可以边去掉一些就是图的生成图
连通分量
无向图中的极大连通子图称为连通分量
子图必须是连通的,而已要连接尽可能多的边和顶点
强连通分量
有向图中的极大强连通子图称为强连通分量
生成树
对于无向图来说
- 包含图中全部顶点的一个极小连通子图
- 边要尽可能少,但要连通
- 无向图的生成树不唯一
在非连通图中,连通分量的生成树构成非连通图的生成森林
边的权值、网
- 边的权–在一个图中,每条边都有权值
- 带权图/网–边上带有权值的图为带权图/网
- 带权路径长度–一条路径上带权所有边的权值之和
几种特殊的图
无向完全图Cn2、有向完全图2Cn2
稀疏图、稠密图
E < V log V
树是连通的图,但没有回路,必有n-1条边,否则就不是树
如果大于n-1,则一定存在回路
有向树,不存在强连通
常见考点
对于无向图G
-
顶点的度之和 = 2E
-
G是连通图,最少有n-1条边
-
如果E>N-1,则一定有回路
-
G是非连通图,则最多有C(n-1)2条边
-
无向图共有Cn2条边
对于有向图G
- 所有顶点的入度和出度之和 = E
- 所有顶点的度之和 = 2E
- 如果G是强连通图,最少有n条边形成回路
- 有向完全图一共有2Cn2条边