bzoj 1202（差分约束）/（带权并查集）

传送门
如果看到题不知道要转前缀和就可以退竞晒了。。。
后续两种方案解决：差分约束（Time：276ms）/带权并查集（Time：112ms）
题解1：
（差分约束我居然1A了啦啦啦~~~，虽然这是道大水题）
s[b]-s[a-1]=c，一看就是差分约束的套路：
s[a-1]≤s[b]-c，连边（b，a-1，-c）
s[b]≤s[a-1]+c，连边（a-1，b，c）
将所有点push进队列用SPFA找负权环即可，找到为false，没有为true。

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#include<queue>
using namespace std;
const int MAXN=104,MAXM=1004,INF=0x3f3f3f3f;
int n,m,S,T;
int head[MAXN],etot;
struct EDGE {
    int v,nxt,w;
}e[MAXM<<1];
bool vis[MAXN];
int dis[MAXN],in[MAXN];
inline int read() {
    int x=0,f=1;char c=getchar();
    while (c<'0'||c>'9') {if (c=='-') f=-1;c=getchar();}
    while (c>='0'&&c<='9') x=x*10+c-'0',c=getchar();
    return x*f;
}
inline void adde(int u,int v,int w) {
    e[etot].nxt=head[u],e[etot].v=v,e[etot].w=w,head[u]=etot++;
}
inline bool SPFA(int S,int T) {
    queue<int > q;
    for (int i=S;i<=T;++i)
        q.push(i),vis[i]=true,in[i]=1,dis[i]=0;
    while (!q.empty()) {
        int p=q.front();
        q.pop();
        vis[p]=false;
        for (int i=head[p];~i;i=e[i].nxt) {
            int v=e[i].v;
            if (dis[v]<dis[p]+e[i].w) {
                dis[v]=dis[p]+e[i].w;
                if (!vis[v]) {
                    vis[v]=true,q.push(v);
                    if (++in[v]>n) return false;
                }
            }
        }
    }
    return true;
}
int main() {
//  freopen("bzoj 1202.in","r",stdin);
    int kase=read();
    while (kase--) {
        etot=0,S=INF,T=-INF;
        memset(head,-1,sizeof(head));
        n=read(),m=read();
        for (int i=0;i<m;++i) {
            int u=read(),v=read(),c=read();
            adde(u-1,v,c);
            adde(v,u-1,-c);
            S=min(S,u-1),T=max(T,v);
        }
        puts(SPFA(S,T)?"true":"false");
    }
    return 0;
}

题解2：
用带权并查集维护节点到根的距离。
P.S.WA了两次因为初始化fa数组时没有考虑0，输入的（u，v）会当（u-1，v）处理，所以可能会出现0。。。
再说一句：对于多组数据，带权并查集初始化一定要给val赋0！！！

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
const int MAXN=104;
int n,m;
int fa[MAXN],val[MAXN];
inline int read() {
    int x=0,f=1;char c=getchar();
    while (c<'0'||c>'9') {if (c=='-') f=-1;c=getchar();}
    while (c>='0'&&c<='9') x=x*10+c-'0',c=getchar();
    return x*f;
}
int find(int x) {
    if (fa[x]==x) return x;
    int t=fa[x];
    fa[x]=find(fa[x]);
    val[x]+=val[t];
    return fa[x];
}
inline bool merge(int x,int y,int d) {
    int fx=find(x),fy=find(y);
    if (fx==fy) return val[y]-val[x]==d;
    else {
        fa[fy]=fx;
        val[fy]=val[x]+d-val[y];
        return true;
    }
}
int main() {
//  freopen("bzoj 1202.in","r",stdin);
    int kase=read();
    while (kase--) {
        n=read(),m=read();
        for (int i=0;i<=n;++i) fa[i]=i,val[i]=0;
        bool ok=true;
        for (int i=0;i<m;++i) {
            int u=read(),v=read(),d=read();
            if (!merge(u-1,v,d)) {
                ok=false;
                break;
            }
        }
        puts(ok?"true":"false");
    }
    return 0;
}