結果

問題 No.1207 グラフX
ユーザー Example0911Example0911
提出日時 2020-09-01 19:06:18
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 578 ms / 2,000 ms
コード長 3,140 bytes
コンパイル時間 2,114 ms
コンパイル使用メモリ 187,552 KB
実行使用メモリ 49,572 KB
最終ジャッジ日時 2024-11-20 11:19:50
合計ジャッジ時間 24,764 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 525 ms
31,388 KB
testcase_01 AC 525 ms
31,268 KB
testcase_02 AC 505 ms
31,420 KB
testcase_03 AC 515 ms
31,272 KB
testcase_04 AC 506 ms
31,260 KB
testcase_05 AC 573 ms
49,572 KB
testcase_06 AC 565 ms
49,444 KB
testcase_07 AC 578 ms
49,564 KB
testcase_08 AC 342 ms
23,384 KB
testcase_09 AC 408 ms
27,016 KB
testcase_10 AC 577 ms
40,864 KB
testcase_11 AC 573 ms
49,440 KB
testcase_12 AC 359 ms
24,968 KB
testcase_13 AC 129 ms
13,776 KB
testcase_14 AC 485 ms
30,220 KB
testcase_15 AC 391 ms
25,916 KB
testcase_16 AC 144 ms
13,820 KB
testcase_17 AC 293 ms
20,344 KB
testcase_18 AC 282 ms
19,080 KB
testcase_19 AC 226 ms
19,284 KB
testcase_20 AC 495 ms
30,780 KB
testcase_21 AC 16 ms
6,820 KB
testcase_22 AC 302 ms
20,700 KB
testcase_23 AC 340 ms
23,632 KB
testcase_24 AC 247 ms
17,200 KB
testcase_25 AC 489 ms
30,544 KB
testcase_26 AC 365 ms
24,672 KB
testcase_27 AC 442 ms
28,112 KB
testcase_28 AC 411 ms
27,264 KB
testcase_29 AC 435 ms
27,324 KB
testcase_30 AC 190 ms
15,236 KB
testcase_31 AC 99 ms
12,132 KB
testcase_32 AC 183 ms
14,140 KB
testcase_33 AC 182 ms
14,508 KB
testcase_34 AC 382 ms
25,668 KB
testcase_35 AC 19 ms
6,820 KB
testcase_36 AC 401 ms
26,228 KB
testcase_37 AC 325 ms
21,928 KB
testcase_38 AC 81 ms
8,320 KB
testcase_39 AC 202 ms
15,444 KB
testcase_40 AC 57 ms
10,208 KB
testcase_41 AC 227 ms
18,328 KB
testcase_42 AC 2 ms
6,820 KB
testcase_43 AC 2 ms
6,816 KB
testcase_44 AC 2 ms
6,816 KB
testcase_45 AC 514 ms
31,256 KB
testcase_46 AC 498 ms
31,680 KB
testcase_47 AC 496 ms
31,564 KB
testcase_48 AC 488 ms
31,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

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

//#define int long long

#define ll long long
#define rep(i,n) for(ll i = 0; i < (n); i++)
#define P pair<ll,ll>
#define ld long double
ll INF = (1LL << 60);
int mod = 1000000007; struct mint {
	ll x; // typedef long long ll;
	mint(ll x = 0) :x((x%mod + mod) % mod) {}
	mint operator-() const { return mint(-x); }
	mint& operator+=(const mint a) {
		if ((x += a.x) >= mod) x -= mod;
		return *this;
	}
	mint& operator-=(const mint a) {
		if ((x += mod - a.x) >= mod) x -= mod;
		return *this;
	}
	mint& operator*=(const mint a) {
		(x *= a.x) %= mod;
		return *this;
	}
	mint operator+(const mint a) const {
		mint res(*this);
		return res += a;
	}
	mint operator-(const mint a) const {
		mint res(*this);
		return res -= a;
	}
	mint operator*(const mint a) const {
		mint res(*this);
		return res *= a;
	}
	mint pow(ll t) const {
		if (!t) return 1;
		mint a = pow(t >> 1);
		a *= a;
		if (t & 1) a *= *this;
		return a;
	}

	// for prime mod
	mint inv() const {
		return pow(mod - 2);
	}
	mint& operator/=(const mint a) {
		return (*this) *= a.inv();
	}
	mint operator/(const mint a) const {
		mint res(*this);
		return res /= a;
	}
};
istream& operator>>(istream& is, mint& a) { return is >> a.x; }
ostream& operator<<(ostream& os, const mint& a) { return os << a.x; }
struct UnionFind {
	vector<ll>p;
	UnionFind() {}
	UnionFind(ll n) {
		p.resize(n, -1);
	}
	ll find(ll x) {
		if (p[x] == -1)return x;
		else return p[x] = find(p[x]);
	}
	void unite(ll x, ll y) {
		x = find(x), y = find(y);
		if (x == y)return;
		p[x] = y;
	}
};
struct Edge {
	ll a, b, cost;
};
bool comp_e(const Edge &e1, const Edge &e2) {
	return e1.cost < e2.cost;
}
vector<vector<P>>AfterGraph;
struct Kruskal {
	UnionFind uf;
	ll sum;
	vector<Edge>edges;
	ll n;
	Kruskal(const vector<Edge> &edges_, ll n_) : edges(edges_), n(n_) {
		sort(edges.begin(), edges.end(), comp_e);
		uf = UnionFind(n);
		sum = 0;
		vector<ll> costs;
		for (auto e : edges) {
			if (uf.find(e.a) != uf.find(e.b)) {
				uf.unite(e.a, e.b);
				AfterGraph[e.a].push_back({ e.b, e.cost });
				AfterGraph[e.b].push_back({ e.a,e.cost });
				costs.push_back(e.cost);
				sum += e.cost;
			}
		}
	}

};
vector<ll>subtree_size;
void dfs(const vector<vector<P>> &G, ll v, ll p, ll now) {
	for (auto nv : G[v]) {
		if (nv.first == p)continue;
		dfs(G, nv.first, v, now + 1);
	}
	subtree_size[v] = 1;
	for (auto c : G[v]) {
		if (c.first == p)continue;
		subtree_size[v] += subtree_size[c.first];
	}
}
signed main() {
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	ll N, M, X; cin >> N >> M >> X;
	AfterGraph.resize(N);
	subtree_size.resize(N);
	vector<Edge>G(M);
	rep(i, M) {
		ll x, y, z; cin >> x >> y >> z; x--; y--;
		Edge e = { x,y,z };
		G[i] = e;
	}
	Kruskal tmp(G, N);
	dfs(AfterGraph, 0, -1, 0);
	
	mint ans = 0;
	rep(i, N) {
		for (auto v : AfterGraph[i]) {
			mint now = mint(X).pow(v.second);
			ll idx = 0;
			if (subtree_size[i] > subtree_size[v.first]) {
				idx = v.first;
			}
			else idx = i;
			now *= subtree_size[idx];
			now *= (N - subtree_size[idx]);
			ans += now;
		}
	}
	ans /= 2;
	cout << ans << endl;

	return 0;
}
0