我读了一篇关于Tarjan算法的文章, blog。在本文中,作者提出了一个问题:
在第二种情况下,我们可以取低[v]而不是光盘[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)
我想知道为什么作者说答案是否定的。 谢谢回答我的问题。 祝你有个美好的一天。