最短路专题二(spfa)

继续上一篇,2道训练指南上的题目


题目:UVa 11090
题意:

给定一个n个点m条边的加权有向图,求平均权值最小的回路。

分析:

使用二分法求解。对于一个猜测值mid,只需要判断是否存在平均值小于mid的回路。如何判断呢?假设存在一个包含k条边的回路,回路上各条变的权值为w1,w2,….,wk,那么
平均值小于mid意味着w1+w2+….+wk《K*mid,即:(w1-mid)+(w2-mid)+…+(wk-mid)<0
换句话说,只要把每条边(a,b)的全w(a,b)变成w(a,b)-mid,再判断新图中是否有负权回路即可。

代码:


#include <cstdio>
#include <iostream>
#include <vector>
#include <algorithm>
#include <cstring>
#include <string>
#include <map>
#include <cmath>
#include <queue>
#include <set>
#include <stack>
using namespace std;
const int INF = 1e9 + 9;
const int mod = 1000007;
const int N = 10000 + 9;
struct Edge {
    int v,  next;
    double w;
} edge[3 * N];
int head[N],  vis[N], n,m,cnt,num[N];
double d[N];
void addedge (int u, int  v, int w) {
    edge[cnt].v = v;
    edge[cnt].w = w;
    edge[cnt].next = head[u];
    head[u] = cnt++;
}
int spfa() {
    queue<int>q;
    for (int i = 1; i <= n; i++) d[i] = INF,q.push(i);
    memset(vis,0,sizeof(vis));
    memset(num,0,sizeof(num));
    d[1] = 0;
    while (!q.empty() ) {
        int u = q.front();
        q.pop();
        vis[u] = 0;
        for (int i = head[u]; ~i; i = edge[i].next) {
            if (d[edge[i].v] > d[u] + edge[i].w) {
                d[edge[i].v] = d[u] + edge[i].w;
                if (!vis[edge[i].v]) {
                    q.push (edge[i].v);
                    vis[edge[i].v] = 1;
                    if(++num[edge[i].v]>n)return 0;
                }

            }
        }
    }
    return 1;
}
bool ok(double x)
{
    for(int i=0;i<m;i++)edge[i].w-=x;
    int ans=spfa();
    for(int i=0;i<m;i++)edge[i].w+=x;
    return !ans;
}
int main() {
     //freopen ("f.txt", "r", stdin);
    int u, v, w,T;
    scanf("%d",&T);
    for(int cas=1; cas<=T; cas++) {

        memset (head, -1, sizeof (head) );
        cnt = 0;
        scanf ("%d%d", &n,&m) ;
        int R=0;
        for (int i = 0; i < m; i++) {
            scanf ("%d%d%d", &u, &v,&w);
            addedge(v,u,w);
            R=max(R,w);
        }
        printf("Case #%d: ",cas);
        if(!ok(R+1)){
            printf("No cycle found.\n");continue;
        }
        double l=0,r=R;

        for(int i=0;i<50;i++){
            double mid=(l+r)/2;
            if(ok(mid))r=mid;
            else l=mid;
        }
        printf("%.2lf\n",l);
    }
    return 0;
}

题目:UVa 11478
题意:

对于一个有向带权图,进行一种操作(v,d),对以点v为终点的边的权值-d,对以点v为起点的边的权值+d。现在给出一个有向带权图,为能否经过一系列的(v,d)操作使图上的每一条边的权值为正,若能,求最小边权的最大值。

分析:

最小值最大,二分答案,令sum(u)表示为作用在节点u之上的所有d之和,这样题目的目标就是确定所有的sum(u)了;
对于边a->b,不难发现操作后的权值是:w(a, b)+sum(a)-sum(b)>=x
那么就可以得到个不等式:sum(b)-sum(a) <= w(a, b)-x,
这样,我们实际得到一个差分约束系统。
那么我们在做spfa的时候,如果发现负权环的话,那么就相当于我们无法得到一个类似最短路的不等式,所以无解。

代码:


