算法导论 Exercises 22.5（转载）

Posted 2020-10-04 mhp的博客

Exercises 22.5 - 算法导论.英文第3版 

最近看书的同时, 感觉一些练习缺少参考, 所以按部分总结了自己的解答, 也能够强化学习过程. 
如有不足或疑问, 欢迎指正. 

 

 

 

Exercises 22.5-1

How can the number of strongly connected components of a graph change if a new

edge is added?

可以将每个强连通组件当作一个顶点, 组成强连通图, 图内顶点数量即强连通组件数量.

如果新增加的边在顶点内部(即指向自己), 或者重复已有顶点间的边, 则数量没变化. 

如果新增加的边使图形成环,  这样环内顶点组成一个新的强连通组件, 所以数量减少N, N = (环内顶点数量 - 1).

 

 

Exercises 22.5-2

Show how the procedure STRONGLY-CONNECTED-COMPONENTS works on the

graph of Figure 22.6. Specifically, show the finishing times computed in line 1 and

the forest produced in line 3. Assume that the loop of lines 5–7 of DFS considers

vertices in alphabetical order and that the adjacency lists are in alphabetical order.

 

 

按照字母排序的循环和邻接表, 可得出第一次DFS访问顶点顺序, 如下

(q   (s (v (w, w) v) s)   (t (x (z, z) x)  (y, y) t)   q)   (r (u, u) r)   

 

finishing time: f(r) 20, f(u) 19, r(q) 16, f(t) 15, f(y) 14,

                     f(x) 12, f(z) 11, f(s) 7, f(v) 6, f(w) 5.

 

根据 finishing time 降序排列, 并倒转上图中的边, 第二次DFS访问顶点顺序, 如下

(r, r) *  (u, u) *  (q (y (t, t) y) q) *  (x (z, z) x) *  (s (w (v, v) w) s)

每个不相关括号(用*间隔)内的顶点, 代表 line 3 生成的树(即强连通组件)

 

ANSWER：DFS（G）森林：（其中红色为树边）

强连通分量结果：

 

 

Exercises 22.5-3

Professor Bacon claims that the algorithm for strongly connected components

would be simpler if it used the original (instead of the transpose) graph in the

second depth-first search and scanned the vertices in order of increasing finishing

times. Does this simpler algorithm always produce correct results?

 

设想对上图应用指定的升序式算法,  图中有A, B, C 三个顶点, A->B, B->A, B->C 三条边.

如果首次 DFS 从 B 开始, 先向 A 遍历, 则访问顶点顺序为 (B  (A, A)   (C, C)  B)

升序排列 finishing time 是 A, C, B. 这样第二次进行 DFS 则应从 A 开始, 该算法

结果显示 A, B, C 是一个强连通组件, 而实际情况不是如此.

该算法不能保证通用性, 只有在选择特殊顶点作为起始点, 以及规定邻接表顺序的情况下,

结果才有可能是正确的. 

 

 

Exercises 22.5-4

Prove that for any directed graph G, we have (( GT)SCC)T = (G)SCC. That is, the

transpose of the component graph of GT is the same as the component graph of G.

在图 G 中, 同一组件中的顶点可以互相连通. 而图 GT 中, 组件中的边虽然反转,

但其顶点仍可以互相连通, 这方面是不受影响的, 组件之间的边全部反转, 同样不会形成

新的组件. 所以 ((GT)SCC)T = (G)SCC, 即 GT 和 G 的强连通组件相同.

 

 

Exercises 22.5-5

Give an O (V + E)-time algorithm to compute the component graph of a directed

graph G = (V, E). Make sure that there is at most one edge between two vertices

in the component graph your algorithm produces.

 

(1) first DFS (G)            

            if v finish 

                orderList.push_front(v)  // orderList 是 finishing time 降序队列

时间 O(V + E)

(2) for each v in V

          for each x in v.adj

               x.adj.push_back(v)

即求 GT 时间 O(V + E)

(3) second DFS (GT)

          for v in order of orderList

               map v to scc  // scc 是强连通组件

               for each x in v.adj

                    if x.color = COLOR_BLACK  // 代表这条边(v, x)是强连通组件间的边

                         if x non-exist in scc.adj  // 在DFS(GT)期间总搜索时间 O(E)

                              scc.adj.push_back(x) 

 

即求 scc 和 scc.adj 时间 O(V + E), 所以算法时间复杂度 O(V + E).

               

 

Exercises 22.5-6

Given a directed graph G = (V, E), explain how to create another graph G‘ = (V, E‘) 

such that (a) G‘ has the same strongly connected components as G, (b) G‘

has the same component graph as G, and (c) E‘ is as small as possible. Describe a

fast algorithm to compute G‘

 

(1) 确定每个SCC顶点集合, 以及SCC间所有边集合 Es(不包含SCC内的边), 时间 O (V + E)

(2) 每个SCC内假设有点 v1, v2, ..., vn, 使其形成环 v1-> v2, v2->v3, ..., vn->v1, 时间 O (V)

(3) 这里假设 SCC 数量是 N, 生成 N * N 矩阵. 对 Es 中边 (vi , vj), 假设 vi 属于 SCCi , vj 属于 SCCj. 

如果 N[SCCi][SCCj] == 0, 则将 (vi, vj) 保存到 E‘ 中, 如果 N[SCCi][SCCj] == 1, 则跳过该边. 

依次计算 Es 中所有边, 此处时间 O(E‘),  而 O(E‘) < O(E), 所以算法时间复杂度 O(V + E)

 

 

Exercises 22.5-7

A directed graph G = (V, E) is semiconnected  if, for all pairs of vertices u, v ∈ V, 

we have u ~> v or v ~> u. Give an efficient algorithm to determine whether

or not G is semiconnected. Prove that your algorithm is correct, and analyze its

running time.

 

强连通组件算法, 按第 2 次 DFS(GT) 强连通组件生成顺序编号, 假设是 SCC1, SCC2, ..., SCCn

如果存在边 (SCC1, SCC2), (SCC2, SCC3), ..., (SCCn-1, SCCn) , 即组件间边形成线性的链, 

则图 G 是 semiconnected. 稍后详细解释.

 

 

(1) 强连通组件图算法, 时间 O(V+E)

(2) 按强连通组件 SCC 顺序编号, 假设是SCC1, SCC2, ..., SCCn, 并求出组件 SCC 的邻接表, 

这步骤可以在 (1) 中完成, 所以时间 O(V+E)

(3) 遍历 SCC 邻接表, 如果对于范围 i = 1, 2, ..., n-1, 强连通组件SCCi.adj 中存在 SCCi+1 , 

既含有边 (SCCi, SCCi+1), 强连通组件图是线性链, 则 G = (V, E) 是 semiconnected, 时间 O(V+E).

详细解释, 按算法理论的支持, SCCi+1 不存在到SCCi 的边, 如果没有 (SCCi, SCCi+1), 

则两者均无法到达对方, 即不符合 G 是 semiconnected 的概念. 算法时间复杂度 O(V+E)