有向图强连通分量+缩点