Acwing 853. bellman_ford 有边数限制的最短路

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

请你求出从1号点到n号点的最多经过k条边的最短距离，如果无法从1号点走到n号点，输出impossible。

注意：图中可能 存在负权回路 。

输入格式

第一行包含三个整数n，m，k。

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

输出格式

输出一个整数，表示从1号点到n号点的最多经过k条边的最短距离。

如果不存在满足条件的路径，则输出“impossible”。

数据范围

1≤n,k≤500,
1≤m≤10000,
任意边长的绝对值不超过10000。

输入样例：

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

输出样例：

3

bellman_ford算法: 对于有n个结点的图,最多更新n次,这时候的图就是一个链表的形式。

#include<iostream>
#include<cstring>
using namespace std;
const int N = 510;
const int M = 10010;

int dist[N];
int backup[N];  // 备份数组

struct Edge{
    int a,b,w;
}edge[M];

int bf(int n,int m,int k){
    memset(dist,0x3f,sizeof dist);  // dist[] 初始化
    dist[1] = 0;  
    for (int i = 0; i < k; ++i){  // 求1号点到n号点的最多经过k条边的最短距离 思路有点类似于宽搜！！！！  
        memcpy(backup,dist,sizeof dist);  // 备份 防止更新的时候发生串联
        for (int j = 0; j < m; ++j){
            int a = edge[j].a, b = edge[j].b, w = edge[j].w; // a -> b 权值为w
            if (dist[b] > backup[a] + w) dist[b] = backup[a] + w; // 用a去更新b
        }
    }
    if (dist[n] > 0x3f3f3f3f / 2) return -1; // n点可能被正无穷的点更新了一个常数权值w,然后还是无穷,但在数值上不在是 0x3f3f3f3f ,因此判断的时候不能严格根据是否为0x3f3f3f3f 判断该点是否可达。
    return dist[n];
}

int main(){
    int n,m,k,a,b,w;
    cin>>n>>m>>k;
    for (int i = 0; i < m; ++i){
        scanf("%d%d%d",&a,&b,&w);
        edge[i] = {a,b,w}; // 装入 a -> b 权值为w
    }
    
    int t = bf(n,m,k);
    if (t == -1) puts("impossible");
    else cout<<dist[n]<<endl;
}