【bzoj】 2330 糖果 差分约束

链接

Description

幼儿园里有N个小朋友，lxhgww老师现在想要给这些小朋友们分配糖果，要求每个小朋友都要分到糖果。但是小朋友们也有嫉妒心，总是会提出一些要求，比如小明不希望小红分到的糖果比他的多，于是在分配糖果的时候，lxhgww需要满足小朋友们的K个要求。幼儿园的糖果总是有限的，lxhgww想知道他至少需要准备多少个糖果，才能使得每个小朋友都能够分到糖果，并且满足小朋友们所有的要求。
Input

输入的第一行是两个整数N，K。
接下来K行，表示这些点需要满足的关系，每行3个数字，X，A，B。
如果X=1， 表示第A个小朋友分到的糖果必须和第B个小朋友分到的糖果一样多；
如果X=2， 表示第A个小朋友分到的糖果必须少于第B个小朋友分到的糖果；
如果X=3， 表示第A个小朋友分到的糖果必须不少于第B个小朋友分到的糖果；
如果X=4， 表示第A个小朋友分到的糖果必须多于第B个小朋友分到的糖果；
如果X=5， 表示第A个小朋友分到的糖果必须不多于第B个小朋友分到的糖果；
Output

输出一行，表示lxhgww老师至少需要准备的糖果数，如果不能满足小朋友们的所有要求，就输出-1。
Sample Input
5 7
1 1 2
2 3 2
4 4 1
3 4 5
5 4 5
2 3 5
4 5 1
Sample Output
11

额。。差分约束。
如果x==1则a==b，则最少是a==b==0;
如果x==2则a-b<0，则最少是b比a多1；
如果x==3则a-b<=0，则最少是a和b相等且等于0
如果x==4则a-b>0，则最少是a比b多1；
如果x==5则a-b>=0，则最少是a和b相等且等于0
这样关系就构造出来了。我们再建一个超级源点，让这个点到其余各点的权值为1，就保证了每个人都有糖果。从0跑一遍最长路（请注意是最长路，细心分析样例就知道了，不再解释）把到各点的路径加起来就是最终答案了，如果存在负环的话就puts -1。

代码如下：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
using namespace std;
typedef long long LL;
const int SZ=1000000+10;
int first[SZ],nxt[SZ<<1];
LL d[SZ];
struct edge{
    int from,to;
    LL cost;
}es[SZ<<1];
int tot,N,K;

void init()
{
    memset(first,-1,sizeof(first));
//  memset(d,0x3f,sizeof(d));
    tot=0;
}

void build(int ff,int tt,int dd)
{
    es[++tot]=(edge){ff,tt,dd};
    nxt[tot]=first[ff];
    first[ff]=tot;
}

int tim[SZ];
bool vis[SZ];
deque<int>q;
bool spfa(int s)
{
    d[s]=0;
    vis[s]=1;
    q.push_front(s);
    while(!q.empty())
    {
        int u=q.front();
        q.pop_front();
        vis[u]=0;
        for(int i=first[u];i!=-1;i=nxt[i])
        {
            int v=es[i].to;
            if(d[v]<d[u]+es[i].cost)
            {
                d[v]=d[u]+es[i].cost;
                if(!vis[v])
                {
                    if(++tim[v]>N)
                        return true;
                    vis[v]=1;
                    if(q.empty())
                        q.push_back(v);
                    else if(d[q.front()]<d[v])
                        q.push_front(v);
                    else 
                        q.push_back(v);
                }
            }
        }
    }
    return false;
}

int main()
{
    init();
    scanf("%d%d",&N,&K);
    for(int i=1;i<=K;i++)
    {
        int x,ff,tt;
        scanf("%d%d%d",&x,&ff,&tt);
        if(x==1)
        {
            build(ff,tt,0);
            build(tt,ff,0);
        }
        else if(x==2)
            build(ff,tt,1);
        else if(x==3)
            build(tt,ff,0);
        else if(x==4)
            build(tt,ff,1);
        else if(x==5)
            build(ff,tt,0);
    }
    for(int i=N;i>=1;i--)
        build(0,i,1);
    LL ans=0;
    if(!spfa(0))
    {
        for(int i=1;i<=N;i++)
            ans+=d[i];
        printf("%lld\n",ans);
    }
    else
        puts("-1");
    return 0;
}