bzoj2330 [SCOI2011]糖果 差分约束

分析：比较经典的差分约束，对于每种情况我们可以通过不同的连边方式来体现。
1.=,add(x,y,0),add(y,x,0)
2.<,add(x,y,1)
3.>=,add(y,x,0)
4.>,add(y,x,1)
5.<=,add(x,y,0)
其中2,4是无等于号的，如果x=y，明显无解。
然后连边，连边完以后跑spfa最长路，注意这里spfa先把所有点加入，然后一个个跑，具体看代码。答案就是所有点的dis值。其实这里的spfa类似于连了一个超级源点跑。
code:

#include<cstdio>#include<cstring>#include<algorithm>#include<cmath>#define fo(i,a,b) for(int i=a;i<=b;i++)#define fd(i,a,b) for(int i=a;i>=b;i--)using namespace std;typedef long long ll;const int N=5e5+5;int n,m;int head[N],go[N],next[N];int q[N],in[N],vis[N],val[N],dis[N];int tot;int t=0,w=1;inline void add(int x,int y,int z){    go[++tot]=y;    val[tot]=z;    next[tot]=head[x];    head[x]=tot;}inline bool spfa(){    while (t<w)    {        int x=q[++t];        int i=head[x];        vis[x]=0;        for(int i=head[x];i;i=next[i])        {            int v=go[i];            if (dis[v]<dis[x]+val[i])            {                dis[v]=dis[x]+val[i];                in[i]++;                if (in[i]>n)return 0;                if (!vis[v])                {                    vis[v]=1;                    q[++w]=v;                }            }        }    }    return 1;}int main(){    scanf("%d%d",&n,&m);    fo(i,1,m)    {        int id,x,y;        scanf("%d%d%d",&id,&x,&y);        if (id==1)        {            add(x,y,0);            add(y,x,0);        }        if (id==2)        {            add(x,y,1);            if (x==y)            {                printf("-1\n");                return 0;            }        }        if (id==3)        {            add(y,x,0);        }        if (id==4)        {            add(y,x,1);            if (x==y)            {                printf("-1\n");                return 0;            }        }        if (id==5)        {            add(x,y,0);        }    }    fo(i,1,n)    {        vis[i]=dis[i]=1;        q[++w]=i;    }    if (!spfa())    {        printf("-1\n");        return 0;    }    ll ans=0;    fo(i,1,n)ans+=dis[i];    printf("%lld\n",ans);    return 0;}