bellman-ford(含负权)

1. 松弛操作：不断更新最短路径和前驱结点的操作。

2. 负权回路：绕一圈绕回来发现到自己的距离从0变成了负数，到各结点的距离无限制的降低，停不下来。

  若有dist[b] > backup[a] + w，则表示途中存在从源点可达的权为负的回路。

  我们循环的次数也是有意义的，例如例题，我们抵代k次，最短距离就是从1号点经过不超过k条边到达n的距离

#include <iostream>
#include <cstring>
using namespace std;
const int N = 510, M = 100010;
int n, m, k;
int dis[N], backup[N]; // 备份数组
struct Edge
{
    int a, b, w;
} edges[M];
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 = edges[j].a, b = edges[j].b, w = edges[j].w;
            dis[b] = min(dis[b], backup[a] + w);
        }
    }
    if (dis[n] > 0x3f3f3f3f/2)//存在负权边
        return -1;
    else
        return dis[n];
}
int main()
{
    cin >> n >> m >> k;
    for (int i = 0; i < m; i++)
    {
        cin >> edges[i].a >> edges[i].b >> edges[i].w;
    }
    int t = bellman_ford();
    if (t == -1)
        puts("impossible");
    else
        cout << t << endl;
    system("pause");
    return 0;
}