强连通分量-tarjan算法模板详解

对于基本的算法过程在这里推荐一位大牛的分析：有向图强连通分量的tarjan算法

分析中结合图形模拟算法过程，我也是看了这位大牛的文章之后入门tarjan算法，但是大牛的代码中没有注释，自己比较笨，看大牛的代码也用了很长时间理解，这里给出大牛的代码模板结合自己的详细解释，希望以后自己来看一目了然，也希望能帮助刚接触tarjan算法的人更快理解

下面是大牛的代码(一些变量名有改动，希望更有助理解)

int top;//这个是用作栈顶的指针
int Stack[MAX];//维护的一个栈
bool instack[MAX];//instack[i]为真表示i在栈中 
int DFN[MAX],LOW[MAX];
int Belong[MAX];//Belong[i] = a; 表示i这个点属于第a个连通分量
int Bcnt,Dindex;//Bcnt用来记录连通分量的个数，Dindex表示到达某个点的时间
void tarjan(int u)
{
    int v;
    DFN[u]=LOW[u] = ++ Dindex;//这里要注意 Dindex是初始化为0，这里就不能 Dindex++; 不然第一个点的DFN和LOW就为0
    Stack[++ top] = u;
    instack[u] = true;
    for (edge *e = V[u] ; e ; e = e->next)//对所有可达边的搜索
    {
        v = e->t;
        if (!DFN[v])//这个if 就是用来更新LOW[u]
        {
            tarjan(v);
            if (LOW[v] < LOW[u])
                LOW[u] = LOW[v];
        }
        else if (instack[v] && DFN[v] < LOW[u])
            LOW[u] = DFN[v];
    }
    if (DFN[u] == LOW[u])//这里表示找完一个强连通啦
    {
        Bcnt ++;//强连通个数加1
        do
        {
            v = Stack[top --];
            instack[v] = false;
            Belong[v] = Bcnt;
        }
        while (u != v);//一直到v=u都是属于第Bcnt个强连通分量
    }
}
void solve()
{
    int i;
    top = Bcnt = Dindex = 0;
    memset(DFN,0,sizeof(DFN));
    for (i = 1; i <= N ; i ++)//这里是一定要对所有点tarjan才能求出所有的点的强连通分量
        if (!DFN[i])
            tarjan(i);
}

如果对模板也比较熟悉就试着做 hdu1269迷宫城堡---就是判断给出的图是否为一个强连通，简单的模板题

个人愚昧观点，欢迎指正与讨论