无向图判断是否存在环

问题

Exercises 22.4-3 - 算法导论 (英文第3版) 

给出算法判断已知无向图 G = (V, E) 是否存在环. 算法运行时间要求为 O(V), 独立于 |E|.

此题关键是算法时间, 判断是否存在环相对简单.

分析

当DFS(深度优先遍历)时, 如果没有向后边(Back Edge), 则无向图无环.

(1) 如果含有向后边, 则无向图存在环.

(2) 如果没有向后边, 根据书中Theorem 22.10 , 无向图只有树边(Tree Edge). 因此, 图是无环的.

所以, 可以使用DFS : 如果发现向后边, 则无向图存在环. 

Time: O(V).  (非O(V+E))

如果已经查看了 |V| 条边. 则一定看到了向后边. 因为 (根据书中Theorem B.2) 在无环(无向图)中, |E| <= |V| - 1.