#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
const LL MOD = 1e9 + 7;
int n, m;
vector<bool> d;
vector<int> v[200009];
int odw[200009];
LL xGCD(LL a, LL b, LL &x, LL &y) {
	if (b == 0) {
		x = 1;
		y = 0;
		return a;
	}
	LL x1, y1, gcd = xGCD(b, a % b, x1, y1);
	x = y1;
	y = x1 - (a / b) * y1;
	return gcd;
}
LL modfact(LL n) {
	LL result = 1;
	while (n > 1) {
		result = result * n % MOD;
		n -= 1;
	}
	return result;
}
LL modmult(LL a, LL b) {
	return a * b % MOD;
}
LL inverse(LL a) {
	LL x, y;
	xGCD(a, MOD, x, y);
	return x;
}
LL bc(LL n, LL k) {
	return modmult(modmult(modfact(n), inverse(modfact(k))), inverse(modfact(n - k)));
}
int zlicz = 0;
int pa[2], ni[2];
pair<int, int> dfs(int st, int x) {
	odw[st] = x;
	zlicz++;
	if(d[st]){
		pa[x%2]++;
	}else{
		ni[x%2]++;
	}
	pair<int, int> res = {zlicz, 0};
	for (auto q : v[st]) {
		if (odw[q] == 0) {
			auto [a, b] = dfs(q, x + 1);
			res.first = max(res.first, a);
			res.second = max(res.second, b);
		} else {
			if ((x + odw[q]) % 2 == 0) {
				res.second = 1;
			}
		}
	}
	return res;
}
LL solve() {
	LL res = 1;
	for (int i = 0; i < n; i++) {
		if (odw[i] == 0) {
			zlicz = 0;
			for(int j=0; j<2; j++){
				pa[j] = 0;
				ni[j] = 0 ;
			}
			auto [a, b] = dfs(i, 1);
			if (b == 1) {
				LL ans = 1;
				for (int i = 1; i < a; i++) {
					ans = (ans * 2) % MOD;
				}
				res = (res * ans) % MOD;
			} else {
				int ile = min(pa[0] + ni[1], pa[1] + ni[0]);
				res = (res * (bc(a, ile) + MOD)) % MOD;
			}
		}
	}
	return res;
}
int main() {
	ios_base::sync_with_stdio(false);
	cin.tie(nullptr);
	cin >> n >> m;
	for (int i = 0; i < n; i++) {
		bool a;
		cin >> a;
		d.push_back(a);
	}
	for (int i = 0; i < m; i++) {
		int a, b;
		cin >> a >> b;
		a--;
		b--;
		v[a].push_back(b);
		v[b].push_back(a);
	}
	cout << solve() << "\n";
	return 0;
}
        1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122  | #include <bits/stdc++.h> using namespace std; typedef long long LL; const LL MOD = 1e9 + 7; int n, m; vector<bool> d; vector<int> v[200009]; int odw[200009]; LL xGCD(LL a, LL b, LL &x, LL &y) { if (b == 0) { x = 1; y = 0; return a; } LL x1, y1, gcd = xGCD(b, a % b, x1, y1); x = y1; y = x1 - (a / b) * y1; return gcd; } LL modfact(LL n) { LL result = 1; while (n > 1) { result = result * n % MOD; n -= 1; } return result; } LL modmult(LL a, LL b) { return a * b % MOD; } LL inverse(LL a) { LL x, y; xGCD(a, MOD, x, y); return x; } LL bc(LL n, LL k) { return modmult(modmult(modfact(n), inverse(modfact(k))), inverse(modfact(n - k))); } int zlicz = 0; int pa[2], ni[2]; pair<int, int> dfs(int st, int x) { odw[st] = x; zlicz++; if(d[st]){ pa[x%2]++; }else{ ni[x%2]++; } pair<int, int> res = {zlicz, 0}; for (auto q : v[st]) { if (odw[q] == 0) { auto [a, b] = dfs(q, x + 1); res.first = max(res.first, a); res.second = max(res.second, b); } else { if ((x + odw[q]) % 2 == 0) { res.second = 1; } } } return res; } LL solve() { LL res = 1; for (int i = 0; i < n; i++) { if (odw[i] == 0) { zlicz = 0; for(int j=0; j<2; j++){ pa[j] = 0; ni[j] = 0 ; } auto [a, b] = dfs(i, 1); if (b == 1) { LL ans = 1; for (int i = 1; i < a; i++) { ans = (ans * 2) % MOD; } res = (res * ans) % MOD; } else { int ile = min(pa[0] + ni[1], pa[1] + ni[0]); res = (res * (bc(a, ile) + MOD)) % MOD; } } } return res; } int main() { ios_base::sync_with_stdio(false); cin.tie(nullptr); cin >> n >> m; for (int i = 0; i < n; i++) { bool a; cin >> a; d.push_back(a); } for (int i = 0; i < m; i++) { int a, b; cin >> a >> b; a--; b--; v[a].push_back(b); v[b].push_back(a); } cout << solve() << "\n"; return 0; }  | 
            
        
                    English