HDU 2767 Proving Equivalences

题意：

给你n条声明和m条启示，每条启示表示声明a能推出声明b，但是b不一定能推出a，问你最小需要添加多少条启示才能任选两条启示都能互相推导出来。

思路：

说白了就是给你n个点m条边的无向图，问你要添加多少条边才能使其成为一个强连通分量。先用Tarjan缩点，然后去算每个点的出度和入度，然后计算入度为0的个数num1和出度为0的个数num2，答案就是max(num1,num2)。原因很简单，因为入度为0的个点需要添加一条进入它的边才能推出它来，出度为0的点需要添加一条出去的边才能去推别的，那么很刚好，一个需要进入的、一个需要出去的，添加一条边让这两个点相连不就一举两得吗。

#include<cstdio>
#include<vector>
#include<stack>
#include<cstring>
#include<queue>
#include<map>
#include<algorithm>
using namespace std;

const int MAXN=20005;
int n,m,time,cnt,dfn[MAXN],low[MAXN],id[MAXN],in[MAXN],out[MAXN];
bool vis[MAXN];
vector<int> gr[MAXN];
stack<int> s;

void init(){
	for(int i=1;i<=n;i++){
		gr[i].clear();
	}
	while(!s.empty()){
		s.pop();
	}
	memset(dfn,0,sizeof(dfn));
	memset(low,0,sizeof(low));
	memset(in,0,sizeof(in));
	memset(out,0,sizeof(out));
	memset(vis,false,sizeof(vis));
	time=0;
	cnt=0;
}

void Tarjan(int u){
	int v;
	vis[u]=true;
	dfn[u]=low[u]=++time;
	s.push(u);
	for(int i=0;i<gr[u].size();i++)
	{
		v=gr[u][i];
		if(!dfn[v]){
			Tarjan(v);
			low[u]=min(low[u],low[v]);
		}
		else if(vis[v]){
			low[u]=min(low[u],dfn[v]);
		}
	}
	if(low[u]==dfn[u]){
		cnt++;
		while(!s.empty())
		{
			v=s.top();
			s.pop();
			vis[v]=false;
			id[v]=cnt;
			if(u==v) break;
		}
	}
}

int main(){
	int T;
	scanf("%d",&T);
	while(T--){
		scanf("%d%d",&n,&m);
		init();
		for(int i=1;i<=m;i++){
			int u,v;
			scanf("%d%d",&u,&v);
			gr[u].push_back(v);
		}
		for(int i=1;i<=n;i++){
			if(!dfn[i]){
				Tarjan(i);
			}
		}
		for(int i=1;i<=n;i++){
			for(int j=0;j<gr[i].size();j++){
				int v=gr[i][j];
				if(id[i]!=id[v]){
					in[id[v]]++;
					out[id[i]]++;
				}
			}
		}
		int num1=0,num2=0;
		for(int i=1;i<=cnt;i++){
			if(!in[i]) num1++;
			if(!out[i]) num2++;
		}
		if(cnt>1) printf("%d\n",max(num1,num2));
		else printf("0\n");
	}
	return 0;
}