bzoj 1202: [HNOI2005]狡猾的商人

可以假设一个A数组为第i天之前的收入，即前缀和。

每次输入的s，t，v即At - As-1 = v。

对，就是一个差分约束。

实际上全是等式即图中从u到v的所有路径长度相同。

于是可以用并查集做

Si表示从i到Fi相差多少。

#include <cstdio>
#include <algorithm>
#include <cstring> //一定要记得打！！ 
using namespace std;
#define N 1008

int T;
int n,m,F[N],S[N];
bool Right;

void clean()
{
    memset(S,0,sizeof(S));
    for (int i = 0;i <= n + 1;i++) F[i] = i;
    Right = true;
}

int find(int x)
{
    if (x == F[x]) return x;
    int fx = F[x];
    F[x] = find(F[x]);
    S[x] += S[fx];
    return (F[x]);
}

void debug()
{
    for (int i = 0;i <= n;i++) printf("%d ",S[i]);
    printf("
");
    for (int i = 0;i <= n;i++) printf("%d ",F[i]);
    printf("
"); 
}

void work()
{
    scanf("%d%d",&n,&m);
    clean();
    while (m--)
    {
        int s,t,v;
        scanf("%d%d%d",&s,&t,&v); s--;
        int fx = find(s),fy = find(t);
        if (fx != fy)
        {
            F[fx] = fy;
            S[fx] = S[t] - S[s] + v;
        }
        else if (S[s] - S[t] != v) Right = false;
//        debug(); 
    }
    Right?printf("true
"):printf("false
");
}

int main()
{
    scanf("%d",&T);
    while (T--) work();
//    while(1){}
    return 0;
}