acwing-851. spfa求最短路

851. spfa求最短路

给定一个 n 个点 m 条边的有向图，图中可能存在重边和自环， 边权可能为负数。

请你求出 1 号点到 n 号点的最短距离，如果无法从 1 号点走到 n 号点，则输出 impossible。

数据保证不存在负权回路。

输入格式

第一行包含整数 n 和 m。

接下来 m 行每行包含三个整数 x,y,z，表示存在一条从点 x 到点 y 的有向边，边长为 z。

输出格式

输出一个整数，表示 1 号点到 n 号点的最短距离。

如果路径不存在，则输出 impossible。

数据范围

1≤n,m≤10^5, 图中涉及边长绝对值均不超过 10000。

输入样例：

3 3
1 2 5
2 3 -3
1 3 4

输出样例：

2

思路

spfa 算法思路

明确一下松弛的概念。

考虑节点u以及它的邻居v，从起点跑到v有好多跑法，有的跑法经过u，有的不经过。

经过u的跑法的距离就是distu+u到v的距离。

所谓松弛操作，就是看一看distv和distu+u到v的距离哪个大一点。

如果前者大一点，就说明当前的不是最短路，就要赋值为后者，这就叫做松弛。

spfa算法文字说明：

建立一个队列，初始时队列里只有起始点。

再建立一个数组记录起始点到所有点的最短路径（该表格的初始值要赋为极大值，该点到他本身的路径赋为0）。

再建立一个数组，标记点是否在队列中。

队头不断出队，计算始点起点经过队头到其他点的距离是否变短，如果变短且被点不在队列中，则把该点加入到队尾。

重复执行直到队列为空。

在保存最短路径的数组中，就得到了最短路径。

spfa 图解：

给定一个有向图，如下，求A~E的最短路。

源点A首先入队，然后A出队，计算出到BC的距离会变短，更新距离数组，BC没在队列中，BC入队

B出队，计算出到D的距离变短，更新距离数组，D没在队列中，D入队。然后C出队，无点可更新。

D出队，计算出到E的距离变短，更新距离数组，E没在队列中，E入队。

E出队，此时队列为空，源点到所有点的最短路已被找到，A->E的最短路即为8