結果

問題 No.2277 Honest or Dishonest ?
ユーザー asaringoasaringo
提出日時 2023-04-21 22:24:06
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 82 ms / 2,000 ms
コード長 5,497 bytes
コンパイル時間 2,380 ms
コンパイル使用メモリ 211,900 KB
実行使用メモリ 13,312 KB
最終ジャッジ日時 2024-11-08 06:35:40
合計ジャッジ時間 6,347 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
5,760 KB
testcase_01 AC 3 ms
5,760 KB
testcase_02 AC 3 ms
5,760 KB
testcase_03 AC 49 ms
11,904 KB
testcase_04 AC 50 ms
12,160 KB
testcase_05 AC 19 ms
8,576 KB
testcase_06 AC 40 ms
10,624 KB
testcase_07 AC 34 ms
9,856 KB
testcase_08 AC 14 ms
8,448 KB
testcase_09 AC 30 ms
9,728 KB
testcase_10 AC 26 ms
8,704 KB
testcase_11 AC 14 ms
7,424 KB
testcase_12 AC 19 ms
7,552 KB
testcase_13 AC 46 ms
11,264 KB
testcase_14 AC 22 ms
8,192 KB
testcase_15 AC 15 ms
8,064 KB
testcase_16 AC 33 ms
9,728 KB
testcase_17 AC 17 ms
7,936 KB
testcase_18 AC 47 ms
11,648 KB
testcase_19 AC 49 ms
11,776 KB
testcase_20 AC 39 ms
10,624 KB
testcase_21 AC 32 ms
9,344 KB
testcase_22 AC 34 ms
9,856 KB
testcase_23 AC 42 ms
10,368 KB
testcase_24 AC 30 ms
9,216 KB
testcase_25 AC 37 ms
10,240 KB
testcase_26 AC 10 ms
7,680 KB
testcase_27 AC 22 ms
8,192 KB
testcase_28 AC 17 ms
8,064 KB
testcase_29 AC 25 ms
9,088 KB
testcase_30 AC 22 ms
8,320 KB
testcase_31 AC 38 ms
10,368 KB
testcase_32 AC 24 ms
8,832 KB
testcase_33 AC 48 ms
11,776 KB
testcase_34 AC 54 ms
12,032 KB
testcase_35 AC 8 ms
6,912 KB
testcase_36 AC 33 ms
9,728 KB
testcase_37 AC 51 ms
11,008 KB
testcase_38 AC 13 ms
6,912 KB
testcase_39 AC 17 ms
7,680 KB
testcase_40 AC 9 ms
6,656 KB
testcase_41 AC 68 ms
12,544 KB
testcase_42 AC 45 ms
10,624 KB
testcase_43 AC 77 ms
13,184 KB
testcase_44 AC 78 ms
13,312 KB
testcase_45 AC 82 ms
13,312 KB
testcase_46 AC 76 ms
13,312 KB
testcase_47 AC 81 ms
13,312 KB
testcase_48 AC 75 ms
13,312 KB
testcase_49 AC 77 ms
13,312 KB
testcase_50 AC 79 ms
13,184 KB
testcase_51 AC 76 ms
13,312 KB
testcase_52 AC 77 ms
13,184 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std ;
#define fast_input_output ios::sync_with_stdio(false); cin.tie(nullptr);
// #pragma GCC target("avx2")
// #pragma GCC optimize("O3")
#pragma GCC target("avx")
#pragma GCC optimize("Ofast")
#pragma GCC optimize("unroll-loops")
typedef long long ll ;
typedef long double ld ;
typedef pair<ll,ll> P ;
typedef tuple<ll,ll,ll> TP ;
#define chmin(a,b) a = min(a,b)
#define chmax(a,b) a = max(a,b)
#define bit_count(x) __builtin_popcountll(x)
#define gcd(a,b) __gcd(a,b)
#define lcm(a,b) a / gcd(a,b) * b
#define rep(i,n) for(int i = 0 ; i < n ; i++)
#define rrep(i,a,b) for(int i = a ; i < b ; i++)
#define repi(it,S) for(auto it = S.begin() ; it != S.end() ; it++)
#define pt(a) cout << a << endl
#define DEBUG(...) ; cout << #__VA_ARGS__ << endl ; for(auto x : {__VA_ARGS__}) cout << x << "  " ; cout << endl ;
#define DEBUG_LIST(...) cout << #__VA_ARGS__ << endl ; DEBUG_REP(__VA_ARGS__) ;
#define DEBUG_REP(V) cout << "{ " ; repi(itr,V) cout << *itr << ", " ; cout << "}" << endl ;
#define debug(a) cout << #a << " " << a << endl
#define all(a) a.begin(), a.end()
#define endl "\n"

