【bzoj2330】: [SCOI2011]糖果 图论-差分约束-SPFA

【bzoj2330】: [SCOI2011]糖果

恩。。就是裸的差分约束。。

x=1 -> (A,B,0) (B,A,0)

x=2 -> (A,B,1)  [这个情况加个A==B无解的要特判]

x=3 -> (B,A,0)  [恩这个是不少于一开始zz建反了]

x=4 -> (B,A,1)

x=5 -> (A,B,0)

然后源点到所有点建1的边[恩据说有条链所以要反着连]跑最长路就好了

 /* http://www.cnblogs.com/karl07/ */
 #include <cstdlib>
 #include <cstdio>
 #include <cstring>
 #include <cmath>
 #include <algorithm>
 #include <queue>
 using namespace std;

 const int N=;
 struct edge{
     int next,to,v;
 }e[N*];

 int n,k,ade=;
 int first[N],dis[N],vis[N],tim[N];
 queue <int> q;

 void addedge(int x,int y,int v){
     e[++ade].to=y;
     e[ade].next=first[x];
     e[ade].v=v;
     first[x]=ade;
 }

 #define s e[x].to
 #define v e[x].v
 long long spfa(){
     q.push(n+),vis[n+]=;
     while (!q.empty()){
         int p=q.front();
         q.pop(),vis[p]=;
         for (int x=first[p];x;x=e[x].next){
             if (dis[s]<dis[p]+v){
                 dis[s]=dis[p]+v;
                 if (!vis[s]) vis[s]=,q.push(s);
                 tim[s]++;
             }
             if (tim[s]>n+) return -;
         }
     }
     long long ans=;
     for (int i=;i<=n;i++) ans+=dis[i];
     return ans;
 }
 #undef v
 #undef s

 int main(){
     scanf("%d%d",&n,&k);
     for (int i=,a,b,x;i<=k;i++){
         scanf("%d%d%d",&x,&a,&b);
         if (x==) addedge(a,b,),addedge(b,a,);
         if (x==) if (a==b) {puts("-1"); return ;} else addedge(a,b,);
         if (x==) addedge(b,a,);
         if (x==) if (a==b) {puts("-1"); return ;} else addedge(b,a,);
         if (x==) addedge(a,b,);
     }
     for (int i=n;i>=;i--) addedge(n+,i,);
     printf("%lld\n",spfa());
     return ;
 }
  

蒟蒻退役前两天又开始更博客了。。期中考试和地理二模两个星期啥也没干。。然后明天就SHOI了。。