搜索与图论：Floyd

Floyd求最短路

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

再给定 k 个询问，每个询问包含两个整数 x 和 y，表示查询从点 x 到点 y 的最短距离，

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

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

输入格式
第一行包含三个整数 n,m,k。

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

接下来 k 行，每行包含两个整数 x,y，表示询问点 x 到点 y 的最短距离。

输出格式
共 k 行，每行输出一个整数，表示询问的结果，若询问两点间不存在路径，则输出 impossible。

数据范围
1 ≤ n ≤ 200,
1 ≤ k ≤ n2
1 ≤ m ≤ 20000,
图中涉及边长绝对值均不超过 10000。

输入样例：

3 3 2
1 2 1
2 3 2
1 3 1
2 1
1 3

输出样例：

impossible
1

算法分析
f[i, j, k]表示从i走到j的路径上除i和j点外只经过1到k的点的所有路径的最短距离。那么f[i, j, k] = min(f[i, j, k - 1), f[i, k, k - 1] + f[k, j, k - 1]。
因此在计算第k层的f[i, j]的时候必须先将第k - 1层的所有状态计算出来，所以需要把k放在最外层。

读入邻接矩阵，将次通过动态规划装换成从i到j的最短距离矩阵

在下面代码中，判断从a到b是否是无穷大距离时，需要进行if(t > INF/2)判断，而并非是if(t == INF)判断，原因是INF是一个确定的值，并非真正的无穷大，会随着其他数值而受到影响，t大于某个与INF相同数量级的数即可

#include <iostream>
#include <algorithm>
using namespace std;
const int N = 210, INF = 1e9;
int n, m, k;
int d[N][N];
void floyd()
{
	for (int k = 1; k <= n; k ++ ) 
		for (int i = 1; i <= n; i ++ ) 
			for (int j = 1; j <= n; j ++ ) 
				d[i][j] = min(d[i][j], d[i][k] + d[k][j]); 
}
int main()
{
	cin >> n >> m >> k;
	for (int i = 1; i <= n; i ++ )
		for (int j = 1; j <= n; j ++ )
			if(i == j) d[i][j] = 0;
			else d[i][j] = INF;
	
	for (int i = 0; i < m; i ++ ) {
		int x, y, z;
		cin >> x >> y >> z;
		d[x][y] = min(d[x][y], z);
	}	
	
	floyd();
	
	while (k -- ) {
		int a, b;
		cin >> a >> b;
		int t = d[a][b];
		if (t > INF / 2) puts("impossible");
		else cout << t << endl;
	}
	
	return 0;
} 

笔记学习：
作者：小呆呆
链接：https://www.acwing.com/solution/content/6337/
来源：AcWing

---