【BZOJ1202】【HNOI2005】狡猾的商人

查分约束好，好写好调好AC！

原题：

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

n < 100，m < 1000

这题可以查分约束也可以用并查集，不过并查集的做法比较神奇，我暂时还不能理解，所以用差分约束水

a到b的收益为w，另sa等于从开始到a的收益，那么sb-s(a-1)=w

因为这本质是一个前缀和，所以要-1

差分约束搞即可

代码：

 #include<iostream>
 #include<cstdio>
 #include<algorithm>
 #include<cstring>
 #include<cmath>
 using namespace std;
 int rd(){int z=,mk=;  char ch=getchar();
     while(ch<''||ch>''){if(ch=='-')mk=-;  ch=getchar();}
     while(ch>=''&&ch<=''){z=(z<<)+(z<<)+ch-'';  ch=getchar();}
     return z*mk;
 }
 struct ddd{int nxt,y,v;}e[];  int lk[],ltp=;
 inline void ist(int x,int y,int z){e[++ltp].nxt=lk[x],lk[x]=ltp,e[ltp].y=y,e[ltp].v=z;}
 int n,m;
 int dstc[],cnt[];
 int q[],tp=,hd=,tl=;  bool vstd[];
 bool spfa(){
     hd=,tl=;
     for(int i=;i<=n;++i)  q[++hd]=i,vstd[i]=true,cnt[i]=,dstc[i]=;
     while(tl!=hd){
         tl=(tl==tp ?  : tl+);
         for(int i=lk[q[tl]];i;i=e[i].nxt)if(dstc[q[tl]]+e[i].v>dstc[e[i].y]){
             dstc[e[i].y]=dstc[q[tl]]+e[i].v;
             if(++cnt[e[i].y]==n)  return false;
             if(!vstd[e[i].y])  q[hd=(hd==tp ?  : hd+)]=e[i].y,vstd[e[i].y]=true;
         }
         vstd[q[tl]]=false;
     }
     return true;
 }
 void clr(){  memset(lk,,sizeof(lk)),ltp=;}
 int main(){//freopen("ddd.in","r",stdin);
 int T;  cin>>T;  while(T--){  clr();
     n=rd(),m=rd();
     int l,r,v;
     while(m--){
         l=rd(),r=rd(),v=rd();
         ist(l-,r,v),ist(r,l-,-v);
     }
     if(spfa())  printf("true\n");
     else  printf("false\n");
 }
     return ;
 }