const int mod = 998244353 ;

template< int mod >
struct ModInt {
    int x;

    ModInt() : x(0) {}

    ModInt(int64_t y) : x(y >= 0 ? y % mod : (mod - (-y) % mod) % mod) {}

    ModInt &operator+=(const ModInt &p) {
        if((x += p.x) >= mod) x -= mod;
        return *this;
    }

    ModInt &operator-=(const ModInt &p) {
        if((x += mod - p.x) >= mod) x -= mod;
        return *this;
    }

    ModInt &operator*=(const ModInt &p) {
        x = (int) (1LL * x * p.x % mod);
        return *this;
    }

    ModInt &operator/=(const ModInt &p) {
        *this *= p.inverse();
        return *this;
    }

    ModInt operator-() const { return ModInt(-x); }

    ModInt operator+(const ModInt &p) const { return ModInt(*this) += p; }

    ModInt operator-(const ModInt &p) const { return ModInt(*this) -= p; }

    ModInt operator*(const ModInt &p) const { return ModInt(*this) *= p; }

    ModInt operator/(const ModInt &p) const { return ModInt(*this) /= p; }

    bool operator==(const ModInt &p) const { return x == p.x; }

    bool operator!=(const ModInt &p) const { return x != p.x; }

    ModInt inverse() const {
        int a = x, b = mod, u = 1, v = 0, t;
        while(b > 0) {
            t = a / b;
            swap(a -= t * b, b);
            swap(u -= t * v, v);
        }
        return ModInt(u);
    }

    ModInt pow(int64_t n) const {
        ModInt ret(1), mul(x);
        while(n > 0) {
            if(n & 1) ret *= mul;
            mul *= mul;
            n >>= 1;
        }
        return ret;
    }

    friend ostream &operator<<(ostream &os, const ModInt &p) {
        return os << p.x;
    }

    friend istream &operator>>(istream &is, ModInt &a) {
        int64_t t;
        is >> t;
        a = ModInt< mod >(t);
        return (is);
    }

    static int get_mod() { return mod; }
};

using modint = ModInt< mod >;

struct UnionFind {
    private:
        vector<int> par ; //親
        vector<int> lank ; //木の深さ
        vector<int> volume ; //構成する集合のサイズ
        vector<int> edge ; //構成する集合の辺の数

    public:
        UnionFind(int n){
            //n要素で初期化
            par.resize(n) ;
            lank.resize(n) ;
            volume.resize(n) ;
            edge.resize(n) ;
            for(int i = 0 ; i < n ; i++){
                par[i] = i ;
                lank[i] = 0 ;
                volume[i] = 1 ;
                edge[i] = 0 ;
            }
        }
        //木の根を求める
        int root(int x) {
            if(par[x] == x) return x ;
            else return par[x] = root(par[x]) ;
        }

        //xとyの属する集合を合併
        void unite(int x , int y){
            x = root(x);
            y = root(y) ;
            if(x == y) {
                edge[x]++ ;
                return ;
            }
            if(lank[x] < lank[y]){
                par[x] = y ;
                volume[y] += volume[x] ;
                edge[y] += edge[x] + 1 ;
            } else {
                par[y] = x ;
                volume[x] += volume[y] ;
                edge[x] += edge[y] + 1 ;
                if(lank[x] == lank[y]) lank[x]++ ;
            }
        }

        bool same(int x , int y) { return root(x) == root(y) ; }
        int size(int x) { return volume[root(x)] ; }
        int edge_num(int x) { return edge[root(x)] ; }
};

int n, q;

struct edge{
    int to;
    int t;
};

vector<edge> G[101010];
int BL[101010];

bool dfs(int v, int prev){
    bool b = true;
    for(edge e : G[v]){
        int u = e.to;
        int val = (BL[v] + e.t) % 2;
        if(BL[u] != -1) {
            if(BL[u] != val) return false;
            continue;
        }
        if(u == prev) continue;
        BL[u] = val;
        b &= dfs(u,v);
    }
    return b;
}

int main(){
    fast_input_output
    cin >> n >> q;
    UnionFind uf(n);
    vector<int> A(q), B(q), C(q);
    rep(i,q) cin >> A[i] >> B[i] >> C[i], A[i]--, B[i]--;
    rep(i,q){
        int a = A[i], b = B[i];
        uf.unite(a,b);
        bool c = C[i];
        G[a].push_back({b,c});
        G[b].push_back({a,c});
    }
    rep(i,n) BL[i] = -1;
    modint res = 1;
    rep(i,n){
        if(BL[i] != -1) continue;
        BL[i] = 0;
        if(!dfs(i,-1)){
            cout << 0 << endl;
            return 0;
        }
        res *= 2;
    }
    cout << res << endl;
}
0