poj3259

poj3259

农夫约翰在探索他的许多农场，发现了一些惊人的虫洞。虫洞是很奇特的，因为它是一个单向通道，可让你进入虫洞的前达到目的地！他的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”表示不能满足要求。

思路：根据BELLMAN-FORD算法，如果图中不存在从s可达的负圈，那么最短路不过经过同一个顶点两次，也就是说最多经过V-1条边，

如果存在负圈，那么这个循环更新次数会在第n次也会更新，实际上会无限更新，越来越小，所以一开始对所以点i，都把d[i]初始化为0，那么可以检查

出所有的负圈：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
#define maxn 5050
struct edge
{
    int from,to,cost;//起点 终点 路径长度 
}e[maxn];
int n,m,w;
int dis[maxn];
int cnt;
void add(int a,int b,int c)
{
    e[cnt].from=a;  
    e[cnt].to=b;  
    e[cnt++].cost=c; 
}

//返回1则存在负圈 
int solve(int s)//s边数 
{
    memset(dis,0,sizeof(dis));
    for(int i=0;i<n;i++)
    {
        for(int j=0;j<s;j++)
        {
            edge ed=e[j];
            if(dis[ed.to]>dis[ed.from]+ed.cost)
            {
                    dis[ed.to]=dis[ed.from]+ed.cost;
                if(i==n-1)//若第n次仍然更新，存在负圈 
                    return 1;
            }
            
        }
    }
    return 0;
}
int main()  
{  
    int T;  
    cin>>T;  
    while(T--)  
    {      
        cin>>n>>m>>w;  
        cnt=0;  
        for(int i=0;i<m;i++)
        {  
            int x,y,z;  
            cin>>x>>y>>z;  
            add(x,y,z);
            add(y,x,z);
        }  
        for(int i=0;i<w;i++)
        {  
            int x,y,z;  
            cin>>x>>y>>z;  
            add(x,y,-z); 
        }  
        if(solve(cnt)) cout<<"YES"<<endl;  
        else cout<<"NO"<<endl;  
    }  
    return 0;  
}