//すぐ分かることとして、「K以下,K-1以下を解けば良い」「連結成分ごとに独立」「各連結成分では1頂点の値 x を決めたら芋づる式に決まる(自由度1以下)」 //というのがある。x + num[0][i], -x + num[1][i] の形を各頂点iで覚えておき、同符号で異なる定数項が来たらダメ、異符号の項が来たら一意なので判定、 //そうでもなければxの範囲を求めて、という感じでやればよい。 //ここまでは分かるが、難しいのは細かい実装パート。 //x + a --- edge --- -x + ? のとき、? = edge - a //-x + a -- edge --- x + ? のとき、? = edge - a //そんなに難しくなかったの巻。 //異符号の項が来た場合、 //・x + a = -x + b ⇔ 2x = b - a ⇔ x = (b - a) / 2.aとbの偶奇が違ったり、b - aが負だったらダメ。 //値の範囲制約 (K以下の問題を解く場合) //・xは整数 //・0 <= x <= K //・x + a >= 0 : x >= -a //・x + a <= K : x <= K - a //・-x + b >= 0 : x <= b //・-x + b <= K : x >= b - K //これらでxの範囲を絞って、判定すればおっけー。 //全て同符号しかなく各頂点矛盾しないなら、単純にmax >= minか判定して、max - min + 1通り。 // //最初の連結成分分けるパートはatcoder/dsuを使えばすぐだが、せっかく線形で解ける問題なので、真面目に幅優先していきます。 #include #include #include #include #define int long long #define rep(i, n) for(i = 0; i < n; i++) using namespace std; int n, m; vector et[100000]; vector ec[100000]; vector> make_groups() { int i; queue que; vector used(n, false); vector> groups; rep(i, n) { if (used[i]) continue; vector group; used[i] = true; que.push(i); group.push_back(i); while (!que.empty()) { int v = que.front(); que.pop(); for (int j = 0; j < et[v].size(); j++) { int nv = et[v][j]; if (used[nv] == false) { used[nv] = true; que.push(nv); group.push_back(nv); } } } groups.push_back(group); } return groups; } const int mod = 1000000007; //groupsは連結成分, x + nums[i][0], -x + nums[i][1], used[i][0, 1] : visit flag を頂点iについて持つ int count_array_group(int K, vector &group, vector> &nums, vector> &used) { int s = group[0]; typedef pair P; //(i, 0(+) or 1(-)) queue

que; //始点を x とおく used[s][0] = true; nums[s][0] = 0; que.push(P(s, 0)); while (!que.empty()) { P now = que.front(); que.pop(); int v = now.first; int f = now.second; for (int i = 0; i < et[v].size(); i++) { int nv = et[v][i]; int nf = !f; int next_num = ec[v][i] - nums[v][f]; //同符号の矛盾を弾く if (used[nv][nf] == true && nums[nv][nf] != next_num) { return 0; } if (!used[nv][nf]) { used[nv][nf] = true; nums[nv][nf] = next_num; que.push(P(nv, nf)); } } } //集計 int xlow = 1; int xhigh = K; for (int i = 0; i < group.size(); i++) { int v = group[i]; int a = nums[v][0]; int b = nums[v][1]; //cerr << v + 1; //if (used[v][0]) cerr << ", x + " << a; //if (used[v][1]) cerr << ", -x + " << b; //cerr << endl; } for (int i = 0; i < group.size(); i++) { int v = group[i]; int a = nums[v][0]; int b = nums[v][1]; if (used[v][0] && used[v][1]) { if (b - a < 0 || (b - a) % 2 != 0) { //cerr << "v = " << v + 1 << ", break1" << endl; return 0; } xlow = max(xlow, (b - a) / 2); xhigh = min(xhigh, (b - a) / 2); } if (used[v][0]) { xlow = max(xlow, -a); xhigh = min(xhigh, K - a); } if (used[v][1]) { xlow = max(xlow, b - K); xhigh = min(xhigh, b); } //cerr << "xlow = " << xlow << ", " << " xhigh = " << xhigh << endl; } if (xlow > xhigh) return 0; return xhigh - xlow + 1; } //max A <= Kのとき、何通り? int count_array(int K, vector> &groups) { int i; int ret = 1; vector> nums(n, vector(2)); vector> used(n, vector(2, false)); //cerr << "K = " << K << endl; rep(i, groups.size()) { int res = count_array_group(K, groups[i], nums, used); ret *= res; ret %= mod; /*for (int j = 0; j < groups[i].size(); j++) { cerr << groups[i][j] + 1 << " "; }*/ //cerr << ", res = " << res << endl; //cerr << endl; } return ret; } signed main() { int i, K; cin >> n >> m >> K; rep(i, m) { int x, y, z; cin >> x >> y >> z; x--; y--; et[x].push_back(y); et[y].push_back(x); ec[x].push_back(z); ec[y].push_back(z); } vector> groups = make_groups(); int ans = (count_array(K, groups) - count_array(K - 1, groups) + mod) % mod; cout << ans << endl; return 0; }