Tarjan模板 Proving Equivalences HDU - 2767缩点法 最少添加多少条边能让图变成强连通图

讲解：https://www.cnblogs.com/yanyiming10243247/p/9294160.html
题目链接：https://vjudge.net/problem/HDU-2767
题意：uvalive数据有问题。给一个有向图，问最少添加多少条边能让图变成强连通图。
思路：先把图中的强连通分量找出来，把一个强连通分量看成一个点。计算图中入度为0的点的数目a和出度为0的点的数目b，则max(a,b)就是答案。因为添加上max(a,b)的边后一定可以构成一个环。 特判本身就是强连通图的情况。

#include <cstdio>
#include <algorithm>
#include <queue>
#include <vector>
#include <cstring>
#include <stack>
using namespace std;
const int maxn=2e4+5;
vector <int> g[maxn];
int pre[maxn],lowlink[maxn],sccno[maxn],dfs_clock,scc_cnt;//sccno[i]表示顶点i属于哪个连通分量  scc_cnt表示有多少强连通分量
stack<int> s;
void dfs(int u)
{
    pre[u]=lowlink[u]=++dfs_clock;
    s.push(u);
    for(int i=0; i<g[u].size(); i++)
    {
        int v=g[u][i];
        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])
    {
        scc_cnt++;
        while(1)
        {
            int x=s.top();
            s.pop();
            sccno[x]=scc_cnt;
            if(x==u)
                break;
        }
    }
}
void find_scc(int n)
{
    dfs_clock=scc_cnt=0;
    memset(sccno,0,sizeof(sccno));
    memset(pre,0,sizeof(pre));
    for(int i=1; i<=n; i++)//注意是<=还是<
    {
        if(!pre[i])
            dfs(i);
    }
}
int in[maxn],out[maxn];
int main()
{
    int T,n,m;
    scanf("%d",&T);
    while(T--)
    {
        scanf("%d%d",&n,&m);
        for(int i=0; i<=n; i++)
            g[i].clear();
        for(int i=0; i<m; i++)
        {
            int x,y;
            scanf("%d%d",&x,&y);
            g[x].push_back(y);
        }
        find_scc(n);
        for(int i=1; i<=scc_cnt; i++)
        {
            in[i]=out[i]=1;
        }
        for(int u=1; u<=n; u++)//缩点
        {
            for(int i=0; i<g[u].size(); i++)
            {
                int v=g[u][i];
                if(sccno[u]!=sccno[v])
                {
                    in[sccno[v]]=out[sccno[u]]=0;
                }
            }
        }
        int a=0,b=0;//分别为入度为0 出度为0的点个数
        for(int i=1; i<=scc_cnt; i++)
        {
            if(in[i])
                a++;
            if(out[i])
                b++;
        }
        int ans=max(a,b);
        if(scc_cnt==1)
            ans=0;
        printf("%d\n",ans);
    }

    return 0;
}