【UVa12167】 Proving Equivalences 【强连通分量】

给你一个有向图，问你至少添加几条有向边，使得新图强连通。
求出强连通分量缩点易于下一步处理。
这样我们得到了一个DAG。
这个DAG里有许多出度为零（a个）或者入度为零（b个）的点。
要想让它们都强连通，显然可以将它们两两配对头尾相接形成一个环，多余的随便和哪个已经配对的连都行。
那么答案为max(a,b).
要是原图已经强连通，答案是0不是1。

#include<stack>
#include<cstdio>
#include<cstring>
#include<iostream>
using namespace std;
const int maxn=20001,maxm=50001;
typedef int arrE[maxm];
arrE next,to;
int tot,list[maxn],pre[maxn],sccno[maxn],lowlink[maxn],dfsClk,sccCnt;
int in0[maxn],out0[maxn];
stack<int>s;
void dfs(int u){
    lowlink[u]=pre[u]=++dfsClk;
    s.push(u);
    for(int k=list[u];k;k=next[k]){
        int v=to[k];
        if(!pre[v]){
            dfs(v);
            lowlink[u]=min(lowlink[u],lowlink[v]);
        }
        else if(!sccno[v]){
            lowlink[u]=min(lowlink[u],pre[v]);
        }
    }

    if(lowlink[u]==pre[u]){
        sccCnt++;
        for(;;){
            int x=s.top();s.pop();
            sccno[x]=sccCnt;
            if(x==u) break;
        }
    }
}
inline void add(int a,int b){
    tot++;
    next[tot]=list[a];
    list[a]=tot;
    to[tot]=b;
}
#define CLR(x) memset(x,0,sizeof(x))
inline void init(){
    CLR(list);CLR(pre);CLR(sccno);CLR(lowlink);dfsClk=sccCnt=0;
    while(!s.empty())s.pop();
    tot=0;
}
inline int read(){
    int x=0;char ch=getchar();
    while(!isdigit(ch)) ch=getchar();
    while(isdigit(ch)) x=x*10+ch-48,ch=getchar();
    return x;
}
int main(){
    int T=read(),n,m,a,b;
    while(T--){
        init();
        n=read();m=read();
        for(int i=1;i<=m;++i){
            a=read();b=read();add(a,b);
        }
        for(int i=1;i<=n;++i)
            if(!pre[i]) dfs(i);
        for(int i=1;i<=sccCnt;++i) in0[i]=out0[i]=1;
        for(int i=1;i<=n;++i)
            for(int k=list[i];k;k=next[k])
                if(sccno[i]!=sccno[to[k]])
                    in0[sccno[to[k]]]=out0[sccno[i]]=0;

        a=b=0;
        for(int i=1;i<=sccCnt;++i){
            if(in0[i]) a++;
            if(out0[i]) b++;
        }
        int ans=max(a,b);
        if(ans==1) ans=0;
        printf("%d\n",ans);
    }
}