算法导论 第21章 用于不相交集合的数据结构 21.1 不相交集合的操作 习题解答

21.1-1 假设 CONNECTED-COMPONENTS 作用于一个无向图 G=(V，E)，这里V=(a,b,c,d,e,f,g,h,i,j,k)，且E中的边以如下的顺序处理:(d,i),(f,k),(g,i),(b,g),(a, h),(i, j),(d,k),(b,j),(d,f),(g, j),(a, e)。请列出在每次执行完第3~5行后各连通分量的顶点。

1. Initial: {a}, {b}, {c}, {d}, {e}, {f}, {g}, {h}, {i}, {j}, {k}

2. Process edge (d, i): {a}, {b}, {c}, {d, i}, {e}, {f}, {g}, {h}, {j}, {k}

3. Process edge (f, k): {a}, {b}, {c}, {d, i}, {e}, {f, k}, {g}, {h}, {j}

4. Process edge (g, i): {a}, {b}, {c}, {d, i, g}, {e}, {f, k}, {h}, {j}

5. Process edge (b, g): {a}, {b, d, i, g}, {c}, {e}, {f, k}, {h}, {j}

6. Process edge (a, h): {a, h} {b, d, i, g} {c} {e} {f, k} {j}

7. Process edge (i, j): {a, h} {b, d, i, g, j} {c} {e} {f, k}

8. Process edge (d, k): {a, h} {b, d, i, g, j, f, k} {c} {e}

9. Process edge (b, j): {a, h} {b, d, i, g, j, f, k} {c} {e}

10. Process edge (d, f): {a, h} {b, d, i, g, j, f, k} {c} {e}

11. Process edge (g, j): {a, h} {b, d, i, g, j, f, k} {c} {e}

12. Process edge (a, e): {a, h, e} {b, d, i, g, j, f, k} {c}

21.1-2 证明：CONNECTED-COMPONENTS处理完所有的边后，两个顶点在相同的连通分量中当且仅当它们在同一个集合中。

假设在处理完所有边之后，两个顶点 u 和 v 在相同的连通分量中。这意味着在图中存在一条连接 u 和 v 的路径。由于算法按照特定顺序处理边，使得 u 和 v 最终在相同的连通分量中的唯一方式是存在一系列按顺序处理的边，连接了它们。

现在，考虑这一系列边被处理时的时刻。在这一时刻，算法将合并包含 u 和 v 的集合，创建一个包含 u 和 v 的联合集合。由于后续边是按顺序处理的，它们也将被包含在同一联合集合中。因此，在处理所有边之后，u 和 v 将在相同的集合中。

反之，如果在处理完所有边后，u 和 v 在相同的集合中，那么必然存在一系列边连接它们，而算法在处理这些边的过程中将合并包含 u 和 v 的集合。

因此，当且仅当它们在同一个集合中时，两个顶点在相同的连通分量中。

21.1-3 在CONNECTED-COMPONENTS作用于一个有k个连通分量的无向图G=(V，E)的过程中，FIND-SET需要调用多少次？UNION需要调用多少次？用|V|、|E|和k来表示你的答案。

在CONNECTED-COMPONENTS算法中，对于每个顶点，FIND-SET操作都会被调用一次，而对于每条边，UNION操作会被调用两次。所以，FIND-SET操作的调用次数是2|E|。

至于UNION操作，算法开始时有|V| 个集合，而每次调用UNION都会将集合的数量减少一个。由于最终有k 个连通分量，我们需要进行|V| - k 次UNION调用，将这些连通分量合并为一个。因此，总的UNION调用次数是|V| - k。