結果

問題 No.2293 無向辺 2-SAT
ユーザー hikikomorihikikomori
提出日時 2023-03-30 03:16:16
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 3,489 bytes
コンパイル時間 6,204 ms
コンパイル使用メモリ 312,888 KB
実行使用メモリ 11,520 KB
最終ジャッジ日時 2024-11-22 14:18:23
合計ジャッジ時間 34,336 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
5,248 KB
testcase_01 AC 3 ms
5,248 KB
testcase_02 AC 3 ms
5,248 KB
testcase_03 AC 461 ms
11,520 KB
testcase_04 AC 449 ms
5,248 KB
testcase_05 AC 441 ms
5,248 KB
testcase_06 AC 447 ms
5,248 KB
testcase_07 AC 284 ms
5,248 KB
testcase_08 AC 436 ms
5,248 KB
testcase_09 AC 407 ms
5,248 KB
testcase_10 AC 424 ms
5,248 KB
testcase_11 AC 468 ms
5,248 KB
testcase_12 AC 459 ms
5,248 KB
testcase_13 AC 422 ms
5,248 KB
testcase_14 WA -
testcase_15 WA -
testcase_16 AC 437 ms
5,248 KB
testcase_17 AC 461 ms
5,248 KB
testcase_18 AC 463 ms
5,248 KB
testcase_19 AC 225 ms
5,248 KB
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 WA -
testcase_25 WA -
testcase_26 WA -
testcase_27 WA -
testcase_28 WA -
testcase_29 WA -
testcase_30 WA -
testcase_31 WA -
testcase_32 WA -
testcase_33 WA -
testcase_34 WA -
testcase_35 WA -
testcase_36 WA -
testcase_37 WA -
testcase_38 WA -
testcase_39 WA -
testcase_40 WA -
testcase_41 WA -
testcase_42 WA -
testcase_43 WA -
testcase_44 WA -
testcase_45 WA -
testcase_46 WA -
testcase_47 WA -
testcase_48 WA -
testcase_49 WA -
testcase_50 WA -
testcase_51 WA -
testcase_52 WA -
testcase_53 WA -
testcase_54 WA -
testcase_55 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
#include <atcoder/all>
using namespace atcoder;
using ll = long long;
using ld = long double;
using P = pair<int, int>;
using Graph = vector<vector<ll>>;
using vi = vector<int>;
using vl = vector<long>;
using vll = vector<long long>;
using vvi = vector<vi>;
using vvl = vector<vl>;
using vvll = vector<vll>;
using vs = vector<string>;
using vc = vector<char>;
using vvc = vector<vc>;
using pll = pair<long long, long long>;
using vpll = vector<pll>;
using mint = modint998244353;
const long double EPS = 1e-18;
const long long INF = 1e18;
const long double PI = acos(-1.0L);
#define reps(i, a, n) for (ll i = (a); i < (ll)(n); i++)
#define rep(i, n) for (ll i = (0); i < (ll)(n); i++)
#define rrep(i, n) for (ll i = (1); i < (ll)(n + 1); i++)
#define repd(i, n) for (ll i = n - 1; i >= 0; i--)
#define rrepd(i, n) for (ll i = n; i >= 1; i--)
#define ALL(n) begin(n), end(n)
#define IN(a, x, b) (a <= x && x < b)
#define INIT                          \
    std::ios::sync_with_stdio(false); \
    std::cin.tie(0);
template <class T>
inline T CHMAX(T& a, const T b) {
    return a = (a < b) ? b : a;
}
template <class T>
inline T CHMIN(T& a, const T b) {
    return a = (a > b) ? b : a;
}
struct RollbackUnionFind {
    vector<int> data;
    stack<pair<int, int>> history;
    int inner_snap;

    RollbackUnionFind(int sz) : inner_snap(0) { data.assign(sz, -1); }

    bool unite(int x, int y) {
        x = find(x), y = find(y);
        history.emplace(x, data[x]);
        history.emplace(y, data[y]);
        if (x == y) return false;
        if (data[x] > data[y]) swap(x, y);
        data[x] += data[y];
        data[y] = x;
        return true;
    }

    int find(int k) {
        if (data[k] < 0) return k;
        return find(data[k]);
    }

    int same(int x, int y) { return find(x) == find(y); }

    int size(int k) { return (-data[find(k)]); }

    void undo() {
        data[history.top().first] = history.top().second;
        history.pop();
        data[history.top().first] = history.top().second;
        history.pop();
    }

    void snapshot() { inner_snap = int(history.size() >> 1); }

    int get_state() { return int(history.size() >> 1); }

    void rollback(int state = -1) {
        if (state == -1) state = inner_snap;
        state <<= 1;
        assert(state <= (int)history.size());
        while (state < (int)history.size()) undo();
    }
};

/**
 * @brief RollbackつきUnion Find
 * @docs docs/data-structure/rollback-union-find.md
 */
int main() {
    ll N, Q;
    cin >> N >> Q;

    RollbackUnionFind uf(4e5 + 50);
    uf.snapshot();
    mint ans = 0;
    mint def = mint(2).pow(N);
    ans = def;
    while (Q--) {
        ll query;
        cin >> query;
        if (query == 1) {
            ll x, y;
            cin >> x >> y;
            if (!uf.same(x, y)) {
                ans /= 2;
            }
            uf.unite(x, y);
            uf.unite(x + N, y + N);
            if (uf.same(x, x + N) || uf.same(y, y + N)) {
                ans = 0;
            }
        } else if (query == 2) {
            ll x, y;
            cin >> x >> y;
            if (!uf.same(x, y)) {
                ans /= 2;
            }
            uf.unite(x, y + N);
            uf.unite(x + N, y);
            if (uf.same(x, x + N) || uf.same(y, y + N)) {
                ans = 0;
            }
        } else {
            uf.rollback(-1);
            ans = def;
        }
        cout << ans.val() << endl;
    }
}
0