結果
問題 | No.2949 Product on Tree |
ユーザー | t98slider |
提出日時 | 2024-10-27 10:18:31 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 336 ms / 2,000 ms |
コード長 | 4,945 bytes |
コンパイル時間 | 2,687 ms |
コンパイル使用メモリ | 214,460 KB |
実行使用メモリ | 57,284 KB |
最終ジャッジ日時 | 2024-10-27 10:18:51 |
合計ジャッジ時間 | 17,511 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge1 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,816 KB |
testcase_01 | AC | 2 ms
6,820 KB |
testcase_02 | AC | 2 ms
6,820 KB |
testcase_03 | AC | 243 ms
26,252 KB |
testcase_04 | AC | 258 ms
25,688 KB |
testcase_05 | AC | 230 ms
26,368 KB |
testcase_06 | AC | 225 ms
26,416 KB |
testcase_07 | AC | 221 ms
25,980 KB |
testcase_08 | AC | 239 ms
26,956 KB |
testcase_09 | AC | 266 ms
27,564 KB |
testcase_10 | AC | 246 ms
28,540 KB |
testcase_11 | AC | 248 ms
29,892 KB |
testcase_12 | AC | 248 ms
34,888 KB |
testcase_13 | AC | 248 ms
35,940 KB |
testcase_14 | AC | 284 ms
39,604 KB |
testcase_15 | AC | 271 ms
44,508 KB |
testcase_16 | AC | 271 ms
40,424 KB |
testcase_17 | AC | 263 ms
42,072 KB |
testcase_18 | AC | 310 ms
41,604 KB |
testcase_19 | AC | 284 ms
46,164 KB |
testcase_20 | AC | 292 ms
45,000 KB |
testcase_21 | AC | 303 ms
45,472 KB |
testcase_22 | AC | 321 ms
47,932 KB |
testcase_23 | AC | 244 ms
26,616 KB |
testcase_24 | AC | 238 ms
26,816 KB |
testcase_25 | AC | 244 ms
26,832 KB |
testcase_26 | AC | 236 ms
26,744 KB |
testcase_27 | AC | 263 ms
26,944 KB |
testcase_28 | AC | 240 ms
27,196 KB |
testcase_29 | AC | 259 ms
27,772 KB |
testcase_30 | AC | 244 ms
28,932 KB |
testcase_31 | AC | 247 ms
31,368 KB |
testcase_32 | AC | 259 ms
31,996 KB |
testcase_33 | AC | 289 ms
39,716 KB |
testcase_34 | AC | 306 ms
48,912 KB |
testcase_35 | AC | 297 ms
42,700 KB |
testcase_36 | AC | 295 ms
52,308 KB |
testcase_37 | AC | 323 ms
53,012 KB |
testcase_38 | AC | 289 ms
46,760 KB |
testcase_39 | AC | 293 ms
47,776 KB |
testcase_40 | AC | 302 ms
56,476 KB |
testcase_41 | AC | 336 ms
50,812 KB |
testcase_42 | AC | 312 ms
57,284 KB |
testcase_43 | AC | 75 ms
22,988 KB |
testcase_44 | AC | 76 ms
23,256 KB |
testcase_45 | AC | 97 ms
29,212 KB |
testcase_46 | AC | 87 ms
26,312 KB |
testcase_47 | AC | 65 ms
20,024 KB |
testcase_48 | AC | 92 ms
27,128 KB |
ソースコード
#include <bits/stdc++.h> using namespace std; template<const unsigned int MOD> struct prime_modint { using mint = prime_modint; unsigned int v; prime_modint() : v(0) {} prime_modint(unsigned int a) { a %= MOD; v = a; } prime_modint(unsigned long long a) { a %= MOD; v = a; } prime_modint(int a) { a %= (int)(MOD); if(a < 0)a += MOD; v = a; } prime_modint(long long a) { a %= (int)(MOD); if(a < 0)a += MOD; v = a; } static constexpr int mod() { return MOD; } mint& operator++() {v++; if(v == MOD)v = 0; return *this;} mint& operator--() {if(v == 0)v = MOD; v--; return *this;} mint operator++(int) { mint result = *this; ++*this; return result; } mint operator--(int) { mint result = *this; --*this; return result; } mint& operator+=(const mint& rhs) { v += rhs.v; if(v >= MOD) v -= MOD; return *this; } mint& operator-=(const mint& rhs) { if(v < rhs.v) v += MOD; v -= rhs.v; return *this; } mint& operator*=(const mint& rhs) { v = (unsigned int)((unsigned long long)(v) * rhs.v % MOD); return *this; } mint& operator/=(const mint& rhs) { return *this = *this * rhs.inv(); } mint operator+() const { return *this; } mint operator-() const { return mint() - *this; } mint pow(long long n) const { assert(0 <= n); mint r = 1, x = *this; while (n) { if (n & 1) r *= x; x *= x; n >>= 1; } return r; } mint inv() const { assert(v); return pow(MOD - 2); } friend mint operator+(const mint& lhs, const mint& rhs) { return mint(lhs) += rhs; } friend mint operator-(const mint& lhs, const mint& rhs) { return mint(lhs) -= rhs; } friend mint operator*(const mint& lhs, const mint& rhs) { return mint(lhs) *= rhs; } friend mint operator/(const mint& lhs, const mint& rhs) { return mint(lhs) /= rhs; } friend bool operator==(const mint& lhs, const mint& rhs) { return (lhs.v == rhs.v); } friend bool operator!=(const mint& lhs, const mint& rhs) { return (lhs.v != rhs.v); } friend std::ostream& operator << (std::ostream &os, const mint& rhs) noexcept { return os << rhs.v; } }; //using mint = prime_modint<1000000007>; using mint = prime_modint<998244353>; vector<mint> a; mint tot; struct ReRooting{ using T = mint; const T identity = 0; //mergeの演算に対する単位元 int n; vector<vector<int>> G; vector<vector<T>> dp; vector<T> ans; //vのi番目の辺の子からRを受け取ったときの処理 T receive(int v,int i,T &R){ return T(R); } //全体の累積lに子receiveの値をmerge //mergeの演算はモノイドでなくてはならない T merge(T l, T r){ return T(l + r); } //親に渡すときの処理 T givep(int v, T cum){ return T(++cum * a[v]); } ReRooting() {} ReRooting(int N):n(N){ G.resize(N); dp.resize(N); ans.resize(N,identity); } void add_edge(int a, int b) { G[a].emplace_back(b); G[b].emplace_back(a); } void read(){ int a, b; for(int i = 1; i < n; i++){ cin >> a >> b; a--, b--; G[a].emplace_back(b); G[b].emplace_back(a); } } void build() { dfs(0); // 普通に木DP dfs2(0, identity); // 残りの部分木に対応するDPを計算 } T dfs(int v, int p = -1) { T res = identity; int deg = G[v].size(); dp[v] = vector<T>(deg, identity); for (int i = 0; i < deg; i++) { int u = G[v][i]; if (u == p) continue; dp[v][i] = dfs(u, v); res = merge(res, receive(v, i, dp[v][i]) ); } return givep(v,res); } void dfs2(int v, const T& dp_p, int p = -1) { int deg = G[v].size(); for (int i = 0; i < deg; i++) { // 前のdfsで計算した有向辺に対応する部分木のDPを保存 if (G[v][i] == p){dp[v][i] = dp_p; break;} } vector<T> dp_l(deg + 1, identity), dp_r(deg + 1, identity); // 累積merge for (int i = 0; i < deg; i++) { dp_l[i + 1] = merge(dp_l[i], receive(v, i,dp[v][i])); } for (int i = deg - 1; i >= 0; i--) { dp_r[i] = merge(dp_r[i + 1], receive(v, i,dp[v][i])); } tot += dp_l[deg] * a[v]; //ans[v] = dp_l[deg]; // 頂点 v の答え for (int i = 0; i < deg; i++) { // 一つ隣の頂点に対しても同様に計算 int u = G[v][i]; if (u == p) continue; dfs2(u, givep(v,merge(dp_l[i], dp_r[i + 1])),v); } } }; int main(){ ios::sync_with_stdio(false); cin.tie(0); int n; cin >> n; a.resize(n); for(int i = 0; i < n; i++) cin >> a[i].v; ReRooting rr(n); rr.read(); rr.build(); cout << tot / 2 << '\n'; }