根据在图G上进行深度优先搜索所产生的深度优先森林,可以把图中的边分为四类:
(1)树边:是深度优先森林中的边。如果顶点v是在探测边(u,v)时首次被发现的,那么(u,v)就是一条树边。
(2)反向边:是深度优先树中,连接顶点u到它的某一祖先顶点v的那些边。有向图中可能出现的自环也被认为是反向边。
(3)正向边:是指深度优先树中,连接顶点u到它的某个后裔v的非树边(u,v)。
(4)交叉边:是指存在于同一棵深度优先树中的两个顶点之间,条件是其中一个顶点不是另一个顶点的祖先。交叉边也可以在不同的深度优先树的顶点之间。
对于每条边(u,v),当第一次探测时,根据所到达的顶点v的颜色和时间戳来判断:
(1)白色(colour[v] = -1)表示它是一条树边。
(2)灰色(colour[v] = 0)表示它是一条反向边。
(3)黑色(colour[v] = 1)且d[u] < d[v]表示它是一条正向边。
(4)黑色(colour[v] = 1)且d[u] > d[v]表示它是一条交叉边。
如图所示:粗线表示树边,虚线F表示正向边,虚线B表示反向边,虚线C表示交叉边。
#include<iostream>