DFS应用——查找强分支

【0】README

0.1） 本文总结于数据结构与算法分析，源代码均为原创，旨在理解 “DFS应用——查找强分支” 的idea 并用源代码加以实现；

【1】查找强分支

1.1）如何检测一个图是否是强连通的： 通过执行两次DFS，我们可以检测一个有向图是否是强连通的，如果它不是强连通的，那么我们实际上可以得到顶点的一个子集，它们到其自身是强连通的；
1.2）首先，在输入的图G上执行一次 DFS。 通过对深度优先生成森林的后序遍历将G的顶点编号，然后再把G 的所有边反向，形成 Gr**（如何构建 Gr）**；

1.3）上述算法通过对 Gr 执行一次深度优先搜索而完成，总是在编号最高的顶点开始一次新的DFS。于是，我们在顶点G 开始对 Gr 的DFS， G的编号为10。
1.4）但该顶点不通向任何顶点，因此下一次搜索在H 点开始（以下查找强分支的过程仅仅是一个可能的case，仅举例而已）。 这次调用访问 I 和 J。下一次调用在B点开始并访问 A、C 和 F。此后的调用时 DFS（D）以及最终调用DFS（E）。

1.5）结果得到的深度优先生成森林如下图所示：
这里写图片描述
1.6）对深度优先生成森林中的分析：
在该深度优先生成森林中的每棵树形成一个强连通分支。对于我们的例子，这些强连通分支为 {G}， {H，I，J}， {B，A，C，F}，{D} 和 {E}；
1.7）为了理解上述算法为什么成立？

1.7.1）首先，注意到，如果两个顶点v 和 w 都在同一个强连通分支中，那么在原图G中就存在从 v到w 和从w到v的路径，因此，在Gr中也存在。
1.7.2）现在，如果两个顶点v 和 w 不在Gr的同一个深度优先生成树中，那么显然它们也不可能在同一个强连通分支中；

【2】source code + printing results

2.1）download source code： https://github.com/pacosonTang/dataStructure-algorithmAnalysis/tree/master/chapter9/p249_dfs_strong_component
2.2）source code at a glance：（for complete code , please click the given link above）

// finding the strong component from the reverse graph and strongComponent derives from dfs
void strongComponent(Vertex vertex, int depth)
{int i;AdjTable temp;Vertex adjVertex;   //printf("\n\t visited[%c] = 1 ", flag[vertex]);visited[vertex] = 1; // update visited status of vertexvertexIndex[vertex] = counter++; // number the vertex with countertemp = reverseAdj[vertex];  while(temp->next){printf("   ");adjVertex = temp->next->vertex;     if(visited[adjVertex]) // judge whether the adjVertes was visited before        {if(vertexIndex[vertex] > vertexIndex[adjVertex] && parent[vertex] != adjVertex)     {//parent[adjVertex] = vertex; // building back side, attention of condition of building back side above// just for printing effectfor(i = 0; i < depth; i++)  printf("      ");printf("v[%c]->v[%c] (backside) \n", flag[vertex], flag[adjVertex]);}}else{parent[adjVertex] = vertex;// just for printing effectfor(i = 0; i < depth; i++)  printf("      ");printf("v[%c]->v[%c] (building edge)\n", flag[vertex], flag[adjVertex]);            strongComponent(adjVertex, depth+1);}       temp = temp->next;      }   
}