Undo UnionFind
(data_structure/undo_unionfind.hpp)

• View this file on GitHub
• Last update: 2023-10-26 16:27:57+09:00
• Include: #include "data_structure/undo_unionfind.hpp"

説明

ロールバック可能なUnionFind。

same(int x, int y)

$x$ と $y$ が同じグループか判定。 $O(\log N)$

merge(int x, int y)

$x$ のグループと $y$ のグループをマージ。 $O(\log N)$

leader(int x)

$x$ のグループの代表を返す。 $O(\log N)$

size(int x)

$x$ のグループのサイズを返す。 $O(\log N)$

count_group()

グループの個数を返す。 $O(N)$

undo()

$1$ つ前の処理をしてない状態にロールバックする。 $O(1)$

Required by

• Offline Dynamic Connectivity (data_structure/offline_dynamic_connectivity.hpp)

Verified with

• test/aoj/aoj_1645.test.cpp
• test/aoj/aoj_2235.test.cpp

Code

#pragma once

#include <cassert>
#include <stack>
#include <vector>

namespace ebi {

struct undo_unionfind {
  private:
    std::stack<std::pair<int, int> > stack;

  public:
    std::vector<int> par;

    undo_unionfind(int n = 0) : par(n, -1) {}

    bool same(int x, int y) const {
        return leader(x) == leader(y);
    }

    bool merge(int x, int y) {
        x = leader(x);
        y = leader(y);
        stack.push({x, par[x]});
        stack.push({y, par[y]});
        if (x == y) return false;
        if (par[x] > par[y]) std::swap(x, y);
        par[x] += par[y];
        par[y] = x;
        return true;
    }

    int leader(int x) const {
        if (par[x] < 0)
            return x;
        else
            return leader(par[x]);
    }

    int size(int x) const {
        return -par[leader(x)];
    }

    int count_group() const {
        int c = 0;
        for (int i = 0; i < int(par.size()); i++) {
            if (par[i] < 0) c++;
        }
        return c;
    }

    void undo() {
        assert(!stack.empty());
        par[stack.top().first] = stack.top().second;
        stack.pop();
        par[stack.top().first] = stack.top().second;
        stack.pop();
        return;
    }
};

}  // namespace ebi

#line 2 "data_structure/undo_unionfind.hpp"

#include <cassert>
#include <stack>
#include <vector>

namespace ebi {

struct undo_unionfind {
  private:
    std::stack<std::pair<int, int> > stack;

  public:
    std::vector<int> par;

    undo_unionfind(int n = 0) : par(n, -1) {}

    bool same(int x, int y) const {
        return leader(x) == leader(y);
    }

    bool merge(int x, int y) {
        x = leader(x);
        y = leader(y);
        stack.push({x, par[x]});
        stack.push({y, par[y]});
        if (x == y) return false;
        if (par[x] > par[y]) std::swap(x, y);
        par[x] += par[y];
        par[y] = x;
        return true;
    }

    int leader(int x) const {
        if (par[x] < 0)
            return x;
        else
            return leader(par[x]);
    }

    int size(int x) const {
        return -par[leader(x)];
    }

    int count_group() const {
        int c = 0;
        for (int i = 0; i < int(par.size()); i++) {
            if (par[i] < 0) c++;
        }
        return c;
    }

    void undo() {
        assert(!stack.empty());
        par[stack.top().first] = stack.top().second;
        stack.pop();
        par[stack.top().first] = stack.top().second;
        stack.pop();
        return;
    }
};

}  // namespace ebi

Back to top page