HNOI2005狡猾的商人

传送门
题目意思很简单，意思是说给你一些区间和，要你判断这些区间和是否合法。
开始只想到了差分约束的方法，就是搞成前缀和的形式
$sum[r] - sum[l-1] >= w$ 且 $sum[r]-sum[l-1] <= w$这样利用SPFA建图，利用三角形不等式，即dis[v] > dis[x] + w[i],每个条件建出sum[r]->sum[l-1] 边权为w，sum[l-1]->sum[r]边权为-w两条边就好了。

看了下并查集的做法，感觉有点深奥，思考了一番，发现其实很好理解。
我们不难发现，如果你知道l到点p之间的和，又知道r到p的和，现在给你l~r之间的和，那是不是就可以判断合法了呢？于是问题就转化成这样，那我们要如何求呢？我们可以把每个条件看成是l-1到r的一条权值为w的边，我们维护一个数组c代表当前点到这个联通快的根的距离，如果l-1和r在一个集合里就可以判断了。
否则我们把两个集合合并，我们知道c[r]-c[l] = w,那么c[root[r]] = c[l] - c[r] - w（手推一下）。当时我看到这里我有个疑问.为什么只更新r所在联通快的根节点？r到新根节点的距离不是改变了吗？相信不少人也会有这个疑问。但是实际上是没事的，因为当前r还是接在他本来的祖先下边，我们find的时候路径压缩的时候会维护当前点的c数组，如果现在计算了，之后会重复算。

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<cstdlib>
#include<algorithm>

using namespace std;
typedef long long LL;

#define REP(i,a,b) for(register int i = (a), i##_end_ = (b); i <= i##_end_; ++i)
#define DREP(i,a,b) for(register int i = (a),i##_end_ = (b); i >= i##_end_; --i)

template<typename T> inline bool chkmin(T &a,const T &b) { return a > b ? a = b ,1 : 0;}
template<typename T> inline bool chkmax(T &a,const T &b) { return a < b ? a = b, 1 : 0;}

int read()
{
    register int f = 1,s = 0;char c = getchar();
    while(!isdigit(c)) { if(c == '-')f = -1; c = getchar();}
    while(isdigit(c)) { s = s * 10 + c - '0';c = getchar();}
    return f * s;
}

const int maxn = 100010;
int T,n,m;
int s[maxn],fa[maxn];
//用s维护与当前联通快的根节点的差，即s[x] - s[fa[x]]
//考虑为什么在一个联通块里就可以直接求出答案？
//因为当前给出的l,r,w,如果我知道l到某个点的差值，r到某个点的差值，我可以直接判断
//所以如果在同一个集合里，直接算
//不在的话，我们可以以任意一个为根节点来合并
//并查集路径压缩的时候要记得维护差值信息

int find(int x)
{
    if(x == fa[x])return x;
    int f = find(fa[x]);
    s[x] += s[fa[x]];
    fa[x] = f;
    return fa[x];
}

int main()
{
#ifndef ONLINE_JUDGE
    freopen("1.in","r",stdin);
    freopen("1.out","w",stdout);
#endif
    T = read();
    REP(I,1,T)
    {
        n = read(),m = read();
        REP(i,0,n)fa[i]= i,s[i] = 0;
        int flag = 0;
        REP(i,1,m)
        {
            int l = read(),r = read(),w = read();
            l--;
            int f1 = find(l),f2 = find(r);
            if(f1 == f2)
            {
                if(s[l] - s[r] != w)flag=1;
            }
            else
            {
                fa[f2] = f1;
                s[f2] = s[l] - w - s[r]; 
            }
        }
        if(flag)puts("false");
        else puts("true");
    }
    return 0;
}