Problem Solved

建模
把有向图强连通分量压成点，变成DAG，添加最少的边使得新图强连通