什么是有向无环图？

有向无环图（DAG）是一种有向图，它不包含任何环路。换句话说，它是一种由若干个节点和有向边组成的图，其中每条边从一个节点指向另一个节点，并且不存在任何一条边使得从某个节点出发沿着边的方向走能够回到该节点。这意味着 DAG 的节点之间存在一种“依赖关系”的概念，即如果存在一条从节点 A 到节点 B 的路径，那么 A 必须先于 B 被处理或计算。

DAG 在计算机科学中有着广泛的应用，比如在编译器中用于表示程序的依赖关系、在数据处理中用于表示任务的依赖关系、在机器学习中用于表示计算图等等。由于 DAG 不包含环路，所以可以进行高效的拓扑排序（Topological Sorting），从而确定 DAG 中各个节点的处理或计算顺序。