求有向图的强连通分量<Tarjan>

概念：

有向图强连通分量在有向图G中，如果两个顶点vi,vj间(vi>vj)有一条从vi到vj的有向路径，同时还有一条从vj到vi的有向路径，则称两个顶点强连通(strongly connected)。

如果有向图G的每两个顶点都强连通，称G是一个强连通图。有向图的极大强连通子图，称为强连通分量(strongly connected components)。

过程：

对于该图，刚1开始DFS。

pre[1]=low[1]=1,把1加入栈S中，然后从其出度指向的结点2开始。

pre[2]=low[2]=2，把2加入栈中，然后从其出度指向的指点4开始。

pre[4]=low[4]=3，把4加入栈中，但发现其出度所指向已经有1结点在栈中，则赋值low[4]=min（low[4],pre[1])=1.

然后从4的下一个出度所指结点6开始，

pre[6]=low[6]=4，其再无出度，且pre[6]=low[6]，则将栈S中从顶到6均取出放入一个数组sccno[6]=1。也就是6是第一个强连通分量。

回溯到4，low[4]=min(low[4],low[6])=1。 也就是不变。

由于pre[4]与low[4]不相同，则不取出栈。

回溯到2,low[2]=min(low[2],low[4])=1。

由于pre[2]与low[2]不相同，也不取出栈。

回溯到1，其还有出度结点没访问，则接着访问3。

pre[3]=low[3]=5,把3加入栈中，其出度所指向的4已经访问过。low[3]=min（low[3],pre[4]）=3。

从3出度所指下一个结点5开始，pre[5]=low[5]=6，将5放入栈中，5所指的结点6已经访问且存在sccno[6]。

则由于pre[5]=low[5]，将从栈顶到5的栈全部取出，也就是sccno[5]=2，也就是5为第二个强连通分量。

回溯到3，low[3]=min（low[5],low[3])=3，也就是不变。

pre[3]与low[3]不相同，则不取出栈。

回溯到1，low[1]=min（low[1],low[3]）=1，也就是不变。

1结点的pre[1]与low[1]相同，从栈顶开始取到1结点，也就是sccno[3]=3，sccno[4]=3,sccno[2]=3,sccno[1]=3,得出3、4、2、1均为第三个强连通分量。

#include <iostream>
#include <stack>
#include <vector>
#include <string.h>
#define MAXN 1005
using namespace std;

int n,m;
int pre[MAXN],low[MAXN];
stack<int>S;
vector<int>G[MAXN];
int sccno[MAXN];
int clock1,clock2;

void dfs(int u){
	pre[u]=low[u]=++clock1;
	S.push(u);
	for(int i=0;i<G[u].size();i++){
		int v=G[u][i];
		if(!pre[v]){
			dfs(v);
			low[u]=min(low[v],low[u]);
		}else if(!sccno[v]){
			low[u]=min(low[u],pre[v]);
		}
	}
	if(low[u]==pre[u]){
		clock2++;
		while(true){
			int x=S.top();S.pop();
			sccno[x]=clock2;
			if(x==u)break;
		}
	}
}

void find(){
	clock1=clock2=0;
	memset(pre,0,sizeof(pre));
	memset(low,0,sizeof(low));
	for(int i=1;i<=n;i++)
		if(!pre[i])dfs(i);
}

int main(){
	freopen("in.txt","r",stdin);
	int t1,t2;
	cin >> n >> m;
	for(int i=0;i<m;i++){
		cin >> t1 >> t2;
		G[t1].push_back(t2);
	}
	find();
	for(int i=1;i<=n;i++)
		cout << i <<"是第" << sccno[i] << "个连通分量"<<endl; 
}