如果一个有向图中，任意两个顶点之间都有有向路径相通，那么这个有向图就是强连通的