bzoj 2788（差分约束+tarjan）

传送门
题解：
限制1连边(a,b,1)，(b,a,-1)，限制2连边(d,c,0)。
tarjan缩点后每个(强连通分量内的最短路最大值+1)之和就是答案（集合大小是指不同的元素个数）。
P.S.status里ac的分为两派，10000+ms和1000+ms，经过和同班神犇的对比，并没有在算法和实现方法上发现任何区别。迷之自带大常数orz。。。

#include<bits/stdc++.h>
using namespace std;
const int MAXN=605,MAXM=1e5+5;
int n,m1,m2;
int head[MAXN],edge=0;
struct EDGE {
    int v,nxt;
}e[MAXM<<1];
int low[MAXN],dfn[MAXN],tim=0,snt=0;
bool ins[MAXN];
stack<int> S;
int blo[MAXN][MAXN];
int f[MAXN][MAXN],ans=0;
inline int cal(int p) {
    int ret=0;
    for (int k=1;k<=blo[p][0];++k)
        for (int i=1;i<=blo[p][0];++i)
            for (int j=1;j<=blo[p][0];++j)
                f[blo[p][i]][blo[p][j]]=min(f[blo[p][i]][blo[p][j]],f[blo[p][i]][blo[p][k]]+f[blo[p][k]][blo[p][j]]);
    for (int i=1;i<=blo[p][0];++i)
        for (int j=1;j<=blo[p][0];++j)
            ret=max(ret,f[blo[p][i]][blo[p][j]]);
    return ret;
}
void adde(int u,int v) {
    e[++edge].nxt=head[u],e[edge].v=v,head[u]=edge;
}
void dfs(int p) {
    low[p]=dfn[p]=++tim;
    ins[p]=true;
    S.push(p);
    for (int i=head[p];~i;i=e[i].nxt) {
        int v=e[i].v;
        if (!dfn[v]) {
            dfs(v);
            low[p]=min(low[p],low[v]);
        }
        else if (ins[v]) low[p]=min(low[p],dfn[v]);
    }
    if (low[p]==dfn[p]) {
        ++snt;
        while (1) {
            int t=S.top();
            S.pop();
            ins[t]=false;
            blo[snt][++blo[snt][0]]=t;
            if (t==p) break;
        }
        ans+=cal(snt)+1;
    }
}
int main() {
//  freopen("bzoj 2788.in","r",stdin);
    memset(f,0x3f,sizeof(f));
    memset(head,-1,sizeof(head));
    scanf("%d%d%d",&n,&m1,&m2);
    for (int i=1;i<=n;++i) f[i][i]=0;
    for (register int i=0;i<m1;++i) {
        int a,b;
        scanf("%d%d",&a,&b);
        adde(a,b),adde(b,a);
        f[a][b]=min(f[a][b],1),f[b][a]=min(f[b][a],-1);
    }
    for (register int i=0;i<m2;++i) {
        int c,d;
        scanf("%d%d",&c,&d);
        adde(d,c);
        f[d][c]=min(f[d][c],0);
    }
    for (int i=1;i<=n;++i)
        if (!dfn[i]) dfs(i);
    for (int i=1;i<=n;++i)
        if (f[i][i]<0) return puts("NIE"),0;
    printf("%d\n",ans);
    return 0;
}