bzoj1715[Usaco2006 Dec]Wormholes 虫洞*

bzoj1715[Usaco2006 Dec]Wormholes 虫洞

题意：

判一个图是否有负环。点数≤500，边数≤3000。（我看不懂原题，后来看了题解，就直接这样说了）

题解：

SPFA中如果一个点被更新了n次以上，那么这个图中存在负环。

代码：

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <queue>
#define inc(i,j,k) for(int i=j;i<=k;i++)
#define maxn 510
#define INF 0x3fffffff
using namespace std;

inline int read(){
    char ch=getchar(); int f=1,x=0;
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1; ch=getchar();}
    while(ch>='0'&&ch<='9')x=x*10+ch-'0',ch=getchar();
    return f*x;
}
struct e{int t,w,n;}es[maxn*15]; int g[maxn],ess;
void pe(int f,int t,int w){es[++ess]=(e){t,w,g[f]}; g[f]=ess;}
int f,n,m,w,d[maxn],cnt[maxn]; bool inq[maxn]; queue<int>q;
bool spfa(){
    while(!q.empty())q.pop(); inc(i,1,n)d[i]=INF,cnt[i]=inq[i]=0; d[1]=0; inq[1]=1; q.push(1);
    while(!q.empty()){
        int x=q.front(); q.pop(); inq[x]=0;
        for(int i=g[x];i;i=es[i].n)if(d[es[i].t]>d[x]+es[i].w){
            d[es[i].t]=d[x]+es[i].w; cnt[es[i].t]++; if(cnt[es[i].t]>n)return 1;
            if(!inq[es[i].t])q.push(es[i].t),inq[es[i].t]=1;
        }
    }
    return 0;
}
int main(){
    f=read();
    while(f--){
        n=read(); m=read(); w=read(); memset(g,0,sizeof(g)); ess=0;
        inc(i,1,m){int x=read(),y=read(),z=read(); pe(x,y,z); pe(y,x,z);}
        inc(i,1,w){int x=read(),y=read(),z=read(); pe(x,y,-z);}
        if(spfa())puts("YES");else puts("NO");
    }
    return 0;
}

20160912