bzoj1202: [HNOI2005]狡猾的商人（差分约束）

1202: [HNOI2005]狡猾的商人

题目：传送门

题解：
　　 据说是带权并查集！蒟蒻不会啊！！！

　　 可是听说lxj大佬用差分约束A了，于是开始一通乱搞。

　　 设s[i]为前i个月的总收益，那么很容易就可以推出约束条件了啊：

　　 s[x-1]>=s[y]-c s[y]>=s[x-1]+c

　　 然后就可以去跑最长路了

　　 吐槽：

　　 lxj大佬推出来的条件竟然是两个小于等于号：s[x-1]<=s[y]-c s[y]<=s[x-1]+c

　　 然后跑最短路也A了，表示很玄学qwq

代码：

 #include<cstdio>
 #include<cstring>
 #include<cstdlib>
 #include<cmath>
 #include<algorithm>
 using namespace std;
 int T;
 struct tj
 {
     int x,y,d;
 }b[];
 struct node
 {
     int x,y,d,next;
 }a[];int len,last[];
 int s[],d[];
 void ins(int x,int y,int d)
 {
     len++;a[len].x=x;a[len].y=y;a[len].d=d;
     a[len].next=last[x];last[x]=len;
 }
 bool v[];int ru[],list[];
 int main()
 {
     scanf("%d",&T);
     while(T--)
     {
         memset(s,,sizeof());
         int n,m;scanf("%d%d",&n,&m);
         len=;memset(last,,sizeof(last));
         for(int i=;i<=m;i++)
         {
             int x,y,d;
             scanf("%d%d%d",&x,&y,&d);
             ins(y,x-,-d);ins(x-,y,d);
         }
         /*
             s[x-1]>=s[y]-c s[y]>=s[x-1]+c
         */
         for(int i=;i<=n;i++)d[i]=-;
         int head=;for(int i=n;i>=;i--)list[++head]=i;
         memset(v,,sizeof(v));memset(ru,,sizeof(ru));
         bool bk=true;
         while(head!=)
         {
             int x=list[head--];v[x]=true;
             for(int k=last[x];k;k=a[k].next)
             {
                 int y=a[k].y;
                 if(d[y]<d[x]+a[k].d)
                 {
                     d[y]=d[x]+a[k].d;
                     ru[y]++;if(ru[y]==n+){bk=false;break;}
                     if(v[y]==true)v[y]=false,list[++head]=y;
                 }
             }
              if(bk==false)break;
         }
         if(bk==false)printf("false\n");
         else printf("true\n");
     }
     return ;
 }