有向有环图的强连通分量