POJ 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秒。

2
3 3 1
1 2 2
1 3 4
2 3 1
3 1 3
3 2 1
1 2 3
2 3 4
3 1 8

输出

F行，每行代表一个农场

每个农场单独的一行，” YES”表示能满足要求，”NO”表示不能满足要求。

NO
YES

思路：穿过虫洞时间倒流，即边权为负数。因此只需要判断一下能否构成负环就行了。

#include<stdio.h>
#include<algorithm>
#include<string.h>
#include<stdlib.h>
using namespace std;
struct node
{
    int s,e,t;
}e[30005];
int n,m,w;
int cnt,dis[505];
void add(int a,int b,int c)
{
    e[cnt].s=a;
    e[cnt].e=b;
    e[cnt].t=c;
    cnt++;
}
int Bell_man()
{
    int i,j;
    int flag;
    for(i=0;i<505;i++)
        dis[i]=205;
    for(i=1;i<=n;i++)//最多松弛n次
    {
        flag=0;
        for(j=0;j<cnt;j++)
        {
            if(dis[e[j].e]>dis[e[j].s]+e[j].t)//松弛操作
            {
                dis[e[j].e]=dis[e[j].s]+e[j].t;
                flag=1;
            }
        }
        if(!flag)//若不再进行松弛操作代表都找到了最短路径
            break;
    }
    //判断负环：负环能无限进行松弛操作
    for(i=0;i<cnt;i++)
    {
        if(dis[e[i].e]>dis[e[i].s]+e[i].t)
            return 1;
    }
    return 0;
}
int main()
{
    int i,j,f;
    scanf("%d",&f);
    while(f--)
    {
        cnt=0;
        scanf("%d%d%d",&n,&m,&w);
        for(i=0;i<m;i++)
        {
            int a,b,c;
            scanf("%d%d%d",&a,&b,&c);
            add(a,b,c);
            add(b,a,c);
        }
        for(i=0;i<w;i++)
        {
            int a,b,c;
            scanf("%d%d%d",&a,&b,&c);
            add(a,b,-c);
        }

        if(Bell_man())
            printf("YES\n");
        else
            printf("NO\n");
    }
    return 0;
}