洛谷 P3387 【模板】缩点 邻接表+Tarjan+栈+染色+缩点+拓扑排序+动归