結果

問題 No.2277 Honest or Dishonest ?
コンテスト
ユーザー HIcoder
提出日時 2023-07-08 12:33:13
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 148 ms / 2,000 ms
コード長 4,320 bytes
コンパイル時間 1,375 ms
コンパイル使用メモリ 121,676 KB
最終ジャッジ日時 2025-02-15 08:56:14
ジャッジサーバーID
（参考情報） 		judge4 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 50
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<iostream>
#include<set>
#include<algorithm>
#include<vector>
#include<string>
#include<set>
#include<map>
#include<numeric>
#include<queue>
#include<cmath>
#include <unordered_set>
using namespace std;
typedef long long ll;
const ll INF=1LL<<60;
typedef pair<int,int> P;
typedef pair<int,P> PP;
const ll MOD=998244353;

class UnionFind{

public:
    std::vector<int> par;
    std::vector<int> rank;
    std::vector<int> sz;//sz[i]で,頂点iが含まれているグループのサイズ
    std::vector<int> root;

    UnionFind(int size){
        rank=std::vector<int>(size+1,0);
        
        par = std::vector<int>(size+1,0);
        std::iota(par.begin(),par.end(),0);//#include<numeric>
        sz = std::vector<int>(size+1,1);
        root=std::vector<int>(size+1);
        std::iota(root.begin(),root.end(),0);
    }  

    

    ~UnionFind(){
        std::vector<int>().swap(rank);
        std::vector<int>().swap(par);
        std::vector<int>().swap(sz);
        std::vector<int>().swap(root);
    }  


    int find(int x){
        if(par[x]==x)return x;
        else return par[x] = find(par[x]);
    }

    bool issame(int u,int v){
        return find(u)==find(v);
    }


    void merge(int u,int v){
        u = find(u);
        v = find(v);
        if(u==v) return;

       
        if(rank[u]<rank[v]) std::swap(u,v);
        //uの傘下へvが入る
        
        //rank[u]>=rank[v]
        par[v]=u;
        sz[u]+=sz[v];
        if(rank[u]==rank[v])rank[u]++;

    }
    

    int size(int u){//頂点uが属すグループの大きさを表す.
        u=find(u);
        return sz[u];
    }

    std::map<int,std::vector<int>> element(){
        std::map<int,std::vector<int>> mp;
        for(int i=0;i<par.size();i++){
            root[i]=find(i);
            mp[root[i]].push_back(i);
        }
        return mp;

    }
};



ll mod_pow(ll x,ll y,ll mod){
    ll res=1;
    while(y>0){
        if(y&1){
            res*=x;
            res%=mod;
        }
        x*=x;
        x%=mod;
        y/=2;
    }
    return res;
}


int main(){
    int N,Q;
    cin>>N>>Q;

    UnionFind uf(N);

    vector<int> A(Q),B(Q),C(Q);

    vector<vector<P>> G(N);

    for(int i=0;i<Q;i++){
        cin>>A[i]>>B[i]>>C[i];
        A[i]--;B[i]--;
        uf.merge(A[i],B[i]);

        G[A[i]].emplace_back(B[i],C[i]);
        G[B[i]].emplace_back(A[i],C[i]);

        
    }

    /*
    set<int> st;
    vector<int> id(N,-1);
    for(int i=0;i<N;i++){
        id[i]=uf.find(i);
        st.insert(id[i]);
    }

    int sz=st.size();
    */

    //vector<bool> isvisit(N,false);
    vector<int> color(N,0);//まだ塗られていない


    auto dfs=[&](auto f,int now)->bool{
      
        //cout<<"now="<<now<<endl;

        for(auto [to,flag]:G[now]){
            //cout<<"to="<<to<<",flag="<<flag<<endl;
            if(color[to]!=0){
                if(flag==1 && color[to]==color[now]){
                    //toとnowが同じ色ならNG
                    return false;
                }else if(flag==0 && color[to]!=color[now]){
                   return false;
                }else{
                    continue;
                }

            }else{
                
                if(flag==1){
                    //nowとtoは異なる色でなければならない
                    color[to]=-color[now];
                    if(!f(f,to)){
                        return false;
                    }

                }else{
                    //nowとtoは同じ色でなければならない
                    color[to]=color[now];
                    if(!f(f,to)){
                        return false;
                    }
                }

            }
        }
        return true;

    };


    ll ans=1;

    for(int i=0;i<N;i++){
        if(color[i]==0){
            //cout<<"i="<<i<<endl;
            //cout<<"ans="<<ans<<endl;

            
            color[i]=1;
            if(dfs(dfs,i)){
                
                ans*=2; //色の反転で塗り分け方が2通り
                ans%=MOD;
            }else{
                

                ans*=0;
            }
            /*
            for(int i=0;i<N;i++){
                cout<<"color["<<i<<"]="<<color[i]<<endl;
            }
            */

        }
    }

    
    cout<<ans<<endl;


}
0