Tarjan 算法自我总结

 首先要说一下，强连通分量是指有向图里顶点间能互相到达的子图，并不一定要各点之间连在一起。 极大强连通图 是一个没有被其他连通图完全包含的图。

所以说Tarjan算法是来求强连通图的。

tarjan算法 代码如下：

void tar(int a)
{
 int i,b;
 dfn[a]=low[a]=++t; put(a);
 for(i=v[a].fir;i!=0;i=arcnum[i].next)
 {
 b=arcnum[i].go;
 if(dfn[b]==0)
 {
   tar(b);
   low[a]=min(low[a],low[b]);
    }
  else if(vis[b])
  low[a]=min(dfn[b],low[a]);
   }
   if(low[a]==dfn[a])
   {
    do
    {
       b=push();
       f[b]=k;
    }while(a!=b);
    k++;
   }
}

附上：POJ2186 代码：

#include<stdio.h>
#include<algorithm>
using namespace std;
const int maxn=10000+100;
struct node{int data,fir;}v[maxn];
struct arcc{int go,next;}arcnum[70000];
int sum,top,stack[maxn];
void addarc(int a,int b)
{
	sum++;
	arcnum[sum].go=b;
	arcnum[sum].next=v[a].fir;
	v[a].fir=sum;
}
int low[maxn],dfn[maxn],t,vis[maxn],f[maxn],k=1,flag[maxn];
void put(int a)
{vis[a]=1; stack[++top]=a;}
int push()
{vis[stack[top]]=0; return stack[top--];}
void tar(int a)
{
	int i,b;
	dfn[a]=low[a]=++t; put(a);
	for(i=v[a].fir;i!=0;i=arcnum[i].next)
	{
	b=arcnum[i].go;
	if(dfn[b]==0)
	{
	  tar(b);
	  low[a]=min(low[a],low[b]);
    }
	 else if(vis[b])
	 low[a]=min(dfn[b],low[a]);
   }
   if(low[a]==dfn[a])
   {
   	do
   	{
   	   b=push();
   	   f[b]=k;
   	}while(a!=b);
   	k++;
   }
}
int outgdr[maxn];
int main()
{
	int n,m,i,j,a,b,jl;
	scanf("%d %d",&n,&m);
	for(i=1;i<=m;i++)
	{
	scanf("%d %d",&a,&b);
	addarc(a,b);
	}
	for(i=1;i<=n;i++)
	 if(!dfn[i])
	  tar(i);
	for(i=1;i<=n;i++)
	 for(j=v[i].fir;j!=0;j=arcnum[j].next)
	 {
	   a=f[i]; b=f[arcnum[j].go];
	   if(a!=b)
	   	outgdr[a]++;
     }
     
     a=0; b=0; 
    for(i=1;i<k;i++)
      if(outgdr[i]==0)
      	a++,jl=i;
    for(i=1;i<=n;i++)
      if(f[i]==jl)
        b++;
    if(a==1)
     printf("%d",b);
    else if(b==n)
    printf("%d",n);
    else
    printf("0");
	/*for(i=1;i<=n;i++)
     printf(" %d %d\n",i,f[i]);*/
   return 0;
}

值得注意的一点，int main（）里面空间不足够多，如果开大一点儿的数组开在int main（） 外才能开出来，否则数据大了，什么都输不出来，而且还会报错。

缩点： 是指把一个强连通图看成一个点，具体操作是，在tarjan里面，进行一部分修改，强连通分量里有写，就把它看成一个点，运用时候，加if语句判断即可。