P2863 [USACO06JAN]牛的舞会The Cow Prom

Description：

约翰的N (2 <= N <= 10,000)只奶牛非常兴奋，因为这是舞会之夜！她们穿上礼服和新鞋子，别 上鲜花，她们要表演圆舞.
只有奶牛才能表演这种圆舞.圆舞需要一些绳索和一个圆形的水池.奶牛们围在池边站好， 顺时针顺序由1到N编号.每只奶牛都面对水池，这样她就能看到其他的每一只奶牛.
为了跳这种圆舞，她们找了 M(2<M< 50000)条绳索.若干只奶牛的蹄上握着绳索的一端， 绳索沿顺时针方绕过水池，另一端则捆在另一些奶牛身上.这样，一些奶牛就可以牵引另一些奶 牛.有的奶牛可能握有很多绳索，也有的奶牛可能一条绳索都没有.
对于一只奶牛，比如说贝茜，她的圆舞跳得是否成功，可以这样检验：沿着她牵引的绳索， 找到她牵引的奶牛，再沿着这只奶牛牵引的绳索，又找到一只被牵引的奶牛，如此下去，若最终 能回到贝茜，则她的圆舞跳得成功，因为这一个环上的奶牛可以逆时针牵引而跳起旋转的圆舞. 如果这样的检验无法完成，那她的圆舞是不成功的.
如果两只成功跳圆舞的奶牛有绳索相连，那她们可以同属一个组合.
给出每一条绳索的描述，请找出，成功跳了圆舞的奶牛有多少个组合？

Analysis：

tarjan模板题，大于1的强连通分量即满足题意。

Code

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<queue>
#define M 500001
#define N 500001
using namespace std;
struct edge{
	int v,next;
}e[M];
int head[N],st[N],scc[N],dfn[N],low[N],size[N],top,num_dfs,num_scc,num_edge,n,m;
inline void add(int u,int v){
	e[++num_edge].next = head[u];
	e[num_edge].v = v;
	head[u] = num_edge;
}
void tarjan(int u){
	dfn[u] = low[u] = ++num_dfs;
	st[++top] = u;
	for(int i = head[u];i;i = e[i].next){
		int v = e[i].v;
		if(!dfn[v]){
			tarjan(v);
			low[u] = min(low[u],low[v]);
		}else{
			if(!scc[v])
				low[u] = min(low[u],dfn[v]);
		}
	}
	if(low[u] == dfn[u]){
		++num_scc;
		scc[u] = num_scc;
		++size[num_scc];
		while(st[top] != u){
			scc[st[top]] = num_scc;
			++size[num_scc];
			--top;
		}
		--top;
	}
}
void solve(){
	for(int i = 1;i <= n;++i){
		if(!dfn[i])
			tarjan(i);
	}
	int ans = 0;
	for(int i = 1;i <= num_scc;++i){
		if(size[i] > 1) ++ans;
	}
	printf("%d",ans);
}
int main(){
	scanf("%d %d",&n,&m);
	for(int i = 1;i <= m;++i){
		int a,b;
		scanf("%d %d",&a,&b);
		add(a,b);
	}
	solve();
	return 0;
}