【BZOJ2330】糖果

题目链接：https://www.lydsy.com/JudgeOnline/problem.php?id=2330

---

差分约束系统的模板题吧，一看题目各种不等式。。。

因为是要求最小值，所以我们选择跑最长路好了。根据题目描述建边，这个应该不难，x=1就是建从a到b和从b到a的边权为0的边，x=2就是建从a到b边权为1的边，x=3是建从b到a边权为0的边，x=4是建从b到a边权为1的边，x=5是建从a到b边权为0的边。

注意，当x=2或4时，肯定是无解的，据说，有些SPFA会被卡，反正我的不会。。。

然后我们需要加一个超级源，但注意，如果从1到n逐个与0连边，对于某个测试点就会超时，因为人家是一条超长的链，所以应该倒过来，从n到1连边，当然，如果邻接链表不是从头部插入请忽略。

还有答案会爆int。

#include <cstdio>
#include <cstring>
#include <queue>

using namespace std;

inline int get_num() {
    int num = 0;
    char c = getchar();
    while (c < '0' || c > '9') c = getchar();
    while (c >= '0' && c <= '9')
        num = num * 10 + c - '0', c =getchar();
    return num;
}

const int maxn = 1e5 + 5, maxk = 1e5 + 5;

int head[maxn], eid;

struct Edge {
    int v, w, next;
} edge[2 * maxk + maxn];

inline void insert(int u, int v, int w) {
    edge[++eid].v = v;
    edge[eid].w = w;
    edge[eid].next = head[u];
    head[u] = eid;
}

int n, k, inq[maxn], cnt[maxn];
long long dist[maxn];

queue<int> q;

inline int spfa() {
    inq[0] = 1;
    q.push(0);
    while (!q.empty()) {
        int u = q.front();
        q.pop();
        inq[u] = 0;
        if (++cnt[u] >= n) return 0;
        for (int p = head[u]; p; p = edge[p].next) {
            int v = edge[p].v, w = edge[p].w;
            if (dist[v] < dist[u] + w) {
                dist[v] = dist[u] + w;
                if (!inq[v]) {q.push(v); inq[v] = 1;}
            }
        }
    }
    return 1;
}

int main() {
    n = get_num(), k = get_num();
    for (int i = 1; i <= k; ++i) {
        int x = get_num(), a = get_num(), b = get_num();
        if (x == 1) {insert(a, b, 0); insert(b, a, 0);}
        else if (x == 2) {
            if (a == b) {printf("-1"); return 0;}
            insert(a, b, 1);
        }
        else if (x == 3) insert(b, a, 0);
        else if (x == 4) {
            if (a == b) {printf("-1"); return 0;}
            insert(b, a, 1);
        }
        else insert(a, b, 0);
    }
    for (int i = n; i >= 1; --i) insert(0, i, 1);
    if (!spfa()) printf("-1");
    else {
        long long ans = 0;
        for (int i = 1; i <= n; ++i) ans += dist[i];
        printf("%lld", ans);
    }
    return 0;
}