[bzoj 1202--HNOI2005]狡猾的商人

刁姹接到一个任务，为税务部门调查一位商人的账本，看看账本是不是伪造的。账本上记录了n个月以来的收入情况，其中第i个月的收入额为Ai(i=1,2,3…n-1,n) 。当 Ai大于0时表示这个月盈利Ai 元，当 Ai小于0时表示这个月亏损Ai元。所谓一段时间内的总收入，就是这段时间内每个月的收入额的总和。
刁姹的任务是秘密进行的，为了调查商人的账本，她只好跑到商人那里打工。她趁商人不在时去偷看账本，可是她无法将账本偷出来，每次偷看账本时她都只能看某段时间内账本上记录的收入情况，并且她只能记住这段时间内的总收入。
现在，刁姹总共偷看了m次账本，当然也就记住了m段时间内的总收入，你的任务是根据记住的这些信息来判断账本是不是假的。

这道题很明显是一道差分约束系统，那约束条件也很容易推出来。
设s[i]为前i个月的总收入。
那条件为s[x-1]<=s[y]-c,s[y]<=s[x-1]+c。
那这道题就解决了。
（这道题还可以用带权并查集和贪心，但本蒟蒻不会）

#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<cstdlib>
using namespace std;
struct node
{
    int x,y,c,next;
}a[2100];int len,last[2100];
void ins(int x,int y,int c)
{
    len++;
    a[len].x=x;a[len].y=y;a[len].c=c;
    a[len].next=last[x];last[x]=len;
}
int top,cnt[2100],sta[2100],f[2100];
bool v[2100];
int main()
{
    int t;
    scanf("%d",&t);
    while(t--)
    {
        len=0;memset(last,0,sizeof(last));
        int n,m,minn=999999999,maxx=-1;
        scanf("%d%d",&n,&m);
        for(int i=1;i<=m;i++)
        {
            int x,y,c;
            scanf("%d%d%d",&x,&y,&c);
            ins(x-1,y,c),ins(y,x-1,-c);
            minn=min(minn,min(x,y));
            maxx=max(maxx,max(x,y));
        }
        memset(v,false,sizeof(v));
        memset(cnt,0,sizeof(cnt));
        memset(f,63,sizeof(f));
        top=0;
        for(int i=minn;i<=maxx;i++)
        {
            sta[++top]=i;
            v[i]=true;
            cnt[i]++;
        }
        f[sta[top]]=0;bool bk=false;
        while(top)
        {
            int x=sta[top--];
            for(int k=last[x];k;k=a[k].next)
            {
                int y=a[k].y;
                if(f[y]>f[x]+a[k].c)
                {
                    f[y]=f[x]+a[k].c;
                    if(v[y]==false)
                    {
                        v[y]=true;
                        sta[++top]=y;
                        cnt[y]++;
                        if(cnt[y]>(maxx-minn))
                        {
                            printf("false\n");
                            bk=true;break;
                        }
                    }
                }
            }
            v[x]=false;
            if(bk==true)break;
        }
        if(bk==false)printf("true\n");
    }
    return 0;
}