[BZOJ2330][SCOI2011]糖果（差分约束）

题目描述

传送门

题解

差分约束系统，模型是很好建的，求最小值转化成跑最长路。
把大于小于号都转化为大于等于和小于等于。对于x=1的情况建立2个不等式就可以解决。
想着刚码完数据结构就挑了一道看起来简单一点的题，不过还是被一些奇怪的错误绊了一小会儿。= =第一次提交只有70分= =

代码

#include
#include
#include
#include
using namespace std;

const int max_n=1e5+5;
const int max_e=max_n*3;

int n,k,x,a,b;
bool pd;
long long ans;
int tot,point[max_n],next[max_e],v[max_e],c[max_e];
int dis[max_n],insert[max_n];
bool vis[max_n];
queue <int> q;

inline void addedge(int x,int y,int z){
    ++tot; next[tot]=point[x]; point[x]=tot; v[tot]=y; c[tot]=z;
}

inline bool spfa(){
    memset(dis,128,sizeof(dis));
    memset(vis,0,sizeof(vis));
    dis[0]=0;
    vis[0]=true;
    ++insert[0];
    while (!q.empty()) q.pop();
    q.push(0);

    while (!q.empty()){
        int now=q.front(); q.pop();
        vis[now]=false;
        for (int i=point[now];i;i=next[i])
          if (dis[v[i]]if (!vis[v[i]]){
                vis[v[i]]=true;
                ++insert[v[i]];
                if (insert[v[i]]>n+2) return false;
                q.push(v[i]);
            }
          }
    }
    return true;
}

int main(){
    scanf("%d%d",&n,&k);

    for (int i=1;i<=k;++i){
        scanf("%d%d%d",&x,&a,&b);

        switch(x){
            case 1:{
                addedge(b,a,0);
                addedge(a,b,0);
                break;
            }
            case 2:{
                addedge(a,b,1);
                if (a==b){
                    printf("-1\n");
                    return 0;
                }
                break;
            }
            case 3:{
                addedge(b,a,0);
                break;
            }
            case 4:{
                addedge(b,a,1);
                if (a==b){
                    printf("-1\n");
                    return 0;
                }
                break;
            }
            case 5:{
                addedge(a,b,0);
                break;
            }
        }
    }

    for (int i=n;i>=1;--i)
      addedge(0,i,1);

    pd=spfa();
    if (!pd) printf("-1\n");
    else{
        for (int i=1;i<=n;++i)
          ans+=dis[i];
        printf("%lld\n",ans);
    }
}

总结

错误记录：
shaB错误：数组又开小了= =因为x=1的操作是要加两条边，所以边集至少开三倍。而且没有开LL。以后数据范围一定要注意。
kengB错误：有一组特殊数据是1e5的一条链，最后加边时要倒着加。网上说什么目的是使按照1-n的顺序进行spfa，以免时间退化为O(n^2)。我也不是很懂。难道以后都要这么搞？