【学习笔记】最短路

本文同步在洛谷博客上进行发表。

给定一个有 $n$ 个点，$m$ 条有向边的图。请你计算从 $s$ 出发，到每个点的距离。

这就是经典的单源最短路径问题，我们可以用很多种算法来实现它。

注：

1. 下文所有 $n,m,k$ 均与上方引用语句含义相同。
2. 本文存图方式大多为链式前向星。
   由于下文不给完整程序，故补全链式前向星存图代码如下，方便读者理解下文的内容：

int h[NR], tot;
struct Edge
{
   
	int u, v, w, next;
} e[NR];
void add(int u, int v, int w)
{
   
	tot++;
	e[tot].u = u, e[tot].v = v, e[tot].w = w;
	e[tot].next = h[u], h[u] = tot;
}

不会链式前向星的读者请看这篇文章。

算法 $1$ : $\text{Floyd}$

$\text{Floyd}$ 是一个全源最短路径算法。它的本质是 $\text{DP}$。

状态表示：$di{s}_{i,j,k}$ 表示 $i$ 到 $j$ 间任意一条路径的中间结点（不含两端）编号 $\in [1,k]$ 时，$i,j$ 间最短路径的长度。
状态转移：$di{s}_{i,j,k}=\min (di{s}_{i,j,k-1},di{s}_{i,k,k-1}+di{s}_{k,j,k-1})$

三维的状态可以进行降维，把 $k$ 那维压缩掉。但是注意降维后必须优先枚举