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;}