相容：每一顶点都不会通过边，指向其在此序列中的前驱顶点。

topological sorting（拓扑排序）：这样的一个线性序列。

有向无环图一定存在拓扑排序。拓扑排序存在的一定是有向无环图。

dfs应用：是否是dag。

空间复杂度&时间复杂度：O(n+e)。

出，入栈 n次

入队，n

递减邻接顶点的入度，e

删除0入度顶点，n