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

有向无环图（DAG，Directed Acyclic Graph）的拓扑排序是一种将图中顶点按照它们的依赖关系线性排列的方式，满足对于每条边 (u, v)，顶点 u 的排列在其依赖的顶点 v 之前。由于DAG是一个无环的结构，这意味着从任意一个顶点开始，都不可能通过一系列有向边形成一个闭合回路。因此，对于DAG，总能找到一种拓扑顺序，即确定性的线性序列。

拓扑排序的存在是基于Kahn算法，该算法通过维护一个待处理队列（初始时包含所有入度为0的节点），并不断选择队列中的节点出队，然后更新其邻居的入度，直到队列为空。如果图中没有循环，那么这个过程一定会结束，因为每次操作都会减少一个节点的入度。