bzoj 1202[HNOI2005]狡猾的商人 （luogu 2294）

算法：差分约束+并查集（维护）/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 ;
}