强连通分量(缩点)