// library begin: "lib/template.hpp" #ifdef TEMPLATE #else #define TEMPLATE //see https://github.com/ryoku1020/lib # pragma GCC optimize("O3") #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; namespace ryoku{} using uint=unsigned; using ll=long long; using ull=unsigned long long; using ld=long double; using pii=pair; using pll=pair; using i128=__int128; using u128=unsigned __int128; templateusing vc=vector; templateusing vvc=vc>; templateusing vvvc=vvc>; templateusing smpq=priority_queue,greater>; templateusing bipq=priority_queue; #define rep(i,n) for(ll i=0;i<(ll)(n);i++) #define REP(i,j,n) for(ll i=(j);i<(ll)(n);i++) #define DREP(i,n,m) for(ll i=(n);i>=(m);i--) #define drep(i,n) for(ll i=((n)-1);i>=0;i--) #define rall(x) x.rbegin(),x.rend() #define mp(...) make_pair(__VA_ARGS__) #define pb push_back #define fi first #define se second #define is insert #define bg begin() #define ed end() #define all(x) x.begin(),x.end() void scan(int&a) { cin >> a; } void scan(ll&a) { cin >> a; } void scan(string&a) { cin >> a; } void scan(char&a) { cin >> a; } void scan(uint&a) { cin >> a; } void scan(ull&a) { cin >> a; } void scan(bool&a) { cin >> a; } void scan(ld&a){ cin>> a;} template void scan(vector&a) { for(auto&x:a) scan(x); } void read() {} template void read(Head&head, Tail&... tail) { scan(head); read(tail...); } #define INT(...) int __VA_ARGS__; read(__VA_ARGS__); #define LL(...) ll __VA_ARGS__; read(__VA_ARGS__); #define ULL(...) ull __VA_ARGS__; read(__VA_ARGS__); #define STR(...) string __VA_ARGS__; read(__VA_ARGS__); #define VC(type, name, ...) vector name(__VA_ARGS__); read(name); #define VVC(type, name, size, ...) vector> name(size, vector(__VA_ARGS__)); read(name); templatevoid print(T a) { cout << a; } template void print(vectora) { for(int i=0;i<(int)a.size();i++){if(i)cout<<" ";print(a[i]);}} void PRT() { cout < void PRT(T a) { print(a); cout < void PRT(Head head, Tail ... tail) { print(head); cout << " "; PRT(tail...); return; } template bool chmin(T &x, F y){ if(x>y){ x=y; return true; } return false; } template bool chmax(T &x, F y){ if(x T floor(T a,T b){ return a/b-(a%b&&((a<0)!=(b<0))); } template T ceil(T a,T b){ return a/b+(a%b&&((a<0)==(b<0))); } template T bmod(T x,T y){ return x-y*floor(x,y); } template pairdivmod(T x,T y){ T q=floor(x,y); return{q,x-q*y}; } void YesNo(bool b){ cout<<(b?"Yes":"No")<stovi(const string&s,const string&S){ vcv(s.size()); rep(i,s.size()){ auto t=S.find(s[i]); assert(t!=string::npos); v[i]=t; } return v; } template T isqrt(T x){ T F=sqrtl(x); while((F+1)*(F+1)<=x)F++; while(F*F>x)F--; return F; } template T tri(T x){return x*(x-1)/2;} //[l,r) templateT tri(T l,T r){return (r-l)*(l+r-1)/2;} //n を先頭に持ってくる template vcrot(vcv,int n){ rotate(v.begin(),v.begin()+n,v.end()); return v; } template auto rle(const Container&cv){ using T=typename Container::value_type; vc>res; for(const auto&x:cv){ if(res.empty()||res.back().fi!=x)res.pb({x,1}); else res.back().se++; } return res; } template vciota(int n){ vcv(n);rep(i,n)v[i]=i; return v; } template vcargsort(const vc&a){ auto idx=iota(a.size()); sort(all(idx),[&](int i,int j){ return (minfirst?make_pair(a[i],i)make_pair(a[j],j)); }); return idx; } template vvctrans(const vvc&a){ assert(a.size()&&a[0].size()); rep(i,a.size())assert(a[i].size()==a[0].size()); vvcb(a[0].size(),vc(a.size())); rep(i,a.size())rep(j,a[0].size())b[j][i]=a[i][j]; return b; } vctrans(const vc&a){ assert(a.size()&&a[0].size()); rep(i,a.size())assert(a[i].size()==a[0].size()); vcb(a[0].size(),string(a.size(),0)); rep(i,a.size())rep(j,a[0].size())b[j][i]=a[i][j]; return b; } template int popcount(T n){ return __builtin_popcountll(n); } template L sum(const vc&a){ return accumulate(all(a),L(0)); } template struct subset_view{ T s; struct iterator{ T s,x; bool done; T operator*()const{return x;} iterator&operator++(){ if(x==0)done=true; else x=(x-1)&s; return*this; } bool operator!=(const iterator&r)const{return done!=r.done;} }; iterator begin()const{return{s,s,false};} iterator end()const{return{s,0,true};} }; template subset_viewsubset(T s){ return{s}; } template T max(vc&a){ return *max_element(all(a)); } template T min(vc&a){ return *min_element(all(a)); } template vc presum(vc &a){ vc ret(a.size()+1); rep(i,a.size())ret[i+1]=ret[i]+a[i]; return ret; } template vc &operator+=(vc &a,F b){ for (auto&v:a)v += b; return a; } template vc &operator-=(vc&a,F b){ for (auto&v:a)v-=b; return a; } template vc &operator*=(vc&a,F b){ for (auto&v:a)v*=b; return a; } template constexpr T pow(T a,T b){ T res=1; while(b){ if(b&1)res*=a; a*=a; b/=2; } return res; } constexpr ll ten(ll a){ return pow(10,a); } templateconstexpr T inf=numeric_limits::max()/2-1; template<> constexpr pll inf ={inf,inf}; template constexpr T neg_inf=-inf; template<> constexpr pll neg_inf ={-inf,-inf}; template int tbit(T x){ using U=make_unsigned_t; U y=(U)x; return y?(int)bit_width(y)-1:-1; } template int lbit(T x){ using U=make_unsigned_t; U y=(U)x; return y?(int)countr_zero(y):-1; } template int tbit(T x,int p){ using U=make_unsigned_t; constexpr int W=numeric_limits::digits; U y=(U)x; if(p<0)return -1; if(p>=W-1)return tbit(y); return tbit(y&((U(1)<<(p+1))-1)); } template int lbit(T x,int p){ using U=make_unsigned_t; constexpr int W=numeric_limits::digits; U y=(U)x; if(p<0)return lbit(y); if(p>=W)return -1; return lbit(y&(~U(0)<>(istream&is,i128&x){ string s;is>>s; x=0; int i=0,neg=0; if(s[0]=='-')neg=1,i=1; for(;i<(int)s.size();i++)x=x*10+s[i]-'0'; if(neg)x=-x; return is; } ostream& operator<<(ostream&os,i128 x){ if(x==0)return os<<0; if(x<0)os<<"-"; u128 y=x<0?-(u128)x:(u128)x; string s; while(y)s.pb('0'+y%10),y/=10; reverse(all(s)); return os<sync_with_stdio(0); #ifdef LOCAL cout< struct binom_has_get_mod:false_type{}; template struct binom_has_get_mod>:true_type{}; template struct binom{ private: static vector&fact_table(){static vectorv={1};return v;} static vector&invfact_table(){static vectorv={1};return v;} static vector&invs_table(){static vectorv={0};return v;} static int&built_mod(){static int mod=-1;return mod;} public: static void build(int n){ auto&_fact=fact_table(); auto&_invfact=invfact_table(); auto&_invs=invs_table(); if constexpr(binom_has_get_mod::value){ auto mod=mint::get_mod(); if(built_mod()!=mod){ _fact={1}; _invfact={1}; _invs={0}; built_mod()=mod; } } if(n<(int)_fact.size())return; int old=_fact.size(); _fact.resize(n+1); _invfact.resize(n+1); _invs.resize(n+1); if constexpr(binom_has_get_mod::value){ auto mod=mint::get_mod(); for(int i=old;i<=n;i++){ _fact[i]=_fact[i-1]*i; if(i==1)_invs[i]=1; else _invs[i]=-_invs[mod%i]*(mod/i); _invfact[i]=_invfact[i-1]*_invs[i]; } }else{ for(int i=old;i<=n;i++){ _fact[i]=_fact[i-1]*i; _invs[i]=mint(1)/i; _invfact[i]=_invfact[i-1]*_invs[i]; } } } static mint fact(int i){ assert(i>=0); build(i); return fact_table()[i]; } static mint invfact(int i){ assert(i>=0); build(i); return invfact_table()[i]; } static mint inv(int i){ assert(i>0); build(i); return invs_table()[i]; } static mint C(int a,int b){//aCb if(b==0)return 1; if(a<0||b<0||a-b<0)return mint(0); build(a); auto&_fact=fact_table(); auto&_invfact=invfact_table(); return _fact[a]*_invfact[b]*_invfact[a-b]; } static mint iC(int a,int b){//1/aCb if(b==0)return 1; if(a<0||b<0||a-b<0)return mint(0); build(a); auto&_fact=fact_table(); auto&_invfact=invfact_table(); return _fact[b]*_fact[a-b]*_invfact[a]; } static mint P(int a,int b){ if(a struct edge{ int from,to,id; [[no_unique_address]]T cost; #ifdef LOCAL friend ostream&operator<<(ostream&os,const edge&e){ return os<<"{from:"< struct static_graph{ constexpr static bool directed(){return is_directed;} using edge=::ryoku::edge; using cost_t=T; private: int n; mutable bool built=false,inv_built=false; vcedges; mutable vcstart,inv_start; mutable vccsr,inv_csr; public: static_graph(int n):n(n),start(n+1),inv_start(n+1){assert(n>=0);} static_graph(int n,int m):static_graph(n){assert(m>=0);edges.reserve(m);} void resize(int size){ assert(n<=size&&!built); assert(!inv_built); n=size; start.resize(n+1); inv_start.resize(n+1); } void add_edge(const edge&e){ assert(!built&&!inv_built); assert(0<=e.from&&e.from void input(int m){ assert(m>=0); rep(i,m){ INT(a,b); a-=substract;b-=substract; add_edge(a,b); } build(); } void build()const{ if(built)return; built=true; start.assign(n+1,0); for(auto&e:edges){ ++start[e.from]; if constexpr(!is_directed)++start[e.to]; } rep(i,n)start[i+1]+=start[i]; csr.resize(start[n]); for(auto it=edges.rbegin();it!=edges.rend();++it){ auto&e=*it; csr[--start[e.from]]=e; if constexpr(!is_directed)csr[--start[e.to]]={e.to,e.from,e.id,e.cost}; } } void buildinv()const{ if(inv_built)return; inv_start.assign(n+1,0); for(auto&e:edges){ ++inv_start[e.to]; if constexpr(!is_directed)++inv_start[e.from]; } rep(i,n)inv_start[i+1]+=inv_start[i]; inv_csr.resize(inv_start[n]); for(auto it=edges.rbegin();it!=edges.rend();++it){ auto&e=*it; inv_csr[--inv_start[e.to]]={e.to,e.from,e.id,e.cost}; if constexpr(!is_directed)inv_csr[--inv_start[e.from]]={e.from,e.to,e.id,e.cost}; } inv_built=true; } auto operator[](int u){ build(); assert(0<=u&&u(csr.data()+start[u],start[u+1]-start[u]); } auto operator[](int u)const{ build(); assert(0<=u&&u(csr.data()+start[u],start[u+1]-start[u]); } auto inv(int u){ buildinv(); assert(0<=u&&u(inv_csr.data()+inv_start[u],inv_start[u+1]-inv_start[u]); } auto inv(int u)const{ buildinv(); assert(0<=u&&u(inv_csr.data()+inv_start[u],inv_start[u+1]-inv_start[u]); } const vc&all_edges()const{return edges;} int edge_size()const{return edges.size();} edge get_edge(int id)const{ assert(0<=id&&id vvcadj()const{ vvcres(n,vc(n)); for(auto&e:edges){ res[e.from][e.to]=e.cost; if constexpr(!is_directed)res[e.to][e.from]=e.cost; } return res; } void clear(){ built=false; inv_built=false; edges.clear(); csr.clear(); inv_csr.clear(); start.assign(n+1,0); inv_start.assign(n+1,0); } template void sort(int i,F f){ build(); assert(0<=i&&i struct static_modint{ static_assert(0=0); static_modint mi; mi.val=v; return mi; } static_modint &operator+=(const static_modint&m){ u32 x=val+m.val-mod; val=x+(mod&-(x>>31)); return *this; } static_modint &operator-=(const static_modint&m){ u32 x=val-m.val; val=x+(mod&-(x>>31)); return *this; } static_modint &operator*=(const static_modint&m){ val=u64(val)*m.val%mod; return *this; } static_modint &operator/=(const static_modint&m){ val=u64(val)*m.inv().val%mod; return *this; } static_modint operator-() const{ return static_modint(mod-val); } static_modint operator+() const { return *this; } friend static_modint operator+(static_modint lhs, const static_modint& rhs){ return lhs+=rhs; } friend static_modint operator-(static_modint lhs, const static_modint& rhs){ return lhs-=rhs; } friend static_modint operator*(static_modint lhs, const static_modint& rhs){ return lhs*=rhs; } friend static_modint operator/(static_modint lhs,const static_modint&rhs){ return lhs/=rhs; } bool operator==(const static_modint&p) const{ return p.val==val; } bool operator!=(const static_modint&p) const{ return p.val!=val; } static_modint pow(int64_t n) const{ static_modint res(1),mul(val); while(n){ if(n%2)res*=mul; mul*=mul; n/=2; } return res; } friend ostream&operator<<(ostream&os,const static_modint&p){ os<>(istream&is,static_modint&p){ int64_t x; is>>x; p=static_modint(x); return is; } static_modint inv()const{ int64_t a=val,b=mod,u=1,v=0,t; #ifdef LOCAL assert(gcd(a,b)==1); #endif while(b>0){ t=a/b; swap(a-=t*b,b); swap(u-=t*v,v); } return static_modint(u); } }; } // library end: "lib/math/modular/static-mod-int.hpp" using namespace ryoku; // library include: "lib/math/modular/static-mod-int.hpp" using mint=static_modint<998244353>; using B=binom; void solve(){ INT(n,q); static_graph<0,int>g(n); rep(i,q){ INT(a,b,c); --a,--b;g.add_edge(a,b,c); } mint ans=1; vccol(n,-1); rep(i,n){ if(col[i]!=-1)continue; ans*=2; col[i]=0; queueque;que.push(i); while(que.size()){ auto p=que.front();que.pop(); for(auto&e:g[p]){ if(col[e.to]!=-1){ if(col[e.to]!=(col[p]^e.cost))ans=0; }else{ col[e.to]=col[p]^e.cost;que.push(e.to); } } } } PRT(ans); } signed main(){ int t=1; // cin >> t; while(t--)solve(); }