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