hdu 2767 Proving Equivalences (加多少边使其强连通)

题意大致是有n个 推断，和m个推出关系，输入a b代表a能推出b，问要使n个推断能够互相推出，至少要证明几个推断。a推出b，在图中是由a指向b的有向边，能够相互推出，即加最少的边使图变成强连通图

思路：先跑一遍tarjin，求出所有强连同分支。然后缩点，根据结论：求出入度为0，和出度为0的个数。较大者为答案。特殊情况：如果图本来就是强连通的，那么不用加边。即答案为0；结论的理解：在缩点图中，入度为0的点视作树根，出度为0的视为树叶，则要使整个树连通，叶子和树根较大的一方必须都得出一条边才能使图连通。

//思路：连通分量缩点 ：一个连通分量看作一个点 答案为：max(入度为0的点的数量,出度为0的点的数量) 
#include<algorithm>
#include<cstring>
#include<cstdio>
#include<stack>
#include<vector>
using namespace std;
const int maxn = 2*1e4+10;
int low[maxn],dfn[maxn],instack[maxn],scc[maxn];//scc[i] 记录第i个点在几号连通分量中 
int time,num;
int In[maxn],Out[maxn];
vector<int> g[maxn];
stack<int> s;
void tarjan(int u)
{
	dfn[u]=low[u]=++time;
	instack[u]=1;
	s.push(u);
	for(int i=0;i<g[u].size();i++)
	{
		int v=g[u][i];
		if(!dfn[v])
		{
			tarjan(v);
			low[u]=min(low[v],low[u]);
		}
		else if(instack[v])
			low[u]=min(low[u],low[v]);
	}
	if(dfn[u]==low[u])
	{
		num++;      //强连通分量个数 
		int x;
		do
		{
			x=s.top();
			scc[x]=num;
			s.pop();
			instack[x]=0;
		}while(x!=u);
	}
}
int main()
{
	int n,m;
	int t;
	scanf("%d",&t); 
	while(t--)
	{
		scanf("%d%d",&n,&m);
		for(int i=1;i<=n;i++)g[i].clear();
		time=num=0;
		memset(dfn,0,sizeof(dfn));
		memset(Out,0,sizeof(Out));
		memset(In,0,sizeof(In));
		for(int i=0;i<m;i++)
		{
			int u,v;
			scanf("%d%d",&u,&v);
			g[u].push_back(v);
		}
		for(int i=1;i<=n;i++)
		if(!dfn[i])tarjan(i);
		for(int u=1;u<=n;u++)
			for(int j=0;j<g[u].size();j++)
			{
				int v=g[u][j];
				if(scc[u]!=scc[v])
				Out[scc[u]]++,In[scc[v]]++;
			}
		int inum=0,onum=0;
		for(int i=1;i<=num;i++)
		{
			if(Out[i]==0)onum++;
			if(In[i]==0)inum++;
		}
		if(num==1)printf("0\n");//强连通图，不用加边 
		else
		printf("%d\n",onum>inum?onum:inum);
	}
}