邻接矩阵和邻接表是非常常用的存图的方式,所以有必要浅浅地说一下这两种方式是怎么实现的。此外,还有一些更加高级的方法,比如链式前向星,但是这里只针对基础且最常用的方法,感兴趣的同学可以自行查阅。
1、邻接矩阵
邻接矩阵一般用于存储稠密图,也就是边数和点数的平方差不多是一个数量级的时候,因为边比较多,所以看起来密密麻麻的,所以叫稠密图。邻接矩阵非常简单粗暴且直白,就是一个二维数组,假如点数是n,那么就开一个n * n的二维数组g,其中g[a][b]表示的就是a点到b点的这条边的长度。
其缺点也是很明显的,首先就是占用空间太多了(所以适用于边数就较多的稠密图);其次就是只能保留两点之间一条边的信息,如果有重边就没办法了。
2、邻接表
邻接表一般用于存储稀疏图,也就是边数和点数差不多是一个数量级的图。邻接表就是给每个点拉一条链表,每个链表存储对应点出边的信息。
这里介绍的邻接表的链表实现方法是用数组模拟的,适用于写算法题,因为用数组模拟链表可以很快的访问元素;而并不适用于工程化的项目,如果是工程化的项目,应该用指针来实现链表,在这里可以看一下大致的思路,如有需求请移步其他文章。
这里用数组来模拟链表,因为要把每个点都拉一条链表,所以头节点也要开成一个数组。
const int N = 1e5;
int h[N], e[N], ne[N], w[N], idx;
其中:
- h是头节点数组,其下标表示节点的编号,初始所有元素均为-1,表示当前节点拉出的链表为空;
- e数组的含义是:e[i] 表示编号为 i 的边的终点为 e[i] 点。举个例子,e[1] = 5,代表边1的终点是点5;
- w数组的含义是:w[i]表示编号为 i 的边的边权(也即长度);
- ne数组的含义比较抽象, 它是用来形成链表的数组,被它链起来的一组数是同一个点的所有出边。稍后会举个例子来说明。
- idx指的是当前用到了数组的哪个位置,每次添加新结点都让idx自增一。
下面给出插入一条边的代码:
//添加一条由a指向b的边,边权为c
void add(int a, int b, int c)
{
e[idx] = b;
w[idx] = c;
ne[idx] = h[a];
h[a] = idx ++ ;
}
idx记录的是边的编号。举个例子来说明:
假设有4个点,有以下操作:
- 加一条由点1指向点2的边,边权为3;
- 加一条由点2指向点3的边,边权为1;
- 加一条由点1指向点4的边,边权为2;
- 加一条由点4指向点2的边,边权为3;
其中边的编号依次增加。
画出图是这个样子的:
其中黑色数字代表编号,红色数字代表边权。
那么用代码就要进行以下操作:
add(1, 2, 3);
add(2, 3, 1);
add(1, 4, 2);
add(4, 2, 3);
这里假设idx从1开始,其实从0开始也无所谓哈,毕竟边的编号不是那么重要。一般都从0开始,因为不用多写一个=1,但这里为了清楚的展示,就从一开始了。那么操作完后数组为:
现在给出一个遍历一个点所有出边的代码:
//a为想要遍历的点的编号
for (int i = h[a]; i != -1; i = ne[i])
{
//具体执行的操作……
}
拿点1举个例子,首先h[1]为3,说明点1有一条出边是边3;然后ne[3]为1,说明点1还有一条出边是边1;最后ne[1]为-1,说明已经到了链表尾,也就是没有出边了。这与画的图相符。
如果是工程化的项目,那么可能需要定义一个结构体来存储当前是哪条边,以及这条边的终点是哪个点,感兴趣的同学可以自己查阅资料学习,这里就不赘述。
最后,顺便提一下无向图。无向图其实就是特殊的有向图,实现起来就是在加边的时候多加一条反向的边即可。用邻接矩阵和邻接表分别举个例子:
邻接矩阵:
//向点1和点2之间加一条边权为2的边
g[1][2] = 2;
g[2][1] = 2;
邻接表:
//向点1和点2之间加一条边权为2的边
add(1, 2, 2);
add(2, 1, 2);