洛谷P2863 牛的舞会——Tarjan模板

题目大意： 给你n个点，m条边，求图中所有大小大于1的强连通分量的个数。

原题（供各位娱乐）：

约翰的N (2 <= N <= 10,000)只奶牛非常兴奋，因为这是舞会之夜！她们穿上礼服和新鞋子，别 上鲜花，她们要表演圆舞.

只有奶牛才能表演这种圆舞.圆舞需要一些绳索和一个圆形的水池.奶牛们围在池边站好， 顺时针顺序由1到N编号.每只奶牛都面对水池，这样她就能看到其他的每一只奶牛.

为了跳这种圆舞，她们找了 M(2<M< 50000)条绳索.若干只奶牛的蹄上握着绳索的一端， 绳索沿顺时针方绕过水池，另一端则捆在另一些奶牛身上.这样，一些奶牛就可以牵引另一些奶 牛.有的奶牛可能握有很多绳索，也有的奶牛可能一条绳索都没有.

对于一只奶牛，比如说贝茜，她的圆舞跳得是否成功，可以这样检验：沿着她牵引的绳索， 找到她牵引的奶牛，再沿着这只奶牛牵引的绳索，又找到一只被牵引的奶牛，如此下去，若最终 能回到贝茜，则她的圆舞跳得成功，因为这一个环上的奶牛可以逆时针牵引而跳起旋转的圆舞. 如果这样的检验无法完成，那她的圆舞是不成功的.

如果两只成功跳圆舞的奶牛有绳索相连，那她们可以同属一个组合.

给出每一条绳索的描述，请找出，成功跳了圆舞的奶牛有多少个组合？

题解：

作为一道Tarjan的水题，我实在是不想说什么。然而，写这道题的时候，我竟然WA了一次！！！（WA的原因竟然是邻接表打错了）。这当真是“稻花香里做水题，听取WA声一片······”（默认本博客阅读者早已知道什么是Tarjan，不懂请@Menci）

废话少说，上代码······

#include<bits/stdc++.h>
using namespace std;
#define maxn 50005
struct Edge{
	int u,v;
}e[maxn<<1];
int first[maxn],next[maxn<<1],cnt=0;
void AddEdge(int u,int v){
	e[++cnt].u=u;e[cnt].v=v;
	next[cnt]=first[u];first[u]=cnt;
}
int pre[maxn],lowlink[maxn],sccno[maxn],dfs_clock,scc_cnt;
stack<int> S;
void Tarjan(int u){
	pre[u]=lowlink[u]=++dfs_clock;
	S.push(u);
	for(int i=first[u];i;i=next[i]){
		int v=e[i].v;
		if(!pre[v]){
			Tarjan(v);
			lowlink[u]=min(lowlink[u],lowlink[v]);
		}
		else if(!sccno[v]){
			lowlink[u]=min(lowlink[u],pre[v]);
		}
	}
	if(lowlink[u]==pre[u]){
		scc_cnt++;
		for(;;){
			int x=S.top(); S.pop();
			sccno[x]=scc_cnt;
			if(x==u) break;
		}
	}
}
void find_scc(int n){
	dfs_clock=scc_cnt=0;
	memset(sccno,0,sizeof(sccno));
	memset(pre,0,sizeof(pre));
	for(int i=1;i<=n;i++)
		if(!pre[i]) Tarjan(i);
}
int num[10005],ans;
int main(){
	int n,m;
	scanf("%d%d",&n,&m);
	for(int i=1;i<=m;i++){
		int u,v;
		scanf("%d%d",&u,&v);
		AddEdge(u,v);
	}
	find_scc(n);
	for(int i=1;i<=n;i++) num[sccno[i]]++;
	for(int i=1;i<=scc_cnt;i++) if(num[i]>1) ans++;
	printf("%d\n",ans);
	return 0;
}

代码风格借鉴Rujia Liu。（但没有用Vector）

转载于:https://www.cnblogs.com/Neonen/p/9832503.html