結果
問題 | No.1207 グラフX |
ユーザー | Mister |
提出日時 | 2020-08-30 16:20:38 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 227 ms / 2,000 ms |
コード長 | 4,477 bytes |
コンパイル時間 | 1,069 ms |
コンパイル使用メモリ | 90,328 KB |
実行使用メモリ | 25,496 KB |
最終ジャッジ日時 | 2024-04-27 09:56:53 |
合計ジャッジ時間 | 10,762 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 193 ms
18,040 KB |
testcase_01 | AC | 188 ms
18,024 KB |
testcase_02 | AC | 183 ms
18,044 KB |
testcase_03 | AC | 179 ms
18,020 KB |
testcase_04 | AC | 179 ms
18,144 KB |
testcase_05 | AC | 227 ms
25,496 KB |
testcase_06 | AC | 216 ms
25,428 KB |
testcase_07 | AC | 212 ms
25,492 KB |
testcase_08 | AC | 134 ms
11,728 KB |
testcase_09 | AC | 146 ms
14,984 KB |
testcase_10 | AC | 214 ms
21,004 KB |
testcase_11 | AC | 213 ms
25,408 KB |
testcase_12 | AC | 127 ms
12,784 KB |
testcase_13 | AC | 66 ms
6,944 KB |
testcase_14 | AC | 164 ms
17,236 KB |
testcase_15 | AC | 153 ms
13,976 KB |
testcase_16 | AC | 67 ms
6,940 KB |
testcase_17 | AC | 110 ms
11,228 KB |
testcase_18 | AC | 93 ms
11,624 KB |
testcase_19 | AC | 110 ms
8,320 KB |
testcase_20 | AC | 214 ms
17,672 KB |
testcase_21 | AC | 12 ms
6,940 KB |
testcase_22 | AC | 120 ms
11,604 KB |
testcase_23 | AC | 141 ms
12,800 KB |
testcase_24 | AC | 91 ms
10,708 KB |
testcase_25 | AC | 205 ms
17,616 KB |
testcase_26 | AC | 143 ms
13,780 KB |
testcase_27 | AC | 152 ms
15,832 KB |
testcase_28 | AC | 144 ms
15,192 KB |
testcase_29 | AC | 151 ms
15,800 KB |
testcase_30 | AC | 71 ms
8,124 KB |
testcase_31 | AC | 55 ms
6,940 KB |
testcase_32 | AC | 61 ms
8,576 KB |
testcase_33 | AC | 63 ms
8,320 KB |
testcase_34 | AC | 138 ms
13,700 KB |
testcase_35 | AC | 13 ms
6,940 KB |
testcase_36 | AC | 141 ms
14,916 KB |
testcase_37 | AC | 117 ms
11,824 KB |
testcase_38 | AC | 30 ms
6,944 KB |
testcase_39 | AC | 72 ms
9,292 KB |
testcase_40 | AC | 43 ms
6,944 KB |
testcase_41 | AC | 95 ms
8,576 KB |
testcase_42 | AC | 2 ms
6,944 KB |
testcase_43 | AC | 2 ms
6,940 KB |
testcase_44 | AC | 2 ms
6,940 KB |
testcase_45 | AC | 171 ms
18,244 KB |
testcase_46 | AC | 179 ms
18,132 KB |
testcase_47 | AC | 197 ms
18,140 KB |
testcase_48 | AC | 203 ms
18,108 KB |
ソースコード
#include <iostream> #include <numeric> #include <vector> template <int MOD> struct ModInt { using lint = long long; int val; // constructor ModInt(lint v = 0) : val(v % MOD) { if (val < 0) val += MOD; }; // unary operator ModInt operator+() const { return ModInt(val); } ModInt operator-() const { return ModInt(MOD - val); } ModInt inv() const { return this->pow(MOD - 2); } // arithmetic ModInt operator+(const ModInt& x) const { return ModInt(*this) += x; } ModInt operator-(const ModInt& x) const { return ModInt(*this) -= x; } ModInt operator*(const ModInt& x) const { return ModInt(*this) *= x; } ModInt operator/(const ModInt& x) const { return ModInt(*this) /= x; } ModInt pow(lint n) const { auto x = ModInt(1); auto b = *this; while (n > 0) { if (n & 1) x *= b; n >>= 1; b *= b; } return x; } // compound assignment ModInt& operator+=(const ModInt& x) { if ((val += x.val) >= MOD) val -= MOD; return *this; } ModInt& operator-=(const ModInt& x) { if ((val -= x.val) < 0) val += MOD; return *this; } ModInt& operator*=(const ModInt& x) { val = lint(val) * x.val % MOD; return *this; } ModInt& operator/=(const ModInt& x) { return *this *= x.inv(); } // compare bool operator==(const ModInt& b) const { return val == b.val; } bool operator!=(const ModInt& b) const { return val != b.val; } bool operator<(const ModInt& b) const { return val < b.val; } bool operator<=(const ModInt& b) const { return val <= b.val; } bool operator>(const ModInt& b) const { return val > b.val; } bool operator>=(const ModInt& b) const { return val >= b.val; } // I/O friend std::istream& operator>>(std::istream& is, ModInt& x) noexcept { lint v; is >> v; x = v; return is; } friend std::ostream& operator<<(std::ostream& os, const ModInt& x) noexcept { return os << x.val; } }; template <class Cost = int> struct Edge { int src, dst; Cost cost; Edge(int src = -1, int dst = -1, Cost cost = 1) : src(src), dst(dst), cost(cost){}; bool operator<(const Edge<Cost>& e) const { return this->cost < e.cost; } bool operator>(const Edge<Cost>& e) const { return this->cost > e.cost; } }; template <class Cost = int> struct Graph { std::vector<std::vector<Edge<Cost>>> graph; Graph(int n = 0) : graph(n) {} void span(bool direct, int src, int dst, Cost cost = 1) { graph[src].emplace_back(src, dst, cost); if (!direct) graph[dst].emplace_back(dst, src, cost); } int size() const { return graph.size(); } void clear() { graph.clear(); } void resize(int n) { graph.resize(n); } std::vector<Edge<Cost>>& operator[](int v) { return graph[v]; } std::vector<Edge<Cost>> operator[](int v) const { return graph[v]; } }; struct UnionFind { std::vector<int> par, sz; int gnum; explicit UnionFind(int n) : par(n), sz(n, 1), gnum(n) { std::iota(par.begin(), par.end(), 0); } int find(int v) { return (par[v] == v) ? v : (par[v] = find(par[v])); } void unite(int u, int v) { u = find(u), v = find(v); if (u == v) return; if (sz[u] < sz[v]) std::swap(u, v); sz[u] += sz[v]; par[v] = u; --gnum; } bool same(int u, int v) { return find(u) == find(v); } bool ispar(int v) { return v == find(v); } int size(int v) { return sz[find(v)]; } }; constexpr int MOD = 1000000007; using mint = ModInt<MOD>; void solve() { int n, m; mint x; std::cin >> n >> m >> x; Graph<int> graph(n); UnionFind uf(n); while (m--) { int u, v, w; std::cin >> u >> v >> w; if (uf.same(--u, --v)) continue; uf.unite(u, v); graph.span(false, u, v, w); } mint ans = 0; auto dfs = [&](auto f, int v, int p) -> int { int sz = 1; for (auto e : graph[v]) { int u = e.dst; if (u == p) continue; int csz = f(f, u, v); ans += x.pow(e.cost) * csz * (n - csz); sz += csz; } return sz; }; dfs(dfs, 0, -1); std::cout << ans << "\n"; } int main() { std::cin.tie(nullptr); std::ios::sync_with_stdio(false); solve(); return 0; }