https://codeforces.com/blog/entry/68138
这是我看过的最详细的dfs树讲解
(DFS树无法找最大/最小环)
下图1-4-2-3-1 这个最大环无法被找到。
性质1.无向图dfs树上的非树边,一定是回边。
(否则在dfs时一定会沿着这条边走下去)
所以我们可以用dfs树来求无向图中的最大环!(无法找最小环,因为可能存在非简单环的情况)
性质2.一条树边是桥边,当且仅当它的子代中没有节点通过回边到达它的祖先节点。
如果存在,则当前树边构成简单环,环上边一定不是桥边,同理,非树边一定不是桥边。
性质3.一个无向图,若其无桥边。则把它按dfs树的遍历顺序把双向边重构为单向边,变成图G。则:
G中任意两个节点可相互到达(即G是一个强连通图)