HDU 2767 Proving Equivalences（待完善）

题目链接:http://acm.split.hdu.edu.cn/showproblem.php?pid=2767
题意:给出一个有向图,问至少再连几条边可以使得该图强连通。
（最下方有强连通定义。）
分析：将一个强连通分量看成一个点（这就是所谓的缩点？），并且继承之前不同分量所相连的边，若要该图强连通，则需要每个分量的出入度都不为0。（这个可以自己想一下证明。虽然让我主动想可能想不出。。。然而证明还是可以的。）
所以要让一个图强连通，就需要让所有点的出入度都不为0，最少的就是让出度为0和入度为0的边连起来，然后再让多出来的度为0的边连接其他的边，所以需要的最少的边就是max(出度为0的边数，入度为0的边数)。

代码：

#include<bits/stdc++.h>
using namespace std;

const int N=2e4+5;
vector<int>p[N];
int vis[N],dfn[N],low[N],tot,pre[N],in[N]={0},to[N]={0};
stack<int>s;
void dfs(int x,int hx)
{
    dfn[x]=low[x]=hx;
    s.push(x);
    int n=p[x].size(),id;
    for(int i=0;i<n;i++)
    {
        id=p[x][i];
        if(vis[id])
        continue;
        if(dfn[id]==0)
            dfs(id,hx+1);
        low[x]=min(low[x],low[id]);
    }
    if(dfn[x]==low[x])
    {
        tot++;
        while(!s.empty())
        {
            id=s.top();
            s.pop();
            vis[id]=tot;
            if(id==x)
                break;
        }
    }
}
int main()
{
    int t;
    scanf("%d",&t);
    while(t--)
    {
        tot=0;
        while(!s.empty())
            s.pop();
        int n,m,a,b;
        scanf("%d%d",&n,&m);
        for(int i=1;i<=n;i++)
        {
            p[i].clear();
            vis[i]=0;
            low[i]=0;
            dfn[i]=0;

        }
        for(int i=1;i<=m;i++)
        {
            scanf("%d%d",&a,&b);
            p[a].push_back(b);
        }

        for(int i=1;i<=n;i++)
        {
            if(vis[i]==0)
                dfs(i,1);
        }
        for(int i=1;i<=tot;i++)
        {
            pre[i]=i;in[i]=to[i]=0;
        }
        int ans=0;
        for(int i=1;i<=n;i++)
        {
            int len=p[i].size(),id;
            for(int j=0;j<len;j++)
            {
                id=p[i][j];
                if(vis[i]!=vis[id])
                {
                    in[vis[i]]++;
                    to[vis[id]]++;
                }
            }
        }
        int s1=0,s2=0;
        for(int i=1;i<=tot;i++)
        {
            if(in[i]==0)
                s1++;
            if(to[i]==0)
                s2++;
        }
        ans=max(s2,s1);
        if(tot==1)
            ans=0;
        printf("%d\n",ans);
    }
}

强连通定义: 如果一个无向图中每个顶点从所有其他顶点都是可达的，则称该图是连通的。如果一个有向图中任意两个顶点互相可达，则该有向图是强连通的。（黑书上的定义。）
如果一张图的一个子图之间顶点互相可达，就成改为这张图的强连通分量，若一张图只有一个强连通分量，则该图强连通。（这是我自己的理解，可能有些表述不当，也许是最大的？）
关于强连通的算法，我昨天去学习了一下（其实就是先在书上看了一下定义，然后百度上胡乱看了几个强连通的算法的伪码。）今天发现了这一题，就顺手做一下，没想到，，。还是看了题解才做出的。
算法名字叫 ： Tarjan
貌似还有一个算法，还没看过。
下面讲解Tarjan山寨版。
大致套路就是 利用dfs，建dfn和low数组，建一个栈，搜到这个点的时候将该点入栈，dfn表示搜索到这个点的时间，low表示这个点的相关串的第一个点的时间（把图看成一棵树，就是发现这颗子树的根节点的时间，感觉有点像dfs序。）然后更新，就是判断所有跟这个点相连的点，如果没搜过，就搜一下，然后比较一下他们的low数组，更新当前点的low为当前low和相连点的low的较小值（就是该次搜索中的根节点（最高的点）。） 该点更新完毕之后，若发现该点的dfn和low相同，就将栈中的在这个点前的点和该点推出，标记这些点为一个强连通分量。然后继续搜索其他没有搜过的点。直至全部搜索完毕。