tarjan求强联通分量

这是第一篇。。。用来记住自己掌握的算法。。。

scc[i]表示点i所属强连通分量编号，sum表示强连通分量个数，pre[i]记录点i的Dfs序，序越小在栈中越靠底。low[i]表示点i往下能回到的pre最小的pre。

2016.12.5UPD:现在还不会写

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
int n,m,l,first[100],pre[100],scc[100],low[100],Time,zhan[1000],tail,sum;
struct ly{int next,to;}a[10000];
void link(int x,int y)
{
	l++;
	a[l].to=y;
	a[l].next=first[x];
	first[x]=l;
}
void dfs(int t)
{
	pre[t]=low[t]=++Time;
	zhan[++tail]=t; 
	for(int i=first[t];i!=0;i=a[i].next)
	{
		int k=a[i].to;
		if (!pre[k])
			dfs(k),low[t]=min(low[t],low[k]);
		else
			if (!scc[k]) low[t]=min(low[t],pre[k]);
	}
	if (low[t]==pre[t])
	{
		sum++;
		while(1)
		{
			int x=zhan[tail--];
			scc[x]=sum;
			if (x==t) break;
		}
	}
}
int main()
{
	scanf("%d%d",&n,&m);
	for (int i=0;i<m;i++)
	{
		int x,y;
		scanf("%d%d",&x,&y);
		link(x,y);
	}
	for (int i=1;i<=n;i++)
		if(!pre[i]) dfs(i);
	for (int i=1;i<=n;i++)
		printf("%d %d\n",i,scc[i]);
	return 0;
}