POJ 3259（SPFA判断负环）

　　　　　　　　　　　　　　　　　　SPFA判断负环

　　题目：农夫约翰在探索他的许多农场，发现了一些惊人的虫洞。虫洞是很奇特的，因为它是一个单向通道，可让你进入虫洞的前达到目的地！他的N（1≤N≤500）个农场被编号为1..N，之间有M（1≤M≤2500）条路径，W（1≤W≤200）个虫洞。作为一个狂热的时间旅行FJ的爱好者，他要做到以下几点：开始在一个区域，通过一些路径和虫洞旅行，他要回到最开时出发的那个区域出发前的时间。也许他就能遇到自己了:)。为了帮助FJ找出这是否是可以或不可以，他会为你提供F个农场的完整的映射到（1≤F≤5）。所有的路径所花时间都不大于10000秒，所有的虫洞都不大于万秒的时间回溯。

　　问;农夫回到家的时候能发现那个准备出发的自己吗

　　思路：SPFA找负环裸体，开始数组开成3000RE了一次，应该开1000*1000双向通道（虫洞单向）

#include <iostream>
#include <cmath>
#include <cstdio>
#include <cstring>
#include <string>
#include <map>
#include <iomanip>
#include <algorithm>
#include <queue>
#include <stack>
#include <set>
#include <vector>
//const int maxn = 1e5+5;
#define ll long long
ll gcd(ll a,ll b){return b?gcd(b,a%b):a;}
ll lcm(ll a,ll b){return a/gcd(a,b)*b;}
//const int inf = 0x6fffffff;

#define MAX INT_MAX
#define FOR(i,a,b) for( int i = a;i <= b;++i)
#define bug cout<<"--------------"<<endl
using namespace std;
int ver[1000*1000],edge[1000*1000],next[1000*1000],head[1000*1000],d[1000*1000],vis[1000*1000],ans[1000*1000];
int tot;
int T,n,m,w;
void add(int x,int y,int z)
{
    ver[++tot] = y, edge[tot] = z,next[tot] = head[x], head[x] = tot;
}
int SPFA()
{
    queue<int>que;
    que.push(1);
    d[1] = 0;
    vis[1] = 1;
    ans[1]++;
    while(que.size())
    {
        int x=que.front(); que.pop();
        vis[x] = 0;
        for(int i=head[x];i;i=next[i])
        {
            int y = ver[i];
            int z = edge[i];
            if( d[y] > d[x] + z)
            {
                d[y] = d[x] + z;
                if(vis[y] == 1) continue;
                vis[y] = 1;
                que.push(y);
                ans[y]++;
                if(ans[y] >= n ) return true;
            }

        }
    }
    return false;
}
void clearr()
{
    memset(ans,0,sizeof(ans));
    memset(vis,0,sizeof(vis));
    memset(head,0,sizeof(head));
    memset(next,0,sizeof(next));
    memset(edge,0,sizeof(edge));
    memset(ver,0,sizeof(ver));
    memset(d,0x3f,sizeof(d));
    tot=0;
}
int main()
{

      ios::sync_with_stdio(false);

    cin>>T;
    while(T--)
    {
        clearr();
        cin>>n>>m>>w;
        FOR(i,1,m)
        {
            int x,y,z;
            cin>>x>>y>>z;
            add(x,y,z);
            add(y,x,z);
        }
        FOR(i,1,w)
        {
            int x,y,z;
            cin>>x>>y>>z;
            add(x,y,-z);
        }
        if(SPFA() == 1) cout<<"YES"<<endl;
        else cout<<"NO"<<endl;

    }


}