Epai={pai[v],v:v-V&&pai[v]!=NIL} Epai为树边;
深搜对每个顶点都加了一个时间戳,每个顶点有两个时间戳,当顶点v第一次被发现(被标记成灰色)时,记下第一个时间戳的d[v],当结束检查v的邻接表(黑色),记下第二个时戳f[v],d[v]<f[v],顶点v在d[v]之前是白色,在d[v]和f[v]之间为灰色,以后就变成黑色了;
DFS(G)
for each vertex u-v[G]
do color-white
pai[v]=NIL
time=0
for each u-v[G]
do if color[u]=white
dfs(u)
dfs_visit(u)
color[u]=GRAY
time=time+1
d[u]=time
for each v-Adj(v)
dfs_visit(v)
color[v]=black
f[v]=++time;