版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/qq_42369449/article/details/82811440
算法:差分约束+并查集(维护)/Floyed
难度:NOIP
题解:
差分约束应该也不难发现,但是这个差分怎么去维护呢?
这就用到了带权并查集
差分不等式为f[y]-s[x-1]=z;
维护呢,就去看x,y;是否已经在同一个集合中,如果已经在了,就去判断是否满足差分不等式,如果不满足,就是false;
如果不在同一个集合中,就merge,回溯时更新f即可。
代码如下:
#include <cstdio>
#include <iostream>
#include <cstring>
#include <cstdlib>
#include <cmath>
#include <algorithm>
#include <deque>
#include <queue>
#define ll long long
#define N 20005
using namespace std;
int fa[N],f[N];
int findf(int x)
{
if(x==fa[x]) return x;
int temp=fa[x];
fa[x]=findf(fa[x]);
f[x]+=f[temp];
return fa[x];
}
int main()
{
int T;
scanf("%d",&T);
while(T--)
{
int n,m,fla=0;
scanf("%d%d",&n,&m);
memset(fa,0,sizeof(fa));
memset(f,0,sizeof(f));
for(int i = 1;i <= n;i++)
{
fa[i]=i;
}
for(int i = 1;i <= m;i++)
{
int x,y,w;
scanf("%d%d%d",&x,&y,&w);
int t1=findf(x-1);
int t2=findf(y);
if(t1!=t2)
{
fa[t1]=t2;
f[t1]=f[y]-f[x-1]+w;
}else if(abs(f[y]-f[x-1])!=abs(w))
{
fla=1;
}
}
if(fla)
{
puts("false");
}else
{
puts("true");
}
}
return 0 ;
}