这道题都没有用Ford的啊,跑的比SPFA还快,不加优化就可以过...
看到这一组组的不等式,就可以想到差分约束了,但是这道题需要进行转化,我这里跑的是最短路(好多大佬都跑的最长路qwq)。
- \(b\ge a-c\)
- \(a\ge b+c\)
- 这个变化就得看好了\(a\ge b\) && \(b\ge a\)
这些了解了之后,直接看代码就可啦~
#include
using namespace std;
struct node{
int l , r , w;
};
node e[50010];
int n , m , tot;
long long ans;
int dis[10010];
void add(int x , int y , int z){
e[++tot].l = x;
e[tot].r = y;
e[tot].w = z;
}
int main(){
cin >> n >> m;
for(int i = 1; i <= m; i++){
int f , x , y , z;
cin >> f >> x >> y;
if(f == 1){
cin >> z;
add(x , y , -z);
}
if(f == 2){
cin >> z;
add(y , x , z);
}
if(f == 3){
add(x , y , 0);
add(y , x , 0);
}
}
memset(dis , 127 , sizeof(dis));
dis[1] = 0;
for(int i = 1; i < n; i++)
for(int j = 1; j <= tot; j++)
dis[e[j].r] = min(dis[e[j].r] , dis[e[j].l] + e[j].w);
for(int j = 1; j <= tot; j++)
if(dis[e[j].r] > dis[e[j].l] + e[j].w){
cout << "No";
return 0;
}
cout << "Yes";
return 0;
}