結果

問題 No.2293 無向辺 2-SAT
ユーザー ぷらぷら
提出日時 2023-05-05 22:27:38
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
TLE  
実行時間 -
コード長 3,887 bytes
コンパイル時間 2,254 ms
コンパイル使用メモリ 211,616 KB
実行使用メモリ 25,516 KB
最終ジャッジ日時 2024-05-02 17:11:12
合計ジャッジ時間 9,845 ms
ジャッジサーバーID
(参考情報)
judge5 / judge3
このコードへのチャレンジ
(要ログイン)

テストケース

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

ソースコード

diff #

#include <bits/stdc++.h>
using namespace std;

constexpr int mod = 998244353;

long long modpow(long long a,long long b) {
    long long ans = 1;
    while(b) {
        if(b & 1) {
            (ans *= a) %= mod;
        }
        (a *= a) %= mod;
        b /= 2;
    }
    return ans;
}

struct UnionFind {
    vector<int> par;
    vector<int> size;
    vector<vector<int>>cld;
    UnionFind(int n) {
        par.resize(n);
        size.resize(n,1);
        cld.resize(n);
        for(int i = 0; i < n; i++) {
            par[i] = i;
            cld[i].push_back(i);
        }
    }
    int find(int x) {
        if(par[x] == x) {
            return x;
        }
        return par[x] = find(par[x]);
    }
    bool same(int x, int y) {
        return find(x) == find(y);
    }
    int consize(int x) {
        return size[find(x)];
    }
    bool unite(int x,int y) {
        x = find(x);
        y = find(y);
        if(x == y) {
            return false;
        }
        if(size[x] > size[y]) {
            swap(x,y);
        }
        par[x] = y;
        size[y] += size[x];
        for(auto i:cld[x]) {
            cld[y].push_back(i);
        }
        return true;
    }
};

int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    int N,Q;
    cin >> N >> Q;
    UnionFind uf(N);
    vector<int>r(N,-1);
    int cnt = N;
    bool ok = true;
    vector<int>tmp;
    for(int i = 0; i < Q; i++) {
        int f;
        cin >> f;
        if(f == 1) {
            int u,v;
            cin >> u >> v;
            u--;
            v--;
            tmp.push_back(u);
            tmp.push_back(v);
            if(!uf.same(u,v)) {
                cnt--;
                if(uf.size[u] < uf.size[v]) {
                    swap(u,v);
                }
                if(r[u] == -1) {
                    r[u] = 0;
                }
                if(r[v] == -1) {
                    r[v] = r[u];
                }
                int b = r[v];
                for(int j:uf.cld[uf.find(v)]) {
                    if(b == r[j]) {
                        r[j] = r[u];
                    }
                    else {
                        r[j] = !r[u];
                    }
                }
                uf.unite(u,v);
            }
            else if(r[u] != r[v]) {
                ok = false;
            }
            if(ok) {
                cout << modpow(2,cnt) << "\n";
            }
            else {
                cout << 0 << "\n";
            }
        }
        if(f == 2) {
            int u,v;
            cin >> u >> v;
            u--;
            v--;
            tmp.push_back(u);
            tmp.push_back(v);
            if(!uf.same(u,v)) {
                cnt--;
                if(uf.size[u] < uf.size[v]) {
                    swap(u,v);
                }
                if(r[u] == -1) {
                    r[u] = 0;
                }
                if(r[v] == -1) {
                    r[v] = !r[u];
                }
                int b = r[v];
                for(int j:uf.cld[uf.find(v)]) {
                    if(b == r[j]) {
                        r[j] = !r[u];
                    }
                    else {
                        r[j] = r[u];
                    }
                }
                uf.unite(u,v);
            }
            else if(r[u] == r[v]) {
                ok = false;
            }
            if(ok) {
                cout << modpow(2,cnt) << "\n";
            }
            else {
                cout << 0 << "\n";
            }
        }
        if(f == 3) {
            cnt = N;
            ok = true;
            for(int j:tmp) {
                uf.par[j] = j;
                uf.size[j] = 1;
                uf.cld[j].clear();
                uf.cld[j].push_back(j);
                r[j] = -1;
            }
            tmp.clear();
            cout << modpow(2,N) << "\n";
        }
    }
}
0