Luogu 3530 [POI2012]FES-Festival

我是真的不会写差分约束啊呜呜呜……

BZOJ 2788被权限了。

首先对于第一个限制$x + 1 = y$，可以转化成$x + 1 \leq y \leq x + 1$，

所以连一条$(y, x, -1)$，再连一条$(x, y, 1)$。

第二个状态即为$x \leq y$，连边$(y, x, 0)$。

如果有负环就无解了。

发现在这个图中，每一个强连通分量都互相不干扰，我们可以缩点找出所有的强连通分量，然后找到里面的最长路$ + 1$累加到答案中去。

时间复杂度$O(能过)$。

感觉$POI$的数据挺满的，我的代码跑得挺慢的。

Code：

#include <cstdio>
#include <cstring>
using namespace std;

const int N = ;
const int M = 3e5 + ;

int n, m1, m2, tot = , head[N], f[N][N];
int ans = , scc = , bel[N], dfsc = , dfn[N], low[N], top = , sta[N];
int sCnt, s[N];
bool vis[N];

struct Edge {
    int to, nxt;
} e[M];

inline void add(int from, int to) {
    e[++tot].to = to;
    e[tot].nxt = head[from];
    head[from] = tot;
}

inline void read(int &X) {
    X = ; char ch = ; int op = ;
    for(; ch > '' || ch < ''; ch = getchar())
        if(ch == '-') op = -;
    for(; ch >= '' && ch <= ''; ch = getchar())
        X = (X << ) + (X << ) + ch - ;
    X *= op;
}

inline void chkMin(int &x, int y) {
    if(y < x) x = y;
}

inline int min(int x, int y) {
    return x > y ? y : x;
}

inline void chkMax(int &x, int y) {
    if(y > x) x = y;
}

inline void solve() {
    int res = ;
    for(int i = ; i <= sCnt; i++)
        for(int j = ; j <= sCnt; j++) {
            int x = s[i], y = s[j];
            chkMax(res, f[x][y]);
        }
    ans += res + ;
}

void tarjan(int x) {
    dfn[x] = low[x] = ++dfsc;
    sta[++top] = x, vis[x] = ;
    for(int i = head[x]; i; i = e[i].nxt) {
        int y = e[i].to;
        if(!dfn[y]) {
            tarjan(y);
            low[x] = min(low[x], low[y]);
        } else if(vis[y]) low[x] = min(low[x], dfn[y]);
    }

    if(low[x] == dfn[x]) {
        ++scc; sCnt = ;
        for(; sta[top + ] != x; --top) {
            vis[sta[top]] = ;
            bel[sta[top]] = scc;
            s[++sCnt] = sta[top];
        }
        solve();
    }
}

int main() {
    read(n), read(m1), read(m2);
    memset(f, 0x3f, sizeof(f));
    for(int x, y, i = ; i <= m1; i++) {
        read(x), read(y);
        add(x, y), add(y, x);
        chkMin(f[x][y], ), chkMin(f[y][x], -);
    }
    for(int x, y, i = ; i <= m2; i++) {
        read(x), read(y);
        add(y, x);
        chkMin(f[y][x], );
    }

    for(int i = ; i <= n; i++) f[i][i] = ;
    for(int k = ; k <= n; k++)
        for(int i = ; i <= n; i++)
            for(int j = ; j <= n; j++)
                chkMin(f[i][j], f[i][k] + f[k][j]);

    for(int i = ; i <= n; i++)
        if(f[i][i] < ) {
            puts("NIE");
            return ;
        }

    for(int i = ; i <= n; i++)
        if(!dfn[i]) tarjan(i);

    printf("%d\n", ans);
    return ;
}