图论 tarjan 有向图 的 强连通分量（noip算法每周过）

【题目描述】：

有向图强连通分量：在有向图G中，如果两个顶点vi,vj间（vi>vj）有一条从vi到vj的有向路径，同时还有一条从vj到vi的有向路径，则称两个顶点强连通(strongly connected)。如果有向图G的每两个顶点都强连通，称G是一个强连通图。有向图的极大强连通子图，称为强连通分量(strongly connected components)。

现在给出一个有向图。结点个数N(<=1000)(编号1~N)，边数M(<=5000)。请你按照从小到大的顺序输出最大的强连通分量结点编号。

【输入描述】：

第一行N和M 以下M行，每行两个空格隔开的整数表示一条有向边；

【输出描述】：

输出一行，最大的强连通分量的结点（由小到大输出）

【样例输入】：

10 20
2 2
5 3
8 5
3 4
8 7
10 10
10 6
7 7
2 8
3 2
8 1
3 8
1 7
8 10
7 5
6 4
9 2
8 6
7 5
1 8

【样例输出】：

1 2 3 5 7 8

【时间限制、数据范围及描述】：

时间：1s 空间：256M

N<=1000, M<=5000

AC代码：

#include<iostream>
#include<cstdio>
#include<stack>
#include<cstring>
using namespace std;
struct node{
	int u,v,next;
}e[5005];
int mn(int x,int y){
	return x<y?x:y;
}
int dfn[1005],low[1005],cn,ins[1005],h[1005],cg,g[1005],n,m,t[1005],vb,maxn;
stack<int>S;
void tarjan(int u){
	dfn[u]=low[u]=++cn;
	ins[u]=1;S.push(u);
	for(int i=h[u];i!=-1;i=e[i].next){
		int v=e[i].v;
		if(!dfn[v]){
			tarjan(v);
			low[u]=mn(low[u],low[v]);
		}
		else if(ins[v]){
			low[u]=mn(low[u],dfn[v]);
		}
	}
	if(low[u]>=dfn[u]){
		cg++;
		int i;
		do{
			i=S.top();ins[i]=0;
			S.pop();g[i]=cg;
		}while(i!=u);
	}
}
void add(int u,int v,int cnt){
	e[cnt].v=v;
	e[cnt].next=h[u];
	h[u]=cnt;
}
int main(){
	int u,v;
	memset(h,-1,sizeof(h));
	for(int i=1;i<=n;i++){
		low[i]=i;
	}
	scanf("%d%d",&n,&m);
	for(int i=1;i<=m;i++){
		scanf("%d%d",&u,&v);
		add(u,v,i);
	}
	for(int i=1;i<=n;i++){
		if(!dfn[i])tarjan(i);
	}
	for(int i=1;i<=n;i++){
		t[g[i]]++;
		if(maxn<t[g[i]]){
			maxn=t[g[i]];
			vb=g[i];
		}
	}
	for(int i=1;i<=n;i++){
		if(g[i]==vb){
			printf("%d ",i);
		}
	}
	return 0;
}