对于基本的算法过程在这里推荐一位大牛的分析:有向图强连通分量的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迷宫城堡---就是判断给出的图是否为一个强连通,简单的模板题
个人愚昧观点,欢迎指正与讨论