强连通
定义
给定有向图 G = ( V , E ) G=(V,E) G=(V,E)。
对于 u , v ∈ V u,v\in V u,v∈V,若 G G G 中同时存在 u u u 到 v v v 的路径和 v v v 到 u u u 的路径,则称 u u u 和 v v v 强连通 (strongly connected) \text{(strongly connected)} (strongly connected)。
如果对于任意的 u , v ∈ V u, v\in V u,v∈V 都有 u u u 和 v v v 强连通,则称有向图 G G G 为强连通图。
其中,顶点的强连通是一个等价关系,即若 u u u 和 v v v 强连通, G G G 中必然同时存在 u u u 到 v v v 的路径和 v v v 到 u u u 的路径。
所以图的强连通性还具有以下几点性质:
- 自反性:对任意顶点 u ∈ V u\in V u∈V 和自己都是强连通的
- 对称性:对任意的 u , v ∈ V u, v\in V u,v∈V,若 u u u 和 v v v 强连通,则 v v v 和 u u u 强连通。
- 传递性:对任意的 u , v , w ∈ V u,v,w\in V u,v,w∈