有向图的强连通分量+缩点