[HNOI2005]狡猾的商人

OJ题号：BZOJ1202、洛谷2294

思路：加权并查集。

每次将给出的区间[x-1,y]对应的v与w[y]-w[x]比较，如果与已知条件冲突则为假账单。如果条件未知加入并查集中，并维护一个类似于前缀和的东西w，对于每个联通块，w[i]表示从anc[i]到i的账目。

#include<cstdio>
#include<cstring>
const int N=100;
class UnionFindSet {
    private:
        int anc[N],w[N];
    public:
        void reset(const int n) {
            memset(w,0,sizeof w);
            for(int i=0;i<=n;i++) anc[i]=i;
        }
        void Union(const int x,const int y,const int v) {
            int p=Find(x),q=Find(y);
            anc[p]=q;
            w[p]=w[y]-w[x]-v;
        }
        int Find(const int x) {
            if(x==anc[x]) return x;
            int t=Find(anc[x]);
            w[x]+=w[anc[x]];
            return anc[x]=t;
        }
        int Weight(const int y,const int x) {
            return w[y]-w[x];
        }
};
UnionFindSet s;
int main() {
    int w;
    scanf("%d",&w);
    while(w--) {
        int n,m;
        scanf("%d%d",&n,&m);
        s.reset(n);
        bool isfalse=false;
        while(m--) {
            int x,y,v;
            scanf("%d%d%d",&x,&y,&v);
            if(isfalse) continue;
            if(s.Find(--x)==s.Find(y)) {
                if(s.Weight(y,x)!=v) {
                    puts("false");
                    isfalse=true;
                }
            }
            else {
                s.Union(x,y,v);
            }
        }
        if(!isfalse) puts("true");
    }
    return 0;
}