C++：用邻接矩阵和邻接表存图

邻接矩阵和邻接表是非常常用的存图的方式，所以有必要浅浅地说一下这两种方式是怎么实现的。此外，还有一些更加高级的方法，比如链式前向星，但是这里只针对基础且最常用的方法，感兴趣的同学可以自行查阅。

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;

其中：

1. h是头节点数组，其下标表示节点的编号，初始所有元素均为-1，表示当前节点拉出的链表为空；
2. e数组的含义是：e[i] 表示编号为 i 的边的终点为 e[i] 点。举个例子，e[1] = 5，代表边1的终点是点5；
3. w数组的含义是：w[i]表示编号为 i 的边的边权（也即长度）；
4. ne数组的含义比较抽象， 它是用来形成链表的数组，被它链起来的一组数是同一个点的所有出边。稍后会举个例子来说明。
5. 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. 加一条由点1指向点2的边，边权为3；
2. 加一条由点2指向点3的边，边权为1；
3. 加一条由点1指向点4的边，边权为2；
4. 加一条由点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);

---