本文同步在洛谷博客上进行发表。
给定一个有 n n n 个点, m m m 条有向边的图。请你计算从 s s s 出发,到每个点的距离。
这就是经典的单源最短路径问题,我们可以用很多种算法来实现它。
注:
- 下文所有 n , m , k n,m,k n,m,k 均与上方引用语句含义相同。
- 本文存图方式大多为链式前向星。
由于下文不给完整程序,故补全链式前向星存图代码如下,方便读者理解下文的内容:
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 1 1 : Floyd \text{Floyd} Floyd
Floyd \text{Floyd} Floyd 是一个全源最短路径算法。它的本质是 DP \text{DP} DP。
状态表示: d i s i , j , k dis_{i,j,k} disi,j,k 表示 i i i 到 j j j 间任意一条路径的中间结点(不含两端)编号 ∈ [ 1 , k ] \in [1,k] ∈[1,k] 时, i , j i,j i,j 间最短路径的长度。
状态转移: d i s i , j , k = min ( d i s i , j , k − 1 , d i s i , k , k − 1 + d i s k , j , k − 1 ) dis_{i,j,k}=\min(dis_{i,j,k-1},\ dis_{i,k,k-1}+dis_{k,j,k-1}) disi,j,k=min(disi,j,k−1, disi,k,k−1+disk,j,k−1)
三维的状态可以进行降维,把 k k k 那维压缩掉。但是注意降维后必须优先枚举