HDU 2767 Proving Equivalences

解题方法是输入有向边求强连通分量然后缩点，如果分量只有一个就输出零。

不为零就转化成DAG（有向无环图）最少添加几条有向边能使其变成强连通图，也就是入度为零的点的个数和出度为零的点的个数两个中最大的那个。

这题也算是强连通的模板题了。

附2767渣代码：

#include <vector>
#include <cstdio>
#include <cstring>
#define MAX 50001
using namespace std;
int top,bcnt;
int stack[MAX],index;
bool instack[MAX];
int belong[MAX];
int dfn[MAX],low[MAX];
int from[MAX],to[MAX];
int odegree[MAX],idegree[MAX];
vector<int>dag[MAX];
void strong_tarjan(int u){              //强连通tarjan算法，能求出强连通分量的个数同时缩点。
        dfn[u]=low[u]=++index;
        instack[u]=true;
        stack[top++]=u;
        int i,j;
        int v;
        for(i=0;i<dag[u].size();i++){
            v=dag[u][i];
            if(!dfn[v]){
                strong_tarjan(v);
                if(low[v]<low[u])
                    low[u]=low[v];
            }
            else if(instack[v]&&dfn[v]<low[u])
                low[u]=dfn[v];
        }
        if(low[u]==dfn[u]){
            bcnt++;
            do{
                j=stack[--top];
                instack[j]=false;
                belong[j]=bcnt;           //缩点，bcnt就是强连通分量的个数。
            }while(u!=j);
        }
}
void init(){
    bcnt=0;
    top=0;
    index=0;
    memset(instack,0,sizeof(instack));
    memset(dfn,0,sizeof(dfn));
    memset(low,0,sizeof(low));
}
int main()
{
    int cas,i;
    scanf("%d",&cas);
    while(cas--){
        init();
        int n,m;
        scanf("%d%d",&n,&m);
        for(i=1;i<=n;i++)
            dag[i].clear();
        for(i=1;i<=m;i++){
            int p1,p2;
            scanf("%d%d",&p1,&p2);
            dag[p1].push_back(p2);
            from[i]=p1;
            to[i]=p2;
        }
        for(i=1;i<=n;i++){
            if(!dfn[i])
                strong_tarjan(i);              //把每个图都tarjan一遍。
        }
        if(bcnt==1){
            printf("0\n");
            continue;
        }
        for(i=1;i<=bcnt;i++){
            odegree[i]=idegree[i]=0;
        }
        for(i=1;i<=m;i++){
            int x=belong[from[i]];
            int y=belong[to[i]];
            if(x!=y){
                odegree[x]++;
                idegree[y]++;
            }
        }
        int a,b;
        a=b=0;
        for(i=1;i<=bcnt;i++){
            if(odegree[i]==0)
                a++;
            if(idegree[i]==0)
                b++;
        }
        if(a>b)
            b=a;
        printf("%d\n",b);
    }
    return 0;
}

关于求强连通分量缩点的tarjan算法本人理解不是特别透彻，就不在此献丑解说了。