Codeforces Round #309 (Div. 1) C. Love Triangles（二分图）

C. Love Triangles

time limit per test

2 seconds

memory limit per test

256 megabytes

input

standard input

output

standard output

There are many anime that are about "love triangles": Alice loves Bob, and Charlie loves Bob as well, but Alice hates Charlie. You are thinking about an anime which has n characters. The characters are labeled from 1 to n. Every pair of two characters can either mutually love each other or mutually hate each other (there is no neutral state).

You hate love triangles (A-B are in love and B-C are in love, but A-C hate each other), and you also hate it when nobody is in love. So, considering any three characters, you will be happy if exactly one pair is in love (A and B love each other, and C hates both A and B), or if all three pairs are in love (A loves B, B loves C, C loves A).

You are given a list of m known relationships in the anime. You know for sure that certain pairs love each other, and certain pairs hate each other. You're wondering how many ways you can fill in the remaining relationships so you are happy with every triangle. Two ways are considered different if two characters are in love in one way but hate each other in the other. Print this count modulo 1 000 000 007.

Input

The first line of input will contain two integers n, m (3 ≤ n ≤ 100 000, 0 ≤ m ≤ 100 000).

The next m lines will contain the description of the known relationships. The i-th line will contain three integers ai, bi, ci. If ci is 1, then aiand bi are in love, otherwise, they hate each other (1 ≤ ai, bi ≤ n, ai ≠ bi, ).

Each pair of people will be described no more than once.

Output

Print a single integer equal to the number of ways to fill in the remaining pairs so that you are happy with every triangle modulo1 000 000 007.

Sample test(s)

input

3 0

output

4

input

4 4
1 2 1
2 3 1
3 4 0
4 1 0

output

1

input

4 4
1 2 1
2 3 1
3 4 0
4 1 1

output

0

Note

In the first sample, the four ways are to:

• Make everyone love each other
• Make 1 and 2 love each other, and 3 hate 1 and 2 (symmetrically, we get 3 ways from this).

In the second sample, the only possible solution is to make 1 and 3 love each other and 2 and 4 hate each other.

明确一点，同一个连通分量里的动物只能相互喜欢或讨厌，否则就会出现三角形。用二分图判断（和无向图不太一样）一下，不同的联通分量合并的方案数是2^(分量个数-1)

#include <bits/stdc++.h>
using namespace std;

typedef pair <int, int> pii;
const int maxn = 100005;
const int MOD = (int)1e9 + 7;
vector <pii> E[maxn];
bool fail, vis[maxn];
int g[maxn];

int modExp(int a, int b) {
	long long t = 1, y = a;
	while(b) {
		if(b & 1) t = t * y % MOD;
		y = y * y % MOD;
		b >>= 1;
	}
	return t;
}
void bipartite(int x, int y) {
	if(fail) return;
	vis[x] = 1;
	g[x] = y;
	for(int i = 0; i < E[x].size(); i++) {
		int u = E[x][i].first;
		int v = E[x][i].second;
		int ny = 3 - y;
			if(v == 1) ny = y;
		if(!vis[u]) {
			bipartite(u,ny);
		} else {
			if(ny != g[u]) fail = 1;
		}
	}
}
int main() {
	int n, m, a, b, c;
	while(scanf("%d%d", &n, &m) == 2) {

		for(int i = 1; i <= n; i++) E[i].clear();

		for(int i = 0; i < m; i++) {
			scanf("%d%d%d", &a, &b, &c);
			E[a].push_back(make_pair(b,c));
			E[b].push_back(make_pair(a,c));
		}
		int idx = 0;
		fail = 0;
		memset(vis,0,sizeof vis);
		for(int i = 1; i <= n && !fail; i++) {
			if(!vis[i]) {
				bipartite(i, 1);
				idx++;
			}
		}
		if(fail) {
			printf("0\n");
		} else {
			printf("%d\n", modExp(2, idx - 1));
		}
	}
	return 0;
}