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

输入
第1行:一个整数F表示接下来会有F个农场说明。
每个农场第一行:分别是三个空格隔开的整数:N,M和W
第2行到M+1行:三个空格分开的数字(S,E,T)描述,分别为:需要T秒走过S和E之间的双向路径。两个区域可能由一个以上的路径来连接。
第M +2到M+ W+1行:三个空格分开的数字(S,E,T)描述虫洞,描述单向路径,S到E且回溯T秒。
输出
F行,每行代表一个农场
每个农场单独的一行,” YES”表示能满足要求,”NO”表示不能满足要求。

思路:直接把虫洞的时间取负。跑spfa最短路,判断负环就可以了。

#include<cstdio>
#include<queue>
#include<vector>
#include<cstring>
#define ll long long
using namespace std;
const int maxn=505;

vector< pair<int ,int > > e[maxn];
int dis[maxn], vis[maxn];   //dis当前的最短路 vis是否在队列中

int spfa(int s)
{

    for(int i=0;i<e[s].size();i++)
    {
        if(dis[e[s][i].first]>dis[s]+e[s][i].second)
        {
            dis[e[s][i].first]=dis[s]+e[s][i].second;

            if(vis[e[s][i].first]==1)
            {
                return 0;
            }
            vis[e[s][i].first]=1;

            if(spfa(e[s][i].first)==0)
            {
                return 0;
            }

            vis[e[s][i].first]=0;

        }
    }
    return 1;

}

int main()
{
    int t;
    scanf("%d",&t);
    while(t--)
    {
        for(int i=0;i<maxn;i++)
        {
            e[i].clear();
        }
        int n, m, w;
        int x, y, z;
        scanf("%d%d%d",&n,&m,&w);
        for(int i=0;i<m;i++)
        {
            scanf("%d%d%d",&x,&y,&z);
            e[x].push_back(make_pair(y ,z));
            e[y].push_back(make_pair(x ,z));
        }
        for(int i=0;i<w;i++)
        {
            scanf("%d%d%d",&x,&y,&z);
            e[x].push_back(make_pair(y ,-z));
        }
        for(int i=0;i<maxn;i++)  //初始化
        {
            dis[i]=1e9;
            vis[i]=0;
        }
        dis[1]=0;
        vis[1]=1;
        if(spfa(1)==0)
        {
            printf("YES\n");
        }
        else
        {
            printf("NO\n");
        }

    }

    return 0;
}