强连通分量+缩点