缩点拓扑/森林DP。