【题目描述】
John在他的农场中闲逛时发现了许多虫洞。虫洞可以看作一条十分奇特的有向边，并可以使你返回到过去的一个时刻（相对你进入虫洞之前）。John的每个农场有M条小路（无向边）连接着N （从1..N标号）块地，并有W个虫洞（有向边）。其中1<=N<=500,1<=M<=2500,1<=W<=200。 现在John想借助这些虫洞来回到过去（出发时刻之前），请你告诉他能办到吗。 John将向你提供F(1<=F<=5)个农场的地图。没有小路会耗费你超过10000秒的时间，当然也没有虫洞回帮你回到超过10000秒以前。
【输入格式】
* Line 1: 一个整数 F, 表示农场个数。
* Line 1 of each farm: 三个整数 N, M, W。
* Lines 2..M+1 of each farm: 三个数（S, E, T）。表示在标号为S的地与标号为E的地中间有一条用时T秒的小路。
* Lines M+2..M+W+1 of each farm: 三个数（S, E, T）。表示在标号为S的地与标号为E的地中间有一条可以使John到达T秒前的虫洞。
【输出格式】
* Lines 1..F: 如果John能在这个农场实现他的目标，输出"YES",否则输出"NO"。
【样例输入】
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
【样例输出】
NO
YES
floyd判负环：好像会超时2个点
#include<iostream>
#include<cstring>
using namespace std; const int INF=;
const int MAXN=; int f,n,m,w;
int Dist[MAXN][MAXN],Graph[MAXN][MAXN];
int minn; void floyd()
{
memcpy(Graph,Dist,sizeof(Dist));
for(int k=;k<=n;k++)
{
for(int i=;i<k;i++)
for(int j=i+1;j<k;j++)
minn=min(minn,Dist[i][j]+Graph[j][k]+Graph[k][i]);
if(minn<) return;
for(int i=;i<=n;i++)
for(int j=;j<=n;j++)
{
int temp=Dist[i][k]+Dist[k][j];
if(temp<Dist[i][j])
Dist[i][j]=temp;
}
}
} inline void Init()
{
minn=INF;
for(int i=;i<=n;i++)
for(int j=;j<=n;j++)
{
if(i==j) Dist[i][j]=;
else Dist[i][j]=INF;
}
} int main()
{
scanf("%d",&f);
for(int Loop=;Loop<=f;Loop++)
{
scanf("%d %d %d",&n,&m,&w);
Init();
for(int i=;i<=m;i++)
{
int s,e,t;
scanf("%d %d %d",&s,&e,&t);
Dist[s][e]=Dist[e][s]=min(Dist[s][e],t);
}
for(int i=;i<=w;i++)
{
int s,e,t;
scanf("%d %d %d",&s,&e,&t);
Dist[s][e]=min(Dist[s][e],-t);
}
floyd();
if(minn<) printf("YES\n");
else printf("NO\n");
}
return ;
}
spfa判负环：
#include<iostream>
#include<cstring>
using namespace std; const int INF=;
const int MAXN=; struct Edge
{
int to,w,next;
}E[];
int node=,head[]; int f,n,m,w; int Dist[];
bool vis[];
bool flag; void insert(int u,int v,int w)
{
node++;
E[node]=(Edge){v,w,head[u]};
head[u]=node;
} void spfa_dfs(int s)
{
vis[s]=;
for(int i=head[s];i!=;i=E[i].next)
{
int to=E[i].to,w=E[i].w;
if(Dist[s]+w<Dist[to])
{
if(vis[to]){flag=;return;}
else
{
Dist[to]=Dist[s]+w;
spfa_dfs(to);
}
}
}
vis[s]=;
} bool check()
{
flag=;
memset(Dist,0x7f,sizeof(Dist));
memset(vis,,sizeof(vis));
for(int i=;i<=n;i++)
{
Dist[i]=;
spfa_dfs(i);
if(flag) return ;
}
return ;
} int main()
{
scanf("%d",&f);
for(int Loop=;Loop<=f;Loop++)
{
scanf("%d %d %d",&n,&m,&w);
node=;
memset(head,,sizeof(head));
for(int i=;i<=m;i++)
{
int s,e,t;
scanf("%d %d %d",&s,&e,&t);
insert(s,e,t);insert(e,s,t);
}
for(int i=;i<=w;i++)
{
int s,e,t;
scanf("%d %d %d",&s,&e,&t);
insert(s,e,-t);
}
if(check()) printf("YES\n");
else printf("NO\n");
}
return ;
}