我正在阅读Tarjan's paper on scc。
在论文中,给定顶点的低链接定义为:
LOWLINK(v)是与v在同一组件中的最小顶点 并且可以通过遍历零个或多个树弧,然后是最多一个 叶子或交叉链接。
我无法通过a给出scc中给定scc中两个顶点的路径 交叉链接边缘,因为整个scc应该在一个由dfs搜索派生的树中。任何人都可以解释一下吗?
答案 0 :(得分:0)
这个想法很简单:
在遍历图形时索引图形,当您从递归返回时,您注意到每个节点,可以从中获取最小索引。要达到比指定节点已有的索引更低的索引,必须有交叉链接或前端链接。因为当您到达具有较低索引的尚未打开的节点时,这意味着您在同一个scc中找到了一个节点,很容易理解,具有相同低链接的所有节点都在同一个组件中(visualization of the algorithm)