結果

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

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 5 ms
5,632 KB
testcase_02 AC 2 ms
5,248 KB
testcase_03 AC 104 ms
13,976 KB
testcase_04 AC 85 ms
5,632 KB
testcase_05 AC 77 ms
5,248 KB
testcase_06 AC 76 ms
5,248 KB
testcase_07 AC 32 ms
5,760 KB
testcase_08 AC 82 ms
5,632 KB
testcase_09 AC 70 ms
5,632 KB
testcase_10 AC 70 ms
5,760 KB
testcase_11 AC 88 ms
5,632 KB
testcase_12 AC 88 ms
5,632 KB
testcase_13 AC 68 ms
5,248 KB
testcase_14 AC 66 ms
5,248 KB
testcase_15 AC 63 ms
5,248 KB
testcase_16 AC 85 ms
5,760 KB
testcase_17 AC 93 ms
6,144 KB
testcase_18 AC 86 ms
5,504 KB
testcase_19 AC 40 ms
5,248 KB
testcase_20 AC 90 ms
5,632 KB
testcase_21 AC 89 ms
5,632 KB
testcase_22 AC 93 ms
6,144 KB
testcase_23 AC 91 ms
6,016 KB
testcase_24 AC 91 ms
6,016 KB
testcase_25 AC 91 ms
6,016 KB
testcase_26 AC 90 ms
6,016 KB
testcase_27 AC 92 ms
6,016 KB
testcase_28 AC 91 ms
6,144 KB
testcase_29 AC 92 ms
6,144 KB
testcase_30 AC 94 ms
6,016 KB
testcase_31 AC 92 ms
6,016 KB
testcase_32 AC 82 ms
5,632 KB
testcase_33 AC 85 ms
5,632 KB
testcase_34 AC 85 ms
5,632 KB
testcase_35 AC 85 ms
5,632 KB
testcase_36 AC 87 ms
5,632 KB
testcase_37 AC 85 ms
5,504 KB
testcase_38 AC 82 ms
5,504 KB
testcase_39 AC 82 ms
5,632 KB
testcase_40 AC 85 ms
5,504 KB
testcase_41 AC 75 ms
5,632 KB
testcase_42 AC 79 ms
5,632 KB
testcase_43 AC 82 ms
5,632 KB
testcase_44 AC 87 ms
5,504 KB
testcase_45 AC 90 ms
5,504 KB
testcase_46 AC 88 ms
5,632 KB
testcase_47 AC 92 ms
5,632 KB
testcase_48 AC 90 ms
5,632 KB
testcase_49 AC 90 ms
5,504 KB
testcase_50 AC 89 ms
5,504 KB
testcase_51 AC 90 ms
5,632 KB
testcase_52 AC 89 ms
5,632 KB
testcase_53 AC 93 ms
6,016 KB
testcase_54 AC 95 ms
6,272 KB
testcase_55 AC 93 ms
6,808 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