图算法：深度优先搜索

深度优先搜索

数学原理：括号化定理、白色路径定理
树边：
前向边：
后向边：
横向边：

算法伪代码

非递归（使用栈代替递归）

DFS-VISIT:    STACK.push(u)    while ! STACK.empty        u = STACK.top        if u.color == GRAY            u.color = BLACK            time = time + 1            u.f = time            STACK.pop            continue        if u.color == WHITE            u.color = GRAY            time = time + 1            u.d = time        for each v ∈ G:Adj[u]            v.π = u            STACK.push(u)

递归型DFS

DFS(G)    for each vertex u ∈ G.V        u.color = WHITE        u.π = nil    time = 0    //对于尚未访问的结点    for each vertex u ∈ G.V        if u.color == WHITE            DFS-VISIT(G,u)

DFS-VISIT(G,u)    time = time + 1    u.pre = time   // 开始访问    u.color = GRAY    for each v ∈ G:Adj[u]        if v.color == WHITE            v.π = u            DFS-VISIT(G,v)    u.color = BLACK    time = time + 1    u.post = time  //访问离开