第四天



FZOJ1638求强连通分量

描述

输入一个图，输出该图中的最大强连通分量。

输入

第一行：n和m（n<=10000,m<=100000,n为节点个数，m为边的条数）

接下来m行，每行两个数：a，b，表示a指向b的边（a,b为非负整数）；

输出

输出最大强连通分量的节点，按照节点编号从小到大输出，如果有多个强连通分量节点数相同，则输出节点编号字典序较小的。

样例输入

6 8

1 3

3 5

5 6

1 2

4 1

2 4

4 6

3 4

样例输出

1 2 3 4

首先，用图的存储将数据存起来。

int cnt=0;
void addarc(int a,int b){
 cnt++;
 e[cnt].data=b;
 e[cnt].next=v[a].first;
 v[a].first=cnt;
}

中间会使用到栈来存数据，还有一个记录搜索到当前点的时间的数组dfn，以及一个记录该点所在的强连通子图所在搜索子树的根节点的dfn值的标记数组low。每搜索到一个点，先为节点设定次序编号并给low赋值，将其入栈，然后枚举每条边，如果它所能到达的下个节点未被访问过，就递归继续找，low数组的当前点取值取当前节点与下一节点的最小值，如果下一节点仍在栈内，则取low[当前节点]与dfn[下一节点]的最小值。接下来如果当前节点是强连通分量的根，则一直出栈直到等于栈的顶点。

dfn[u]=low[u]=++index;
 stack[++top]=u;
 ins[u]=1;
 int k;
 for(i=v[u].first;i!=0;i=e[i].next)
 {
  k=e[i].data;
  if(!dfn[k])
  {
   tarjan(k);
   low[u]=min(low[u],low[k]);
  }
  else if(ins[k]==1)
   low[u]=min(low[u],dfn[k]);
 }
 if(dfn[u]==low[u])
 {
  do{   
   k=stack[top--];
   ins[k]=0;
   scc[k]=c;
  }while(u!=k);
  c++;
 }        //可能有问题0.0