Tarjan

[定义]

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

[题目大意] 在一个有向图中，告诉你路径。求其中的强连通分量的数量。

[思路分析]其实如果我不知道Tarjan这道题估计以我的水平只能打暴力 用Tarjan就是了。

[代码实现]

#include<cstdio>
#include<iostream>
using namespace std;
int n,m,s[10010][10010],vis[10010];
int dfn[10010],low[10010],tim;
int stack[10010],top;
int tot;
void tarjan(int x)
{
	vis[x]=1;
	tim++;
	dfn[x]=tim;
	low[x]=tim;
	top++;
	stack[top]=x;
	int i;
	for(i=1;i<=n;i++)
	{
		if(s[x][i]==1)
		{
			if(!dfn[i])
			{
				tarjan(i);
				low[x]=min(low[x],low[i]);
			}
			else
			{
				if(vis[i])
				{
					low[x]=min(low[x],low[i]);
				}
			}
		}
	}
	if(dfn[x]==low[x])
	{
		tot++;
		for(i=low[x];i<=top;i++)
		{
			vis[stack[i]]=0;
		}
		top=low[x]-1;
		tim=top;
	}
	return;
}
int main(void)
{
	scanf("%d %d",&n,&m);
	int i,u,v;
	for(i=1;i<=m;i++)
	{
		scanf("%d %d",&u,&v);
		s[u][v]=1;
	}
	for(i=1;i<=n;i++)
	{
		if(!dfn[i])
		{
			tarjan(i);
		}
	}
	printf("%d",tot);
	return 0;
}

今天就先水一下吧