SPFA的優化

SPFA的優化

今天打比賽被樸素的SPFA判環卡了，超時丟了30= = 然而在bzoj上是AC的

優化：

Orange大佬：SLF和LLL優化

遞歸優化（剪枝）

遞歸優化

就是把樸素的SPFA換成了DFS版（一般用於需要判環的情況）

注意dis$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;
}