任何无环的有向图，其结点都可以排在一个拓扑序列里。