結果

問題 No.2293 無向辺 2-SAT
ユーザー milanis48663220
提出日時 2023-05-05 22:14:24
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 1,894 ms / 4,000 ms
コード長 3,252 bytes
コンパイル時間 1,415 ms
コンパイル使用メモリ 124,108 KB
最終ジャッジ日時 2025-02-12 18:31:37
ジャッジサーバーID
(参考情報)
judge2 / judge5
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 53
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <iostream>
#include <algorithm>
#include <iomanip>
#include <vector>
#include <queue>
#include <deque>
#include <set>
#include <map>
#include <tuple>
#include <cmath>
#include <numeric>
#include <functional>
#include <cassert>
#include <stack>
#include <atcoder/modint>

#define debug_value(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << #x << "=" << x << endl;
#define debug(x) cerr << "line" << __LINE__ << ":<" << __func__ << ">:" << x << endl;

template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; }
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; }

using namespace std;
typedef long long ll;

template<typename T>
vector<vector<T>> vec2d(int n, int m, T v){
    return vector<vector<T>>(n, vector<T>(m, v));
}

template<typename T>
vector<vector<vector<T>>> vec3d(int n, int m, int k, T v){
    return vector<vector<vector<T>>>(n, vector<vector<T>>(m, vector<T>(k, v)));
}

template<typename T>
void print_vector(vector<T> v, char delimiter=' '){
    if(v.empty()) {
        cout << endl;
        return;
    }
    for(int i = 0; i+1 < v.size(); i++) cout << v[i] << delimiter;
    cout << v.back() << endl;
}

using mint = atcoder::modint998244353;

ostream& operator<<(ostream& os, const mint& m){
    os << m.val();
    return os;
}

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout << setprecision(10) << fixed;
    int n, q; cin >> n >> q;
    vector<int> data(n, -1);
    vector<int> parity(n);
    vector<vector<int>> components(n);
    for(int i = 0; i < n; i++) components[i].push_back(i);
    function<int(int)> root = [&](int x) {
        return data[x] < 0 ? x : root(data[x]);
    };
    function<int(int)> size = [&](int x) {
        return -data[root(x)];
    };
    auto unite = [&](int x, int y) {
        x = root(x); y = root(y);
        if (x != y) {
            if (data[y] < data[x]) swap(x, y);
            data[x] += data[y]; data[y] = x;
            for(int v: components[y]){
                components[x].push_back(v);
            }
            components[y].clear();
        }
        return x != y;
    };
    auto same = [&](int x, int y) {
        return root(x) == root(y);
    };
    mint ans = mint(2).pow(n);
    vector<int> buf;
    auto clear = [&](){
        for(int v: buf){
            parity[v] = 0;
            data[v] = -1;
            components[v] = {v};
        }
        ans = mint(2).pow(n);
        buf.clear();
    };
    while(q--){
        int t; cin >> t;
        if(t == 1 || t == 2){
            int p = t-1;
            int u, v; cin >> u >> v; u--; v--;
            if(same(u, v)){
                if((parity[u]^p) != parity[v]){
                    ans = 0;
                }
            }else{
                int us = size(u), vs = size(v);
                if(us > vs) swap(us, vs);
                if((parity[u]^p) != parity[v]){
                    int ur = root(u);
                    for(int x: components[ur]) parity[x] ^= 1;
                }
                ans /= 2;
                unite(u, v);
            }
            buf.push_back(u);
            buf.push_back(v);
        }else{
            clear();
        }
        cout << ans << endl;
    }
}
0