LA4287 Proving Equivalences

在n点m边的由向图中增加尽量少的边，使得原图强连通

做法：1.求原图强连通分量 2.统计每个连通分量的出入度，出度与入度为0的连通分量个数的最小值即为答案。特判：原图本身强连通，无需添边，答案为0

#include<iostream>
#include<stdio.h>
#include<string.h>
#include<algorithm>
#include<math.h>
#include<vector>
#include<stack>
#define ll long long
#define INF 0x3f3f3f3f
#define maxn 30100
#define mem(a,b) memset(a,b,sizeof(a))
using namespace std;


int t,n,m,ans;
int pre[maxn],lowlink[maxn],dfs_clock,scc_cnt,sccno[maxn];
vector<int> g[maxn];
stack<int> S;
int in[maxn],out[maxn],in_cnt,out_cnt;

void dfs(int u){
    lowlink[u]=pre[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++;
        for(;;){
            int x=S.top();S.pop();
            sccno[x]=scc_cnt;
            if(x==u) break;
        }
    }
}

void find_scc(){
    mem(pre,0),mem(sccno,0),dfs_clock=scc_cnt=0;
    for(int i=1;i<=n;i++) if(!pre[i]) dfs(i);
}

int main(){
    //freopen("a.txt","r",stdin);
    scanf("%d",&t);
    while(t--){
        scanf("%d%d",&n,&m);
        for(int i=1;i<=n;i++) g[i].clear();
        for(int i=1;i<=m;i++){
            int a,b; scanf("%d%d",&a,&b);
            g[a].push_back(b);
        }
        find_scc();
        mem(in,0),mem(out,0),in_cnt=out_cnt=0;
        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]) { out[sccno[u]]++,in[sccno[v]]++; }
            }
        }
        for(int i=1;i<=scc_cnt;i++){
            if(in[i]==0) in_cnt++;
            if(out[i]==0) out_cnt++;
        }
        ans=max(in_cnt,out_cnt);
        if(scc_cnt==1) ans=0;
        printf("%d\n",ans);
    }
}