[定义]
有向图强连通分量:在有向图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;
}