// #pragma GCC target("avx") // #pragma GCC optimize("O3") // #pragma GCC optimize("unroll-loops") #include using namespace std; #define rep(i,n) for(int i = 0; i < (int)n; i++) #define FOR(n) for(int i = 0; i < (int)n; i++) #define repi(i,a,b) for(int i = (int)a; i < (int)b; i++) #define all(x) x.begin(),x.end() //#define mp make_pair #define vi vector #define vvi vector #define vvvi vector #define vvvvi vector #define pii pair #define vpii vector> template void chmax(T &a, const T &b) {a = (a > b? a : b);} template void chmin(T &a, const T &b) {a = (a < b? a : b);} using ll = long long; using ld = long double; using ull = unsigned long long; const ll INF = numeric_limits::max() / 2; const ld pi = 3.1415926535897932384626433832795028; const ll mod = 998244353; int dx[] = {1, 0, -1, 0, -1, -1, 1, 1}; int dy[] = {0, 1, 0, -1, -1, 1, -1, 1}; #define int long long struct UnionFind { vector r; UnionFind(int n) { r = vector(n, -1); } int root(int x) { if(r[x] < 0) return x; return r[x] = root(r[x]); } bool unite(int x, int y) { x = root(x); y = root(y); if(x == y) return false; if(r[x] > r[y]) swap(x, y); r[x] += r[y]; r[y] = x; return true; } bool issame(int x, int y) { return root(x) == root(y); } int size(int x) { return -r[root(x)]; } int number_of_set() { unordered_set st; for(int i = 0; i < (int)r.size(); i++) st.insert(root(i)); return st.size(); } // only vertices: not including leader pos // vector> decompose() { // vector> p; // for(int i = 0; i < (int)r.size(); i++) p.emplace_back(root(i), i); // sort(all(p)); // //first:root, second:vertices // vector> ret; // int pre = -1; // for(pair e : p) { // if(pre != e.first) { // ret.push_back(vector{e.second}); // }else { // ret.back().push_back(e.second); // } // pre = e.first; // } // return ret; // } //leader and groups vertex // vector>> decompose() { // vector> p; // for(int i = 0; i < (int)r.size(); i++) p.emplace_back(root(i), i); // sort(all(p)); // //first:root, second:vertices // vector>> ret; // int pre = -1; // for(pair e : p) { // if(pre != e.first) { // ret.push_back(make_pair(e.first, vector{e.second})); // }else { // ret.back().second.push_back(e.second); // } // pre = e.first; // } // return ret; // } // vector roots(vector x) { // vector ret((int)x.size()); // for(int i = 0; i < (int)x.size(); i++) ret[i] = root(i); // return ret; // } // bool unite(pair p) { // return unite(p.first, p.second); // } // vector unite(vector> p) { // vector ret((int)p.size()); // for(int i = 0; i < (int)p.size(); i++) { // ret[i] = unite(p[i]); // } // return ret; // } // vector unite(vector x, vector y) { // assert(x.size() == y.size()); // vector ret((int)x.size()); // for(int i = 0; i < (int)x.size(); i++) { // ret[i] = unite(x[i], y[i]); // } // return ret; // } // bool issame(pair p) { // return issame(p.first, p.second); // } }; int powmod(int n, int m, const int MOD) { int res = 1; while(m > 0) { if(m&1) res = (res*n)%MOD; n = (n*n)%MOD; m >>= 1; } return res; } void solve() { int n, q; cin >> n >> q; vi a(q), b(q), c(q); vector g(n); UnionFind UF(n); FOR(q) { cin >> a[i] >> b[i] >> c[i]; --a[i]; --b[i]; g[a[i]].emplace_back(b[i], c[i]); UF.unite(a[i], b[i]); } vi honest(n, -1); vi nvec; //0: honest, 1: dishonest auto dfs = [&](int v, int which, auto self) -> bool { bool flag = true; nvec.push_back(v); honest[v] = which; for(auto e : g[v]) { if(honest[e.first] == -1) { flag = (flag && self(e.first, which^e.second, self)); }else if(honest[e.first] != (which^e.second)) { flag = false; } } return flag; }; FOR(n) { if(honest[i] == -1) { if(dfs(i, 0, dfs)) continue; for(auto e : nvec) honest[e] = -1; if(dfs(i, 1, dfs)) continue; cout << 0 << endl; return; } } cout << powmod(2, UF.number_of_set(), 998244353) << endl; } signed main() { cin.tie(nullptr); ios::sync_with_stdio(false); solve(); return 0; }