本文章代码中的图用邻接矩阵来表示,所以算法复杂度为O(V^2)。如果用邻接表来表示,那么算法的复杂度为O(V+E)。
DFS可用来判断图中是否有环,展现无向图中的连通分支。
通过DFS,形成一个由多棵深度优先树所组成的深度优先森林。将原先图中的边添加到该森林之后,可以将所有边定义为以下四类:
1. 树边:森林中自带的边(即不在森林生成后,从原先图中添加的边)。
2. 反向边:从某个节点指向祖先的边,包括自己指向自己。非森林自带的边。如果图中存在反向边,则表明存在环。
3. 正向边:从某个节点指向后代的边,非森林自带的边。
4. 交叉边:边的两端点之间没有祖先后代关系,非森林自带的边。
在DFS过程中,可以对任意两点间的边进行分类,对于有向图和无向图,分类情况有所区别。
有向图:
1. 树边:当visit了节点u后,如果边(u, v)存在,且v为WHITE,则该边为树边。
2. 反向边:当visit了节点u后,如果边(u, v)存在,且v为GREY,则该边位反向边。
3. 正向边:当visit了节点u后,如果边(u, v)存在,且v为BLACK,StartTime[u] < StartTime[v] < EndTime[v] < EndTime[u],则边为正向边。
4. 交叉边:当visit了节点u后,如果边(u, v)存在,且v为BLACK,StartTime[v] < EndTime[v] < StartTime[u] < EndTime[u],则边为交叉边。
无向图:
1. 树边:当visit了节点u后,如果边(u, v)存在,且v为WHITE,则该边为树边。
2. 反向边:否则就是反向边。
代码: