Acwing_853（有边数限制的最短路）

原题链接：

853. 有边数限制的最短路 - AcWing题库

题解：

dijkstra不能解决负权边是因为 dijkstra要求每个点被确定后st[j] = true，dist[j]就是最短距离了，之后就不能再被更新了（一锤子买卖），而如果有负权边的话，那已经确定的点的dist[j]不一定是最短了

本题的边权可能为负数，且规定了从1号点到n号点最多经过k条边的限制条件，因此可以用bellman_ford算法进行求解

bellman_ford算法通俗地来讲就是：假设 1 号点到 n 号点是可达的，每一个点同时向指向的方向出发，更新相邻的点的最短距离，通过循环 n-1 次操作，若图中不存在负环，则 1 号点一定会到达 n 号点，若图中存在负环，则在 n-1 次松弛后一定还会更新。

因此bellman_ford算法可以用于：

1）求存在负权边的单源最短路径；

2）判断图中是否存在负环。

代码：

#include<bits/stdc++.h>
using namespace std;
const int N = 5e2 + 10, M = 1e5 + 10;
struct Edge {
	int a, b, w;
}edge[M];
int dis[N], backup[N];//backup数组是备份用的
int n, m, k;

int bellman_ford() {
	memset(dis, 0x3f, sizeof(dis));
	dis[1] = 0;

	for (int i = 0;i < k;i++) {
		memcpy(backup, dis, sizeof(dis));//因为每次迭代的时候如果涉及到串联操作可能会发生错误，需要确保使用上一轮迭代时的值
		for (int j = 0;j < m;j++) {//松弛操作
			int a = edge[j].a, b = edge[j].b, w = edge[j].w;
			dis[b] = min(dis[b], backup[a] + w);
		}
	}
	if (dis[n] > 0x3f3f3f3f / 2) return -1;
	//因为较大的值也会被更新为较小的值，所以在一定数据范围内，可以假定这个数如果大于0x3f3f3f3f / 2就比表示不存在满足条件的路径
	return dis[n];
}

int main() {
	cin >> n >> m >> k;
	for (int i = 0;i < m;i++) {
		int x, y, z;cin >> x >> y >> z;
		edge[i] = { x,y,z };
	}
	int t = bellman_ford();
	if (t == -1 && dis[n] != -1) cout << "impossible";//还有一种可能就是最小距离就是-1，因此需要特判一下
	else cout << t;
}