使用DFS遍历一个无环有向图，退出时输出相应顶点，得到的顶点序列是拓扑有序吗

对于一个无环有向图，使用深度优先搜索（DFS）进行遍历，退出时输出的顶点序列是拓扑有序的。

拓扑排序是对有向无环图（DAG）的顶点进行线性排序，使得对于任何一条有向边 (u, v)，顶点 u 都排在顶点 v 的前面。拓扑排序可以用来解决很多实际问题，如任务调度、依赖关系等。

在使用DFS遍历无环有向图的过程中，我们可以利用递归的方式，在访问一个顶点时，首先访问其所有的邻接顶点，直到没有未被访问的邻接顶点为止。然后将当前顶点加入到结果序列中。由于在无环有向图中不存在回路，因此我们可以保证在遍历过程中不会出现后退的情况。

因此，使用DFS遍历无环有向图并在退出时输出相应顶点，得到的顶点序列是拓扑有序的。