Tarjan算法

     Tarjan算法：

     写写对算法的理解。

1.首先明确：DFN[]数组用来标记当前结点是栈中第几个结点（入栈第几个）。Low[i]表示i这个结点可以回溯到栈中最远的结点的编号。我们同时使用in_stack[]这个数组用来记录结点是否在栈中。Ssc_root[]数组表示当前结点的根结点。Ssc变量表示当前强连通分量的编号。

2.算法的执行过程：首先将所有结点标号DFN设置为零。每次只选标号为零的结点进行Tarjan算法。然后以该结点扩展与之相邻的结点（表明这些结点有亲戚关系），在条件（即连通）允许的情况下每次都选择最小标号（也即此时栈底的元素标号）并将其赋值给low数组。当全部扩展完全后、将这些有亲戚关系的结点全部pop出栈。这里注意：我们一般将每次第一个（即此时栈为空时第一个入栈）进行操作的结点标记为根结点。

算法实现：

void Tarjan(int cur)//求点cur所处的强连通分支 { int curnum; DFN[cur]=low[cur]=id++; S.push(cur); in_stack[cur]=true; edge *head=next_edge[cur]; while(head!=NULL) { curnum=head->to; if(!DFN[curnum]) { Tarjan(curnum); low[cur]=min(low[curnum],low[cur]); } else if(in_stack[curnum]) { low[cur]=min(low[cur],DFN[curnum]); } head=head->next; } if(low[cur]==DFN[cur]) { ssc++; do { curnum=S.top(); S.pop(); in_stack[curnum]=false; ssc_root[curnum]=ssc; }while(cur!=curnum); } }

推荐题目：

 POJ 1236  POJ 2553   POJ 2186