bzoj1202: [HNOI2005]狡猾的商人

题面在这里
做法：
差分约束。
每个操作（？操作询问傻傻分不清楚）$x, y, z$可以看做$sum[y]-sum[x-1]=z$。
并查集维护$sum[i]$之间的联通性。假如在同一连通块里就判断是否合法。
也可以建边之后用$spfa$判负环。

/*************************************************************
    Problem: bzoj 1202 [HNOI2005]狡猾的商人
    User: fengyuan
    Language: C++
    Result: Accepted
    Time: 224 ms
    Memory: 1300 kb
    Submit_Time: 2017-12-15 20:44:03
*************************************************************/

#include<bits/stdc++.h>
#define rep(i, x, y) for (int i = (x); i <= (y); i ++)
#define down(i, x, y) for (int i = (x); i >= (y); i --)
#define mid ((l+r)/2)
#define lc (o<<1)
#define rc (o<<1|1)
#define pb push_back
#define mp make_pair
#define PII pair<int, int>
#define F first
#define S second
#define B begin()
#define E end()
using namespace std;
typedef long long LL;
//head

const int N = 1005;
int n, m;
int fa[N], sum[N];

inline int getFa(int v)
{
    if (fa[v] == v) return v;
    int tmp = fa[v]; fa[v] = getFa(fa[v]);
    sum[v] += sum[tmp];
    return fa[v];
}

int main()
{
    int Test; scanf("%d", &Test);
    while (Test --){
        scanf("%d%d", &n, &m); bool flag = true;
        rep(i, 0, n) fa[i] = i, sum[i] = 0;
        while (m --){
            int x, y, z, fx, fy; scanf("%d%d%d", &x, &y, &z);
            if (!flag) continue;
            fx = getFa(-- x); fy = getFa(y);
            if (fx != fy){
                fa[fy] = fx; sum[fy] = sum[x] + z - sum[y];
            } else if (sum[x]+z != sum[y]) flag = false;
        } if (flag) puts("true"); else puts("false");
    }
    return 0;
}