不相交集数据结构

Question

这是查找不相交集的代码

    class disjoint_sets {
      struct disjoint_set {
      size_t parent;
      unsigned rank;
      disjoint_set(size_t i) : parent(i), rank(0) { }
       };
      std::vector<disjoint_set> forest;
       public:
       disjoint_sets(size_t n){
       forest.reserve(n);
        for (size_t i=0; i<n; i++)
         forest.push_back(disjoint_set(i));
        }
      size_t find(size_t i){
        if (forest[i].parent == i)
        return i;
         else {
        forest[i].parent = find(forest[i].parent);
        return forest[i].parent;
           }
          }
         void merge(size_t i, size_t j) {
          size_t root_i = find(i);
         size_t root_j = find(j);
          if (root_i != root_j) {
           if (forest[root_i].rank < forest[root_j].rank)
           forest[root_i].parent = root_j;
          else if (forest[root_i].rank > forest[root_j].rank)
          forest[root_j].parent = root_i;
           else {
            forest[root_i].parent = root_j;
             forest[root_j].rank += 1;
               }
            }
           }
            };

如果排名相等，我们为什么要增加排名？对于初学者抱歉 还有什么是发现步骤??

Answer 1

因为在这种情况下 - 你添加一棵树是另一棵树的“子树” - 这使原始子树的大小增加。

看一下以下示例：

1           3
|           |
2           4

在上面，每棵树的“等级”是2。
现在，假设1将成为新的统一根，您将得到以下树：

    1
   / \
  /   \
 3     2
 |
 4

在加入后，“1”的等级为3，rank_old(1) + 1 - 正如预期的那样。