如何检查有向图是否是非循环的？

在图论中，检查有向图是否是非循环的可以通过拓扑排序算法来实现。拓扑排序是一种对有向无环图（DAG）进行排序的算法，它可以找出图中的所有节点并按照它们之间的依赖关系进行排序。

以下是检查有向图是否是非循环的步骤：

1. 对图中的所有节点进行拓扑排序。
2. 如果拓扑排序成功，则图是非循环的。
3. 如果拓扑排序失败，则图包含循环。

拓扑排序算法的实现通常使用队列和入度列表。具体步骤如下：

1. 将所有入度为0的节点加入队列。
2. 从队列中取出一个节点，并将其入度为0。
3. 将该节点的所有邻居的入度减1。
4. 如果邻居的入度为0，则将其加入队列。
5. 重复步骤2-4，直到队列为空。

如果队列中的节点数量小于图中的节点数量，则说明图中存在循环。

总之，检查有向图是否是非循环的可以通过拓扑排序算法来实现。