SPFA算法详讲

SPFA算法，即最短路径快速算法（Shortest Path Faster Algorithm），是一种基于Bellman-Ford算法的最短路径算法。与Dijkstra算法相比，SPFA算法适用于有负权边的图，并且在一些情况下能够更快地求出最短路径。

SPFA算法的基本思想是利用队列来优化Bellman-Ford算法中的松弛操作。具体步骤如下：

1. 初始化距离数组dist，将起始点s的距离设为0，其余点的距离设为无穷大。
2. 将起始点s加入队列。
3. 当队列不为空时，进行以下操作： a. 取出队首点u，将其标记为已访问。 b. 遍历与点u相邻的所有边，即u能够到达的所有点v。 c. 如果通过边(u, v)可以使得起始点s到点v的距离dist[v]变小，则进行松弛操作，更新dist[v]的值，并将点v加入队列（如果点v尚未被访问过）。 d. 如果队列中点v的入队次数超过了图中点的个数（即存在负环），则说明图中存在负权环，算法终止。
4. 如果目标点t的距离dist[t]仍然是无穷大，则说明起始点s无法到达目标点t。

SPFA算法的时间复杂度取决于边的数量和图的结构。在一般情况下，SPFA算法的时间复杂度为O(kE)，其中k是一个常数（一般在2到3之间），E是边的数量。然而，在最坏情况下，SPFA算法的时间复杂度可以达到O(VE)，其中V是点的数量，E是边的数量。

总之，SPFA算法是一种解决最短路径问题的有效算法，它在带负权边的图中表现出良好的性能，并且在一些情况下能够更快地求出最短路径。

#include <iostream>
#include <vector>
#include <queue>
using namespace std;

const int INF = 1e9;

vector<vector<pair<int, int>>> graph;  // 有向图的邻接表表示
vector<int> dist;  // 存储距离

void spfa(int start) {
    int n = graph.size();
    dist.resize(n, INF);
    dist[start] = 0;

    vector<bool> inQueue(n, false);
    queue<int> q;
    q.push(start);
    inQueue[start] = true;

    while (!q.empty()) {
        int u = q.front();
        q.pop();
        inQueue[u] = false;

        for (auto& edge : graph[u]) {
            int v = edge.first;
            int weight = edge.second;

            if (dist[u] + weight < dist[v]) {
                dist[v] = dist[u] + weight;

                if (!inQueue[v]) {
                    q.push(v);
                    inQueue[v] = true;
                }
            }
        }
    }
}

int main() {
    int n, m;
    cin >> n >> m;

    graph.resize(n);

    for (int i = 0; i < m; i++) {
        int u, v, weight;
        cin >> u >> v >> weight;
        graph[u].push_back({v, weight});
    }

    int start;
    cin >> start;

    spfa(start);

    for (int i = 0; i < n; i++) {
        cout << "距离 " << start << " 到 " << i << " 的最短路径长度为：";
        if (dist[i] == INF) {
            cout << "INF" << endl;
        } else {
            cout << dist[i] << endl;
        }
    }

    return 0;
}
 

题目：

题目描述： 给定一个有向图，每条边上有一个权值，求从起点到每个点的最短路径。

输入： 第一行包含两个整数 n 和 m，代表图中的点数和边数。 接下来 m 行，每行三个整数 u、v、w，代表一条从点 u 到点 v 的有向边，边的权值为 w。 最后一行一个整数 start，代表起点。

输出： 输出 n 行，每行一个整数，表示从起点到该点的最短路径长度。如果路径不存在，则输出 INF。