acwing算法基础之搜索与图论--bellman-ford算法

1 基础知识

对于单源最短路问题，且存在负权重的边时，使用bellman-ford算法来进行求解。但，如果图中存在负权环，那该最短路问题可能无解（如果最短路径上存在负权环，那一直绕着负权环走，最短距离可以等于负无穷大）。bellman-ford算法可以用来找负权环，但一般不使用它来找负权环，而是用spfa算法来找负权环。

bellman-ford算法的关键步骤：

1. 初始化距离数组dist，然后dist[1] = 0。
2. 循环处理n次（表示最短路径上允许最多有n条边）。
3. 对于每一次循环，备份距离数组dist得到backup，遍历每一条边(a,b,w)，执行操作dist[b] = min(dist[b], backup[a] + w)，该操作也被称为松弛操作。
4. dist[n]，即为1号结点到n号结点的最短距离。如果dist[n] > 0x3f3f3f3f / 2，返回-1，即答案不存在；否则，返回dist[n]。

bellman-ford算法的时间复杂度是O(nm)。

bellman-ford算法的核心是松弛，即dist[b] = min(dist[b], dist[a] + edge[a][b])。

注意：

1. 对所有边松弛1次，可以得到与起点一条边相连的结点的最短距离。
2. 对所有边松弛2次，可以得到与起点两条边相连的结点的最短距离。
3. 对所有边松弛3次，可以得到与起点三条边相连的结点的最短距离。
4. ……
5. 对所有边松弛n-1次，可以得到与起点n-1条边相连的结点的最短距离。

2 训练

题目1：853. 有边数限制的最短路

#include <bits/stdc++.h>

using namespace std;

const int N = 510, M = 1e4 + 10;
int n, m, k;
int mindist[N];
int backup[N];
struct Edge {
    int a;
    int b;
    int w;
}edges[M];

void bellman_ford() {
    memset(mindist, 0x3f, sizeof mindist);
    mindist[1] = 0;
    
    for (int i = 0; i < k; ++i) {
        memcpy(backup, mindist, sizeof mindist);
        for (int j = 0; j < m; ++j) {
            int a = edges[j].a;
            int b = edges[j].b;
            int w = edges[j].w;
            if (backup[a] != 0x3f3f3f3f && mindist[b] > backup[a] + w) {
                mindist[b] = backup[a] + w;
            }
        }
    }
    
    if (mindist[n] == 0x3f3f3f3f) {
        cout << "impossible" << endl;
    } else {
        cout << mindist[n] << endl;
    }
    
    return;
}

int main() {
    cin >> n >> m >> k;
    for (int i = 0; i < m; ++i) {
        cin >> edges[i].a >> edges[i].b >> edges[i].w;
    }
    
    bellman_ford();
    
    return 0;
}