結果

問題 No.2293 無向辺 2-SAT
ユーザー eve__fuyukieve__fuyuki
提出日時 2024-04-18 15:32:27
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 110 ms / 4,000 ms
コード長 2,581 bytes
コンパイル時間 2,611 ms
コンパイル使用メモリ 204,552 KB
実行使用メモリ 14,640 KB
最終ジャッジ日時 2024-04-18 15:32:44
合計ジャッジ時間 16,213 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,812 KB
testcase_01 AC 4 ms
6,944 KB
testcase_02 AC 2 ms
6,944 KB
testcase_03 AC 97 ms
14,640 KB
testcase_04 AC 85 ms
6,944 KB
testcase_05 AC 77 ms
6,944 KB
testcase_06 AC 75 ms
6,944 KB
testcase_07 AC 31 ms
6,940 KB
testcase_08 AC 80 ms
6,940 KB
testcase_09 AC 68 ms
6,944 KB
testcase_10 AC 69 ms
6,940 KB
testcase_11 AC 86 ms
6,944 KB
testcase_12 AC 80 ms
6,940 KB
testcase_13 AC 69 ms
6,944 KB
testcase_14 AC 65 ms
6,944 KB
testcase_15 AC 62 ms
6,940 KB
testcase_16 AC 110 ms
6,944 KB
testcase_17 AC 87 ms
6,944 KB
testcase_18 AC 84 ms
6,940 KB
testcase_19 AC 39 ms
6,944 KB
testcase_20 AC 94 ms
6,940 KB
testcase_21 AC 85 ms
6,940 KB
testcase_22 AC 87 ms
6,944 KB
testcase_23 AC 89 ms
6,944 KB
testcase_24 AC 89 ms
6,940 KB
testcase_25 AC 91 ms
6,944 KB
testcase_26 AC 91 ms
6,940 KB
testcase_27 AC 87 ms
6,940 KB
testcase_28 AC 89 ms
6,940 KB
testcase_29 AC 88 ms
6,944 KB
testcase_30 AC 89 ms
6,940 KB
testcase_31 AC 88 ms
6,944 KB
testcase_32 AC 80 ms
6,944 KB
testcase_33 AC 80 ms
6,940 KB
testcase_34 AC 89 ms
6,940 KB
testcase_35 AC 79 ms
6,940 KB
testcase_36 AC 80 ms
6,944 KB
testcase_37 AC 84 ms
6,940 KB
testcase_38 AC 83 ms
6,940 KB
testcase_39 AC 83 ms
6,944 KB
testcase_40 AC 81 ms
6,940 KB
testcase_41 AC 71 ms
6,944 KB
testcase_42 AC 75 ms
6,940 KB
testcase_43 AC 84 ms
6,948 KB
testcase_44 AC 82 ms
6,940 KB
testcase_45 AC 84 ms
6,940 KB
testcase_46 AC 84 ms
6,940 KB
testcase_47 AC 85 ms
6,940 KB
testcase_48 AC 89 ms
6,944 KB
testcase_49 AC 86 ms
6,940 KB
testcase_50 AC 86 ms
6,940 KB
testcase_51 AC 87 ms
6,944 KB
testcase_52 AC 90 ms
6,940 KB
testcase_53 AC 88 ms
6,940 KB
testcase_54 AC 96 ms
6,940 KB
testcase_55 AC 92 ms
6,940 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

#include <atcoder/modint>
using namespace std;
using mint = atcoder::modint998244353;
void fast_io() {
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);
}
class RollbackUnionFind {
   private:
    vector<int> par_or_rank;
    vector<pair<int, int>> history_par;
    int n;

   public:
    RollbackUnionFind(int sz_)
        : n(sz_), par_or_rank(sz_, -1), history_par(0), ans(0) {}
    int ans;
    int leader(int a) {
        if (par_or_rank[a] < 0) {
            return a;
        }
        return leader(par_or_rank[a]);
    }
    bool same(int a, int b) { return leader(a) == leader(b); }
    void merge(int a, int b) {
        a = leader(a);
        b = leader(b);
        history_par.push_back({a, par_or_rank[a]});
        history_par.push_back({b, par_or_rank[b]});
        if (a == b) {
            return;
        }
        if (-par_or_rank[a] < -par_or_rank[b]) {
            swap(a, b);
        }
        par_or_rank[a] += par_or_rank[b];
        par_or_rank[b] = a;
    }
    void undo() {
        par_or_rank[history_par.back().first] = history_par.back().second;
        history_par.pop_back();
        par_or_rank[history_par.back().first] = history_par.back().second;
        history_par.pop_back();
    }
    void clear() {
        while (history_par.size()) {
            undo();
        }
    }
};
int main() {
    fast_io();
    int n, q;
    cin >> n >> q;
    vector<mint> p2(n + 1, 1);
    for (int i = 1; i <= n; i++) {
        p2[i] = p2[i - 1] * 2;
    }
    mint inv_2 = mint(2).inv();
    RollbackUnionFind uf(2 * n);
    mint ans = p2[n];
    for (; q--;) {
        int type;
        cin >> type;
        if (type == 1) {
            int u, v;
            cin >> u >> v;
            u--, v--;
            if (!uf.same(u, v)) {
                uf.merge(u, v);
                uf.merge(u + n, v + n);
                if (uf.same(u, u + n) || uf.same(v, v + n)) {
                    ans = 0;
                } else {
                    ans *= inv_2;
                }
            }
        }
        if (type == 2) {
            int u, v;
            cin >> u >> v;
            u--, v--;
            if (!uf.same(u, v + n)) {
                uf.merge(u, v + n);
                uf.merge(u + n, v);
                if (uf.same(u, u + n) || uf.same(v, v + n)) {
                    ans = 0;
                } else {
                    ans *= inv_2;
                }
            }
        }
        if (type == 3) {
            ans = p2[n];
            uf.clear();
        }
        cout << ans.val() << "\n";
    }
}
0