#include <iostream>
#include <cstring>
#include <queue>
using namespace std;
const int N = 510 , M = 5210;
int e[M] , ne[M] , w[M] , h[N] , idx;
int n , m1 , m2;
int dist[N];
bool st[N];
int cnt[N];
void add(int a , int b , int c)
{
e[idx] = b , ne[idx] = h[a] , w[idx] = c , h[a] = idx++;
}
bool spfa()
{
//memset(dist , 0 , sizeof dist);//因为要判断的是负环,如果存在负环,那么肯定存在一个点到虚拟源点的距离是负无穷,
memset(st , 0 , sizeof st); //所以不管原来dist存在值多少,都一定会一直被减,被减的次数一定会超过n
memset(cnt , 0 , sizeof cnt);
queue<int> q;
//模拟一个虚拟源点的存在,等价于把所有点推入队列
for(int i = 1 ; i <= n ; i++)
{
q.push(i);
st[i] = true;
}
while(q.size())
{
int t = q.front();
q.pop();
st[t] = false;
for(int i = h[t] ; ~i ; i = ne[i])
{
int j = e[i];
if(dist[j] > dist[t] + w[i])
{
dist[j] = dist[t] + w[i];
cnt[j] = cnt[t] + 1;
if(cnt[j] >= n) return true;
if(!st[j])
{
st[j] = true;
q.push({j});
}
}
}
}
return false;
}
int main()
{
int T;
cin >> T;
while(T--)
{
memset(h , -1 , sizeof h);
idx = 0;
cin >> n >> m1 >> m2;
for(int i = 0 ; i < m1 ; i ++)
{
int a , b ,c;
cin >> a >> b >> c;
add(a , b , c) , add(b , a , c);
}
for(int i = 0 ; i < m2 ; i++)
{
int a , b , c;
cin >> a >> b >> c;
add(a , b , -c);
}
if(spfa()) puts("YES");
else puts("NO");
}
return 0;
}
如果出发点和负环不连通,不能在出发时刻之前回到出发地,有没有这种情况?上述代码是否解决了这个问题?
与出发点不连通,那就遍历不到那个负环
有这种情况,所以一开始把所有点加进队列里了