算法导论22.3深度优先搜索 练习总结
22.3-1 画一个 3*3 的网格，行和列的抬头分别标记为白色、灰色和黑色，对于每个表单元 (i, j)，请指出对有向图进行深度优先搜索的过程中，是否可能存在一条边，链接一个颜色为 i 的结点和一个颜色为 j 的结点。对于每种可能的边，指明该种边的类型。另外，请针对无向图的深度优先搜索再制作一张这样的网格。
ANSWER：
22.3-2 给出深度优先搜索算法在图 22-6 上的运行过程。假定深度优先搜索算法的第 5~7 行的 for 循环是以字母表顺序依次处理每个结点，假定每条邻接链表皆以字母表顺序对立面的结点进行了排序。请给出每个结点的发信啊时间和完成时间，并给出每条边的分类。
ANSWER：
22.3-3 给出图 22-4 的深度优先搜索的括号化结构。
ANSWER：
22.3-4 证明：使用单个位来存放每个结点的颜色已经足够。这一点可以通过证明如下事实来得到：如果将 DFS-VISIT 的第 8 行删除，DFS 给出的结果相同。
ANSWER：和 22.2-3 类似，事实上，在 DFS-VISIT 中，在递归过程中，系统会调用栈存放未被检测的结点，并不一定需要将结点着黑色和灰色来区别，因为程序中并没有检测结点是否黑色的命令。着黑白灰是为了易于观察。
22.3-5 证明边 (u, v) 是：
a. 树边或前向边当且仅当 u.d ＜ v.d ＜ v.f ＜ u.f。
b. 后向边当且仅当 v.d ≤ u.d ＜ u.f ≤ v.f。
c. 横向边当且仅当 v.d ＜ v.f ＜ u.d ＜ u.f。
ANSWER：由于深度优先搜索满足括号化结构，将结点的关系以括号化结构表示易证明此关系。
22.3-6 证明：在无向图中，根据深度优先搜索算法是先搜索 (u, v) 还是先搜索 (v, u) 来将边 (u, v) 分类为树边或者后向边，与根据分类列表中的 4 种类型的次序进行分类是等价的。
ANSWER：有向图是将无向图的一条边变成有方向的两条边。所以本质上分类标准是等价的。
22.3-7 请重写 DFS 算法的伪代码，以便使用栈来消除递归调用。
ANSWER：
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)22.3-8 请给出如下猜想的一个反例：如果有向图 G 包含一条从结点 u 到结点 v 的路径，并且在对图 G 进行深度优先搜索时有 u.d ＜ v.d，则结点 v 是结点 u 在深度优先森林中的一个后代。
ANSWER：
22.3-9 请给出如下猜想的一个反例：如果有向图 G 包含一条从结点 u 到结点 v 的路径，则任何对图 G 的深度优先搜索都将导致 v.d ≤ u.f。
ANSWER：和 22.3-8 反例的图一样。
22.3-10 修改深度优先搜索的伪代码，让其打印出有向图 G 的每条边及其分类。并指出，如果图 G 是无向图， 要进行何种修改才能达到相同的效果。
ANSWER：在完成 DFS 之后对有向图 G 的边进行遍历，按照 22.3-5的结论的规则。
CLASSIFY-EDGE(G):
for each vertex u ∈ G.V
for each v ∈ G:Adj[u]
if v.π == u:
edge(u, v).c = T
else if u.d < v.d < v.f < u.f :
edge(u, v).c = F
else if v.d ≤ u.d < u.f ≤ v.f:
edge(u, v).c = B
else:
edge(u, v).c = C22.3-11 请解释有向图的一个结点 u 怎样才能成为深度优先树中的唯一结点，即使结点 u 同时有入边和出边。
ANSWER：
22.3-12 证明：我们可以在无向图 F 上使用深度优先搜索来获得图 G 的连通分量，并且深度优先森林所包含的数的棵数与 G 的连通分量数量相同。更准确地说，请给出如何修改深度优先搜索来让其每个结点赋予一个介于 1 和 k 之间的整数值 v.cc，这里 k 是 G 的连通分量数，使得 u.cc = v.cc 当且仅当结点 u 和结点 v 处于同一个连通分量中。
ANSWER：当执行 DFS 的第 5、6 行时，每跳入一次第 7 行，连通分量数加 1，在 DFS-VISIT 里遇到的结点的联通分量数相同。
*22.3-13 对于有向图 G = (V, E) 来说，如果 u ~ v 以为这图 G 至多包含一条从 u 到 v 的简单路径，则图 G 是单连通图。请给出一个有效算法来判断一个有向图是否单连通图。
ANSWER：