BZOJ-2330（SCOI-2011） 糖果 （差分约束）

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

HINT
【数据范围】

对于30%的数据，保证 N<=100


对于100%的数据，保证 N<=100000

对于所有的数据，保证 K<=100000，1<=X<=5，1<=A, B<=N

代码：

#include<iostream>
#include<deque>
using namespace std;
const int N = 100001;
int n, k, x, a, b, first[N],vis[N],dis[N],cir[N], Next[N],cnt = 0;
long long ans = 0;
deque<int> q;

struct edge
{
    int u, v, w;
    edge(int u,int v,int w):u(u),v(v),w(w){}
    edge() {};
}e[4*N];

void insert(int u, int v, int w) {
    cnt++;
    e[cnt] = edge(u, v, w);
    Next[cnt] = first[u];
    first[u] = cnt;
}

bool spfa(int s) {
    dis[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 = Next[i]) {
            int v = e[i].v;
            if (dis[v] < dis[u] + e[i].w) {
                dis[v] = dis[u] + e[i].w;
                if (!vis[v]) {
                    if (++cir[v] > n) return false; 
                    vis[v] = 1;
                    if (q.empty()) q.push_back(v);
                    else if (dis[q.front()] < dis[v]) q.push_front(v);
                    else q.push_back(v);
                }
            }
        }
    }
    return true;
}

int main() {
    memset(first, -1, sizeof(first));
    cin >> n >> k;
    while (k--) {
        cin >> x >> a >> b;
        switch (x)
        {
        case 1:insert(a, b, 0); insert(b, a, 0); break; // A - B = 0
        case 2:if (a == b) { printf("-1"); return 0; }  //A - B <= 1
               insert(a, b, 1); break;
        case 3:insert(b, a, 0); break;  //B - A <= 0
        case 4:if (a == b) { printf("-1"); return 0; }// B - A <= 1
               insert(b, a, 1); break;
        case 5:insert(a, b, 0); break; // A - B <= 0
        }
    }
    for (int i = n; i > 0; i--) insert(0, i, 1); //建一个超级源点，让这个点到其余各点的权值为1，就保证了每个人都有糖果
    if (!spfa(0)) { cout << -1; return 0; } 
    for (int i = 1; i <= n; i++) ans += dis[i];
    cout << ans << endl;
}