【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=100005; 
struct edge{
    int next,to,v;
}e[N*4];

int n,k,ade=0;
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+1),vis[n+1]=1;
    while (!q.empty()){
        int p=q.front();
        q.pop(),vis[p]=0;
        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]=1,q.push(s);
                tim[s]++;
            }
            if (tim[s]>n+1) return -1;
        }
    }
    long long ans=0;
    for (int i=1;i<=n;i++) ans+=dis[i];
    return ans;
}
#undef v
#undef s

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

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