hdu2767 Proving Equivalences（缩点）

在 n 个节点的有向图m 条边，最少增加多少条边将原图变成一个强连通图。

缩点之后 入度为0的点和出度为0的点中大的就是答案。

#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
#define clr(x)memset(x,0,sizeof(x))
const int maxn=20010;
struct node{
    int to;
    int next;
}q[50010];
int head[maxn];
int tot;
void add(int s,int u){
    q[tot].to=u;
    q[tot].next=head[s];
    head[s]=tot++;
}
bool ins[maxn];
int color[maxn];//染色
int dfn[maxn],low[maxn],stack[maxn];
int ti,sn,top;
void tarjan(int u){
    dfn[u]=low[u]=++ti;
    stack[++top]=u;
    ins[u]=true;
    int i,k;
    for(i=head[u];i;i=q[i].next){
        k=q[i].to;
        if(dfn[k]==0){
            tarjan(k);
            if(low[k]<low[u])low[u]=low[k];
        }
        else if(ins[k]&&dfn[k]<low[u])
            low[u]=dfn[k];
    }
    if(dfn[u]==low[u]){
        sn++;
        do{
            k=stack[top--];
            ins[k]=false;
            color[k]=sn;
        }while(k!=u);
    }
}
void init(){
    clr(low);
    clr(dfn);
    clr(ins);
    clr(head);
    tot=1;
    top=-1;
    sn=ti=0;
}
int id[maxn],od[maxn];
int main()
{
    int T,i,j,k,a,b,n,m;
    scanf("%d",&T);
    while(T--)
    {
        scanf("%d%d",&n,&m);
        init();
        while(m--){
            scanf("%d%d",&a,&b);
            add(a,b);
        }
        for(i=1;i<=n;i++)
            if(dfn[i]==0)tarjan(i);
        if(sn==1)printf("0\n");
        else {
            clr(id);
            clr(od);
            int in=0,out=0;
            for(i=1;i<=n;i++)
                for(j=head[i];j;j=q[j].next){
                    k=q[j].to;
                    if(color[i]!=color[k]){//不在一个强联通分量里
                        id[color[k]]++;
                        od[color[i]]++;
                    }
                }
            for(i=1;i<=sn;i++){
                if(id[i]==0)in++;
                if(od[i]==0)out++;
            }
            if(in>out)printf("%d\n",in);
            else printf("%d\n",out);
        }
    }
    return 0;
}