//一瞬2-SATが頭をよぎるが、素朴に頂点の色(0:正直, 1:嘘つき)を特定する問題と考えると、 //頂点間のxorが制約として与えられると考えることができる。奇数長のループがある連結成分があれば矛盾。 //全て偶数長なら2彩色するパターンが2つ(1頂点だけ自由)なので、2^(連結成分数)が答え。 #include #include #include #define rep(i, n) for(i = 0; i < n; i++) #define int long long using namespace std; int mod = 998244353; int n, q; vector et[100000]; vector ec[100000]; signed main() { int i, j; cin >> n >> q; rep(i, q) { int a, b, c; cin >> a >> b >> c; a--; b--; et[a].push_back(b); et[b].push_back(a); ec[a].push_back(c); ec[b].push_back(c); } vector color(n, -1); int ans = 1; rep(i, n) { if (color[i] != -1) continue; queue que; que.push(i); color[i] = 0; while (!que.empty()) { int v = que.front(); que.pop(); rep(j, et[v].size()) { int nv = et[v][j]; int nc = (color[v] + ec[v][j]) % 2; if (color[nv] != -1 && color[nv] != nc) { cout << 0 << endl; return 0; } if (color[nv] == -1) { que.push(nv); color[nv] = nc; } } } ans *= 2; ans %= mod; } cout << ans << endl; return 0; }