根据有向图 G(V,E) 中强连通分量 T 的定义,它表示对于 T 中的每个 u,v 顶点,都有一条路径将它们连接在一起(双向)
我的问题是,假设我找到了一个强连通分量,这是否意味着路径总是可以包含来自 T 而不是 V\T 的顶点?
如果不是,我能看到一个矛盾的例子吗?
根据有向图 G(V,E) 中强连通分量 T 的定义,它表示对于 T 中的每个 u,v 顶点,都有一条路径将它们连接在一起(双向)
我的问题是,假设我找到了一个强连通分量,这是否意味着路径总是可以包含来自 T 而不是 V\T 的顶点?
如果不是,我能看到一个矛盾的例子吗?
如果“路径”是指从 u 到 v 的每条路径,反之亦然,那么是的,确实如此。
如果顶点w在从u到v的路径上,那么它当然可以到达v >.另外,v至少可以通过u到达w。
w 可以到达v 和 u 都可以到达的一切 -- v >、u 和 w 都可以完全到达相同的顶点集。
他们在同一个 SCC。
也许理解 SCC 定义的最简单方法是这样的:如果删除所有不在循环中的边,那么每个剩余的连接组件都是一个强连接组件。 SCC 中的每个顶点都可以到达所有其他顶点。