#include <cstdio>
#include <iostream>
#include <vector>
#include <algorithm>
#include <cstring>
#include <string>
#include <map>
#include <cmath>
#include <queue>
#include <set>
#include <stack>
using namespace std;
const int INF = 1e9 + 9;
const int mod = 1000007;
const int N = 1000 + 9;
struct Edge {
    int v,  next;
    double w;
} edge[3 * N];
int head[N],  vis[N], n,m,cnt,num[N];
double d[N];
void addedge (int u, int  v, int w) {
    edge[cnt].v = v;
    edge[cnt].w = w;
    edge[cnt].next = head[u];
    head[u] = cnt++;
}
int spfa() {
    queue<int>q;
    for (int i = 1; i <= n; i++) d[i] = INF,q.push(i);
    memset(vis,0,sizeof(vis));
    memset(num,0,sizeof(num));
    d[1] = 0;
    while (!q.empty() ) {
        int u = q.front();
        q.pop();
        vis[u] = 0;
        for (int i = head[u]; ~i; i = edge[i].next) {
            if (d[edge[i].v] > d[u] + edge[i].w) {
                d[edge[i].v] = d[u] + edge[i].w;
                if (!vis[edge[i].v]) {
                    q.push (edge[i].v);
                    vis[edge[i].v] = 1;
                    if(++num[edge[i].v]>n)return 0;
                }

            }
        }
    }
    return 1;
}
bool ok(int x) {
    for(int i=0; i<m; i++)edge[i].w-=x;
    int ans=spfa();
    for(int i=0; i<m; i++)edge[i].w+=x;
    return ans;
}
int main() {
    //freopen ("f.txt", "r", stdin);
    int u, v, w,T;
    while(~scanf ("%d%d", &n,&m) ) {

        memset (head, -1, sizeof (head) );
        cnt = 0;
        int L=1,R=0;
        for (int i = 0; i < m; i++) {
            scanf ("%d%d%d", &u, &v,&w);
            addedge(v,u,w);
            R=max(R,w);
        }
        if(ok(R+1)) printf("Infinite\n"); // 如果可以让每条边权都>ub,说明每条边的权都增加了,
                                            //重复一次会增加得更多...直到无限
        else if(!ok(1)) printf("No Solution\n");
        else {
            while(L < R) {
                int M = L + (R-L+1)/2;
                if(ok(M)) L=M;
                else R = M-1;
            }
            printf("%d\n", L);
        }
    }
    return 0;
}

### SPFA算法概述 SPFA(Shortest Path Faster Algorithm)是一种基于Bellman-Ford算法的改进版本,主要用于解含有负权的单源短路径问题。它通过引入队列来加速松弛操作的过程,在实际应用中表现出了较高的效率[^2]。 SPFA的核心思想是对图中的每进行松弛操作,直到无法进一步更新为止。与传统的Bellman-Ford相比,SPFA仅对那些可能会影响其他节距离值的顶执行松弛操作,从而减少了不必要的计算开销[^3]。 --- ### SPFA算法实现 以下是SPFA算法的一个基本实现: #### 邻接表建图 SPFA通常采用邻接表的方式存储图结构,这有助于减少空间消耗并提高访问速度。 ```cpp #include <iostream> #include <queue> #include <vector> #include <cstring> using namespace std; const int INF = 0x3f3f3f3f; struct Edge { int to, weight; }; int n, m, s; // 节数、数、起编号 vector<Edge> adj[1000]; // 邻接表 bool inQueue[1000]; long long dist[1000]; void spfa(int start) { queue<int> q; memset(dist, 0x3f, sizeof(dist)); // 初始化为无穷大 memset(inQueue, false, sizeof(inQueue)); dist[start] = 0; q.push(start); inQueue[start] = true; while (!q.empty()) { int u = q.front(); q.pop(); inQueue[u] = false; for (auto &edge : adj[u]) { // 对u的所有邻居进行遍历 if (dist[edge.to] > dist[u] + edge.weight) { // 松弛件 dist[edge.to] = dist[u] + edge.weight; if (!inQueue[edge.to]) { // 如果未入队则加入队列 q.push(edge.to); inQueue[edge.to] = true; } } } } } ``` 上述代码实现了SPFA的基本逻辑,其中`adj[]`是一个邻接表数组,用于记录每个节的相邻关系及其权重;`dist[]`保存从起始节到各节的当前短距离;`inQueue[]`标记某个节是否已经在队列中以防止重复入队[^4]。 --- ### 算法优化策略 尽管SPFA在许多场景下表现出色,但在极端情况下其时间复杂度退化至O(VE),因此需要采取一些措施加以优化: 1. **SLF(Small Label First)** 在每次将新节压入队列之前,优先考虑将其插入队首而非队尾。具体来说,如果待插入节的距离小于等于队头元素的距离,则应插于队首;反之则正常追加到队尾。这种方法能够显著提升某些特定测试用例下的性能。 2. **LLL(Large Label Last)** 当发现某次迭代后的最小距离大于某一阈值时,可以跳过后续部分运算过程,因为这些较大的数值很可能不会影响终结果。不过需要注意的是,这种剪枝方式可能会破坏正确性,需谨慎使用。 3. **多端检测机制** 若存在多个候选终,则可在程序结束前提前终止搜索流程一旦确认任意目标可达即可返回相应答案而无需继续完成整个遍历工作流[^1]。 --- ### 复杂度分析 理论上讲,SPFA的时间复杂度介于O(E)和O(VE)之间,取决于输入数据的具体特性以及所选优化手段的效果如何。对于稀疏图而言,由于平均下来每个结只会经历有限次数进出队列的动作,因而整体耗时往往接近线性级别;然而当面对稠密网络或者特殊构造的数据集时,就有可能触发差情形下的平方级增长趋势。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值