第六章:图(上)
第六章:图(上)
一、基本概念
1.图G相关概念:
1 | Graph = (Vertex, Edge) |
- 无向图:每条边都是无方向的
- 有向图:每条边都是有方向的
- 完全图:任意两个点都有一条边相连
- 稀疏图:有很少边/弧的图
- 稠密图:有较多边/弧的图
- 网:边/弧带有权重的图
2.顶点V相关概念:
- 邻接:边/弧相连的两个顶点之间的关系,例如:(vi, vj)称为vi和vj互为邻接点、<vi, vj>称vi邻接到vj,vj邻接于vi
- 关联/依附:边/弧与顶点之间的关系,例如:(vi, vj)/<vi, vj>称为该边/弧关联于vi和vj
- 顶点的度:与该顶点相关联的边的数目,记为TD(v),在有向图中顶点的度等于该顶点的入度与出度之和。
- 顶点的入度:以v为终点的有向边的条数,记作ID(v)
- 顶点的出度:以v为始点的有向边的条数,记作OD(v)
3.边E相关的概念:
- 路径:接续的边构成的顶点序列
- 路径长度:路径上边/弧的数目/权值之和
- 回路:第一个顶点和最后一个顶点相同的路径。
- 简单路径:除路径起点和终点可以相同外,其余顶点均不相同的路径。
- 简单回路:除路径起点和终点相同外,其余顶点均不相同的路径。
- 连通:无向图中两个顶点间有路径存在,则称为连通。
- 强连通:有向图中两个顶点间有正向、逆向的路径,则称为强连通。
- 连通图:无向图中任意两个顶点之间都是连通的,则称为连通图
- 强连通图:有向图中任意两个顶点之间都是强连通的,则称为强连通图
==补充:有向图无向图边数问题==
- 对于n个顶点的无向图G,若G是连通图则最少有n-1条边,若G是非连通图则最多可能有$C_{n-1}^2$条边
- 对于n个顶点的有向图G,若G是强连通图则最少有n条边(即形成一条回路)
4.子图G相关概念:
连通分量:无向图中的极大连通子图称为连通分量(子图必须连通,且包含尽可能多的顶点和边)
强连通分量:有向图中的极大强连通子图称为强连通分量(子图必须强连通,同时保留尽可能多的边)
生成树:是一个连通图中,包含全部顶点的一个极小连通子图(边尽可能的少,但要保持连通)。
若图中顶点数为n则它的生成树含有n-1条边,对生成树而言若砍去1条边则变成非连通图,若加上1条边则会形成回路。
生成森林:是一个非连通图中,连通分量的生成树构成了非连通图的生成森林。
二、图的存储结构
1.数组表示法AdjacencyMatrix
顶点表是一个一维数组Vexs[n]
用于存放各个顶点的信息:
邻接矩阵是一个二维数组A.arcs[n][n]
用于存放各个顶点之间边的关系:
$$
A.arc[i][j]=\begin{cases}
1,~~~~~if~(Vi, Vj)∈E ~~或<Vi,Vj>∈E \
\
\
0,~~~~~else
\end{cases}
$$
(1)无向图邻接矩阵表示
- 只要确定了顶点编号,图的邻接矩阵表示方式唯一
- 顶点
i
的度 = 第i
行/列中1的个数 - 无向图的邻接矩阵是对称的
- 完全图的邻接矩阵中,对角元素为0其余全为1
- 设图G的邻接矩阵为A(矩阵元素为0/1),则An的元素$A^n[i][j]$等于由顶点
i
到顶点j
的长度为n
的路径的数目。
(2)有向图邻接矩阵表示
- 有向图的邻接矩阵可能是不对称的
- 顶点的出度=第
i
行元素之和、顶点的入度=第i
列元素之和 - 顶点的度=第
i
行元素之和+第i
列元素之和
==补充==:由邻接矩阵表示有向图可引出,邻接矩阵表示有向网:
其中邻接矩阵重新定义为
A.arcs[n][n]
:
$$
A.arc[i][j]=\begin{cases}
Wij,~~~~~if(Vi, Vj)∈E ~~或<Vi,Vj>∈E \(无边/弧)
\
\
\infty,~~~~~else
\end{cases}
$$
如下图所示:
(3)邻接矩阵建立无向网★
邻接矩阵的存储表示:用两个数组分别存储顶点表和邻接矩阵,
1 |
|
采用邻接矩阵表示法创建无向网:
- 输入总顶点vexnum数和总边数arcnum
- 建立顶点表:依次输入点的信息存入顶点表中
- 初始化邻接矩阵,使每个权值初始化为极大值
- 根据图G的边的情况构造邻接矩阵
1 | Status createUDN(AMGraph &G) {//采用邻接矩阵表示法,创建Undirected Net无向网 |
(4)邻接矩阵表示法分析:
优点 |
---|
直观、简单、易于理解 |
便于检查任意一对顶点之间是否存在联系(边) |
便于找到任意顶点的所有邻接点(有联系的点) |
便于计算任意顶点的度:从该点出发的边数为出度、指向该点的边数为入度 |
缺点 |
---|
不利于增加和删除顶点 |
浪费空间—存储稀疏图,点很多而边很少有大量无效元素 |
浪费时间—统计稀疏图中一共有多少条边 |
2.链式表示法AdjacencyList
建立一个顶点表记录各个顶点的信息 和一个线性链表记录关联着同一顶点的边的信息
(1)无向图邻接表表示
- 邻接表不是唯一的,链表结点的顺序是可调换的。
- 无向图中顶点
vi
的度即为第i
个单链表中的节点数。 - 若无向图中有n个顶点与e条边,则邻接表需要n个头结点与2e个表结点来存储(更适合稀疏矩阵的存储)
(2)有向图邻接表表示
- 有向图中顶点
Vi
的出度即为第i
个单链表中的结点数。 - 有向图中顶点
Vi
的入度即为整个单链表中的邻接点域值为i-1
的结点数(困难)。
(3)邻接表建立无向图★
邻接表的存储表示:
1 |
|
采用邻接表表示法创建无向图:
输入总顶点vexnum数和总边数arcnum
建立顶点表:依次输入点的信息存入顶点表中,并且使每个表头结点的指针域初始化为NULL
根据图G的边的情况构造邻接表(单链表):
依次输入每条边依附的两个顶点,查找两个顶点的序号
i
和j
建立边结点将此边结点分别插入到
vi
和vj
对应的两个边链表的头部
1 | Status createUDG(ALGraph &G) {//采用邻接表表示法,创建Undirected Graph无向网 |
(4)邻接表表示法分析:
优点 |
---|
节约稀疏图的空间:需要N个头指针+2E个结点(每个结点至少2个域) |
便于找到任意顶点的所有邻接点(有联系的点) |
便于计算任意顶点的度:对于无向图方便,对于有向图只能计算出度,入度需要逆邻接表来计算 |
缺点 |
---|
不便于检查任意一对顶点之间是否存在联系(边) |
==邻接矩阵与邻接表之间的对比==:
联系:邻接表中每个链表对应于邻接矩阵中的一行,链表中结点的个数等于矩阵行中非零元素的个数。
对比 | 邻接矩阵 | 邻接表 |
---|---|---|
复杂度 | 邻接矩阵的空间复杂度为O(n2) | 邻接表的空间复杂度为O(n+e)顶点数+边数 |
应用性 | 邻接矩阵多用于稠密图 | 邻接表多用于稀疏图 |
表示方式 | 邻接矩阵是唯一的(行列号与顶点编号一致) | 邻接表不是唯一的(链表次序与顶点编号无关)对于任意无向图 |
邻边查找 | 邻接矩阵必须遍历对应的行/列 | 邻接表找有向图入边不方便(其余很方便) |
3.链式表示法的改进:
邻接表缺点 | 方案 | 具体 |
---|---|---|
有向图时度计算困难(邻接表便于求出度、逆邻接表便于求入度) | 十字链表 | 邻接表和逆邻接表结合形成的链表。 |
存储无向图时每条边重复存储的问题 | 邻接多重表 | 删除边、删除结点等操作十分的方便 |
(1)十字链表:
十字链表Orthogonal List,
- 是只能用于存储有向图的一种链式存储结构,
- 为了解决有向图度计算困难问题,将有向图的邻接表和逆邻接表结合起来形成的链表。
- 有向图中的弧对应十字链表中的弧结点,有向图中的顶点在十字链表中有对应的顶点结点。
==案例演示==:根据如下有向图建立十字链表。
十字链表建立完毕
(2)邻接多重表:
邻接多重表,
- 是只能用于存储无向图的一种链式存储结构,
- 为了解决邻接表存储无向图时每条边重复存储的问题而提出的。
- 删除边、删除结点等操作十分的方便
==案例演示==:根据如下无向图建立邻接多重表:
三、图的遍历
注:遍历的实质就是找到每一个顶点的邻接点的过程(需要设置visit数组避免重复访问结点的问题)
1.广度优先搜索BFS
(1)BFS思想:
注:连通图的广度优先遍历类似于树的层次遍历,需要一个辅助队列。
- 从图中某结点出发,首先依次访问该结点的所有相邻邻接结点vi1、vi2、…vin(同一层)
- 再按照这些顶点被访问的先后次序,依次访问与它们相邻的所有未被访问的顶点
- 重复此过程,直到所有顶点均被访问为止
==BFS具体过程如下==:
(2)BFS的实现:
1 | bool visited[MAX_VERTEX_NUM];//访问标记数组(初始值都为false) |
(3)算法分析:
- 用邻接矩阵来表示图,BFS对于每一个被访问到的顶点,都要循环检测矩阵中的完整一行(n个元素),时间复杂度为O(n2)
- 用邻接表来表示图,虽然有2e个表结点但是只需扫描e个结点即可,加上访问n个头结点的时间,时间复杂度为O(n + e)
- 同一个图的邻接矩阵表示方式唯一,因此广度优先遍历序列唯一
- 同一个图的邻接表表示方式不唯一,因此广度优先遍历序列不唯一
2.深度优先搜索DFS
(1)DFS思想:
注:连通图的深度优先遍历类似于树的先根遍历,需要一个辅助栈。
在访问图中起始顶点
v
之后,由顶点v
出发访问它的任一邻接顶点v1
在访问图中邻接顶点
v1
之后,由顶点v1
出发访问它的任一邻接但是还没有被访问过的顶点v2
在访问图中邻接顶点
v2
之后,进行类似的访问v3、v4、v5…直到所有的邻接顶点都被访问过为止当在某顶点时其所有邻接顶点都被访问过,退到上一个访问过的顶点检测其是否还有没有被访问过的邻接顶点(回溯)
如果有则对该未访问顶点进行访问,再从该顶点出发,进行类似的访问v3、v4、v5…直到所有的邻接顶点都被访问过为止
如果没有则再退到上一个访问过的顶点检测其是否还有没有被访问过的邻接顶点(继续回溯)
重复上述过程,直到连通图中的所有顶点都被访问过为止。
(2)DFS的实现:
1 | bool visited[MAX_VERTEX_NUM]; |
- 如果图的存储结构确定(此处邻接矩阵结构确定)时,则DFS遍历的顺序只有一种
- 回溯的过程即为if不执行的情况,无需书写!
(3)算法分析:
- 用邻接矩阵来表示图,遍历图中的每一个顶点都要从头扫描该顶点所在的行,时间复杂度为O(n2)
- 用邻接表来表示图,虽然有2e个表结点但是只需扫描e个结点即可,加上访问n个头结点的时间,时间复杂度为O(n + e)
==DFS与BFS算法效率比较==:
- 空间复杂度相同O(n):DFS借用了栈,而BFS借用了队列
- 时间复杂度只与存储结构有关,而与搜索的路径无关DFS/BFS