[入门必看]数据结构6.2：图的存储及基本操作

最新推荐文章于 2023-07-15 10:22:00 发布

H3T

最新推荐文章于 2023-07-15 10:22:00 发布

阅读量378

点赞数

分类专栏： # 第6章图文章标签：数据结构

本文链接：https://blog.csdn.net/m0_58991879/article/details/130871686

版权

第6章图专栏收录该内容

2 篇文章 0 订阅

订阅专栏

[入门必看]数据结构6.2：图的存储及基本操作

第六章图
6.2 图的存储及基本操作
知识回顾与重要考点

第六章图

小题考频：33
大题考频：11

6.2 图的存储及基本操作

难度：☆☆☆☆

知识总览

6.2.1 邻接矩阵法

在这里插入图片描述

6.2.2 邻接表法

在这里插入图片描述

6.2.3+6.2.4 十字链表、邻接多重表

在这里插入图片描述

6.2.5 图的基本操作

在这里插入图片描述

6.2.1 邻接矩阵法

在这里插入图片描述

图的存储——邻接矩阵法

在这里插入图片描述

1表示两个顶点相互邻接
0表示两个顶点相互不邻接

实现：
在这里插入图片描述

定义一个一维数组存放各个顶点的信息。
——用char类型可以放置更复杂的数据。

用二维数组表示各个边的信息。
——因为此处边只有0和1两种状态，可以使用空间更小的bool类型或者枚举类型。
（int型变量可能会占4B或8B，而bool类型或者枚举类型只占1B）

各个结点的数据在数组中有一个具体的编号，Eg.A-0、B-1、C-2……
利用结点在数组中的下标和邻接矩阵里行和列进行对应。

在这里插入图片描述

如果矩阵中某一个元素为1，意味着与之对应的边或弧存在，为0则不存在。

在这里插入图片描述

无向图：
第i个结点的度=第i行（或第i列）的非零元素个
操作复杂度为 $O (n)$

Eg. 要求结点B的度，检查和B对应的这一行，总共有几个非0元素。
可以看到有3个，所以B的度就应该是3。

有向图：
第i个结点的出度=第i行的非零元素个数
第i个结点的入度=第i列的非零元素个数
第i个结点的度=第i行、第i列的非零元素个数之和

邻接矩阵法存储带权图（网）

在这里插入图片描述

带权图：在对应的位置写上两个顶点之间对应的权值。
如果两个顶点之间不存在边，用无穷表示。

可以定义一个常量INFINITY，取int值的最大值来表示无穷
边的权值可以根据场景改为其他类型

在这里插入图片描述

有时带权图中，会把自己指向自己的这条边的权值设为0
在带权图中，如果一条边是无∞或0，则表示与之对应的两个顶点之间不存在边

邻接矩阵法的性能分析

在这里插入图片描述

空间复杂度： $O(|V|^2)$ ——只和顶点数相关，和实际的边数无关

适合用于存储稠密图

如果一个图中顶点数很多，边数很少，那么邻接矩阵中会有很多空间被浪费。

无向图的邻接矩阵是对称矩阵，可以压缩存储（只存储上三角区/下三角区）

回顾：对称矩阵的压缩存储

邻接矩阵法的性质

——此处讨论的为不带权图

在这里插入图片描述
设图G的邻接矩阵为 $A$ （矩阵元素为0/1），则 $A^n$ 的元素 $A^n\left[ i \right] \left[ j \right]$ 等于由顶点 $i$ 到顶点 $j$ 的长度为 $n$ 的路径的数目

此处 $A$ 指的是整个邻接矩阵（右图），其中的某个元素表示由顶点 $i$ 到顶点 $j$ 的长度为 $n$ 的路径的数目。

在这里插入图片描述

如果两个矩阵相乘的意义是什么？

Eg. $A^2\left[ 1 \right] \left[ 4 \right]$ ：第一行和第四列分别相乘相加（式1）
现实意义：
Eg1. 如乘式中的元素 $a_{1,2}$ 为1，意义是结点A到结点B之间有一条边；
与之相乘的元素 $a_{2,4}$ 为1，意义是结点B到结点D之间有一条边；
相乘值为1，意义是存在1条可以从A到B到D的路径。

Eg2. 乘式中 $a_{1,3}$ 为0，表示从A到C没有路径；
$a_{3,4}$ 为0，表示从C到D没有路径；
相乘值为0，那么表示从A到C到D的路径就不存在