結果

問題 No.2293 無向辺 2-SAT
ユーザー ぷらぷら
提出日時 2023-05-05 22:30:25
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 281 ms / 4,000 ms
コード長 3,923 bytes
コンパイル時間 2,768 ms
コンパイル使用メモリ 211,680 KB
実行使用メモリ 20,492 KB
最終ジャッジ日時 2024-05-02 17:15:25
合計ジャッジ時間 20,324 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 21 ms
16,512 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 206 ms
20,492 KB
testcase_04 AC 225 ms
16,384 KB
testcase_05 AC 163 ms
9,856 KB
testcase_06 AC 166 ms
9,856 KB
testcase_07 AC 64 ms
16,512 KB
testcase_08 AC 216 ms
16,512 KB
testcase_09 AC 178 ms
16,512 KB
testcase_10 AC 180 ms
16,512 KB
testcase_11 AC 245 ms
16,512 KB
testcase_12 AC 218 ms
16,384 KB
testcase_13 AC 83 ms
5,376 KB
testcase_14 AC 75 ms
5,376 KB
testcase_15 AC 71 ms
5,376 KB
testcase_16 AC 222 ms
16,512 KB
testcase_17 AC 281 ms
16,768 KB
testcase_18 AC 223 ms
16,512 KB
testcase_19 AC 89 ms
9,856 KB
testcase_20 AC 217 ms
17,792 KB
testcase_21 AC 205 ms
17,792 KB
testcase_22 AC 266 ms
17,792 KB
testcase_23 AC 256 ms
17,664 KB
testcase_24 AC 254 ms
17,792 KB
testcase_25 AC 255 ms
17,792 KB
testcase_26 AC 256 ms
17,792 KB
testcase_27 AC 260 ms
17,792 KB
testcase_28 AC 263 ms
17,792 KB
testcase_29 AC 252 ms
17,664 KB
testcase_30 AC 272 ms
17,792 KB
testcase_31 AC 257 ms
17,664 KB
testcase_32 AC 162 ms
17,152 KB
testcase_33 AC 163 ms
17,152 KB
testcase_34 AC 163 ms
17,280 KB
testcase_35 AC 162 ms
17,408 KB
testcase_36 AC 162 ms
17,280 KB
testcase_37 AC 166 ms
17,280 KB
testcase_38 AC 164 ms
17,408 KB
testcase_39 AC 165 ms
17,408 KB
testcase_40 AC 161 ms
17,280 KB
testcase_41 AC 119 ms
16,512 KB
testcase_42 AC 134 ms
16,512 KB
testcase_43 AC 158 ms
17,152 KB
testcase_44 AC 175 ms
17,280 KB
testcase_45 AC 187 ms
17,536 KB
testcase_46 AC 196 ms
17,792 KB
testcase_47 AC 206 ms
17,792 KB
testcase_48 AC 216 ms
17,792 KB
testcase_49 AC 215 ms
17,664 KB
testcase_50 AC 226 ms
17,792 KB
testcase_51 AC 233 ms
17,792 KB
testcase_52 AC 240 ms
17,792 KB
testcase_53 AC 250 ms
17,536 KB
testcase_54 AC 255 ms
17,408 KB
testcase_55 AC 269 ms
17,152 KB
権限があれば一括ダウンロードができます

ソースコード

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[uf.find(u)] < uf.size[uf.find(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[uf.find(u)] < uf.size[uf.find(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