缩点+拓扑。

代码二楼。