强连通

强连通（Strong Connectivity）是 有向图 的一种连通性：对任意两个顶点 $u$ 和 $v$，$u$ 可以到达 $v$，同时 $v$ 也可以到达 $u$。

如果整张有向图满足这个条件，就称它是强连通图；如果只在某个极大的顶点集合内部满足这个条件，这个集合对应的子图就是 强连通分量。