SPFA的优化

SPFA的优化

今天打比赛被朴素的SPFA判环卡了，超时丢了30= = 然而在bzoj上是AC的

优化：

Orange大佬：SLF和LLL优化

递归优化（剪枝）

递归优化

就是把朴素的SPFA换成了DFS版（一般用于需要判环的情况）

注意$dis$数组要初始化

代码

#include<iostream>
#include<cstdio>
#include<queue>
#define N 10000
#define E 30000
using namespace std;
int dis[N];bool used[N];
int Next[E],Last[E],Len[E],End[E],cnt;
void Ins(int x,int y,int v){
    End[++cnt]=y,Next[cnt]=Last[x],Last[x]=cnt,Len[cnt]=v;
}
bool SPFA(int u){
    used[u]=true;//用于判断点是否被重新经过，如果被重新经过则存在环
    for(int i=Last[u];i;i=Next[i]){
        int v=End[i];
        if(dis[u]+Len[i]<dis[v]){
            if(used[v])return true;
            dis[v]=dis[u]+Len[i];
            if(SPFA(v))return true;
        }
    }
    used[u]=false;return false;
}
int main(){
    int n,m;scanf("%d%d",&n,&m);
    for(int i=1;i<=n;i++)dis[i]=1e9;//初始化
    for(int i=1;i<=m;i++){
        int id,a,b,c;scanf("%d",&id);
        if(id==1){scanf("%d%d%d",&a,&b,&c);Ins(b,a,c);}
        if(id==2){scanf("%d%d%d",&a,&b,&c);Ins(b,a,-c);}
        if(id==3){scanf("%d%d",&a,&b);Ins(b,a,0),Ins(a,b,0);}
    }
    for(int i=1;i<=n;i++)Ins(n+1,i,0);
    if(SPFA(n+1))puts("No");else puts("Yes");
    return 0;
}