我读了一篇关于 Tarjan 算法的文章, 博客。在这篇文章中,作者提出了一个问题:
情况二,我们可以用 low[v] 代替 disc[v] 吗?. 答案是否定的。如果您能想到为什么答案是否定的,那么您可能理解了 Low 和 Disc 的概念。
我不知道为什么。当我在wiki中阅读类似的文章时,我发现代码可以是这样的:
else if (w.onStack) then
// Successor w is in stack S and hence in the current SCC
v.lowlink := min(v.lowlink, w.lowlink)
我想知道为什么作者说答案是否定的。谢谢回答我的问题。祝你有美好的一天。