关于图论中强连通分量tarjan算法的问题
对于其中的一部分
foreach(u,v)inE//枚举每一条边
if(visnotvisted)//如果节点v未被访问过
thentarjan(v)//继续向下找
Low[u]=min(Low[u],Low[v])
elseif(vinS)//如果节点v还在栈内
x05Low[u]=min(Low[u],DFN[v])
其中后部分为什么是Low[u]=min(Low[u],DFN[v])而不是Low[u]=min(Low[u],Low[v])
那位大牛能给个解释,