1. 有向图, 中的两个顶点v1和v2, 满足以下, 称这两个顶点强连通
    1. v1有路径可以到v2
    2. v2也有路径可以到v1