LA4287--tarjan

题目大意：

在数学中，我们常常需要完成若干个命题的等价性证明。比如，有4个命题a,b,c,d，我们证明a↔b,然后b↔c，最后c↔d。注意每次证明都是双向的，因此一共完成了6次推导。另一种方法是a→b，然后b→c，接着c→d，最后d→a，只需4次。现在你的任务是证明n个命题全部等价，且你的朋友已经为你做出了m次推导（已知每次推导的内容），你至少还需要做几次推导才能完成整个证明？

先tarjan一遍求出强连通分量，缩点，统计每个点的出入度。设有a个节点入读为0，b个节点出度为0，则答案就是max(a,b)。

代码：

#include<iostream>
#include<cstdio>
#include<cmath>
#include<vector>
#include<string.h>
using namespace std;
vector<int>g[20001];
int n,m,t,i,j,x,y,dfn[20001],dfs_clock,low[20001],in0[20001],out0[20001],c[20001],a,b,l,f[20001],cnt;
void dfs(int u){
    dfn[u]=low[u]=++dfs_clock;
    c[++l]=u;
    for(int i=0;i<g[u].size();++i)
    if(!dfn[g[u][i]]){
        dfs(g[u][i]);
        low[u]=min(low[u],low[g[u][i]]);
    }else if(!f[g[u][i]])low[u]=min(low[u],dfn[g[u][i]]);
    if(low[u]==dfn[u]){
        cnt++;
        while(c[l]!=u)f[c[l--]]=cnt;
        f[c[l--]]=cnt;
    }
}
int main()
{
    scanf("%d",&t);
    for(int u=0;u<t;++u){
        scanf("%d%d",&n,&m);
        for(i=1;i<=n;++i)g[i].clear();
        for(i=1;i<=m;++i){
            scanf("%d%d",&x,&y);
            g[x].push_back(y);
        }
        memset(dfn,0,sizeof(dfn));
        memset(low,0,sizeof(low));
        memset(in0,0,sizeof(in0));
        memset(out0,0,sizeof(out0));
        memset(f,0,sizeof(f));
        memset(c,0,sizeof(c));
        a=0;b=0;l=0;cnt=0;dfs_clock=0;
        for(i=1;i<=n;++i)if(!dfn[i])dfs(i);
        for(i=1;i<=n;++i)
        for(j=0;j<g[i].size();++j)
        if(f[g[i][j]]!=f[i]){
            in0[f[g[i][j]]]++;
            out0[f[i]]++;
        }
        for(i=1;i<=cnt;++i){
            if(!in0[i])a++;
            if(!out0[i])b++;
        }
        if(cnt==1)printf("0\n");else printf("%d\n",max(a,b));
    }
    return 0;
}

LA4287