algorithm - 寻找强连通分量的 tarjan 算法背后的直觉是什么？

Question

我正在从这里学习 tarjan 的算法 Tarjan ，我有两个问题:

1. 我们如何使用堆栈找到强连通组件？
2. 为什么从以 V 为根的子树到它的祖先的后代应该没有回边？

Answer 1

要回答第二个问题，可以这样想:
如果您确实有一条边返回到某个祖先节点，这意味着您可以从相关子树到达那里，因此整个事物变成了一个强连通组件。