显然 tarjan 缩点，并在得到的 DAG 上 DP 的裸板子题。