为什么是low[x]=min(low[x],dfn[y])而不是low[x]=min(low[x],low[y])
1条回答 默认 最新
- ShowMeAI 2023-01-11 19:18关注
算法完整步骤如下:
- 数组初始化:当首次搜索到点u时,dfn和low数组的值都为到该点的时间。
- 堆栈:每遍历到一个未被标记的点,将它入栈。
- 当点u可以到达点v时,如果点v不在栈中,那么low[u] = min{low[u],low[v]};如果点v在栈中,那么low[u] = min{low[u],dfn[v]}。
- 每当搜索到一个点并经过以上步骤后,其low值等于dfn值,则将它以及在它之上的元素弹出栈。这些出栈元素组成一个强连通分量。
- 继续搜索(因为有向图可能有多个连通子图组成,而这些子图没有交集),直到所有点被遍历。
下面解释为什么公式是那样:
- low[u] 和 dfn[u] 都是用来记录每个节点的遍历时间戳。
- low[u] 表示当前点 u 可追溯到的最早时间戳。
- dfn[u] 则是当前点 u 第一次被遍历时的时间戳。
- 在遍历到点 u 时,low[u] 初始值就等于 dfn[u]。
- 如果点 u 可以到达点 v,且点 v 已经被遍历过,但没有被弹出栈,那么说明点 v 是在点 u 所在的强连通分量之内的。
- 此时应该取 min{low[u],dfn[v]} 作为 low[u]的值。因为点 v 是在点 u 所在的强连通分量之内的,所以点 v 的时间戳 dfn[v] 一定是比点 u 早的,如果 low[u] 取 min{low[u], dfn[v]},那么就能保证这个强连通分量中能追溯到的最早时间戳是在该强连通分量中的。
- 而如果点 v 在栈中,说明点 v 没有被遍历过。如果点 v 在栈中,点 v 部分的深搜还没有结束,可能会继续找到更早的节点,所以点 v 的 low 值不能确定,所以我们采用 dfn[v]来更新 low[u]
本回答被题主选为最佳回答 , 对您是否有帮助呢?解决 无用评论 打赏 举报
悬赏问题
- ¥15 单片机学习顺序问题!!
- ¥15 ikuai客户端多拨vpn,重启总是有个别重拨不上
- ¥20 关于#anlogic#sdram#的问题,如何解决?(关键词-performance)
- ¥15 相敏解调 matlab
- ¥15 求lingo代码和思路
- ¥15 公交车和无人机协同运输
- ¥15 stm32代码移植没反应
- ¥15 matlab基于pde算法图像修复,为什么只能对示例图像有效
- ¥100 连续两帧图像高速减法
- ¥15 如何绘制动力学系统的相图