为什么缩点后需要拓扑排序，直接判断有几个点入度为 $0$ 不就好了吗