向图上环的存在。所有DFS跳过的后向边都是某些环的一部分。 在一个无向图上，指向父节点的边不能被算作后向边，但是找到已经被经过了的顶点意味着后向边的存在。在无向图的情况下，找到一个阶数为formula_7图上的环只需要"O"("n")时间。许多拓扑排序算法也会探测环的存在，因为这些环会成为拓扑排序存在的障碍。另外，如果一个有向图被分成了几个强连通分量,那么环只会在这些分量内部存在，而不会连接这几个分量，因为环本身就是强连接的。对于有向图，还可以使用基于分布式信息的算法。这些算法的思路基于一条从一