結果
問題 | No.2949 Product on Tree |
ユーザー |
![]() |
提出日時 | 2024-10-27 14:15:13 |
言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 217 ms / 2,000 ms |
コード長 | 1,468 bytes |
コンパイル時間 | 6,544 ms |
コンパイル使用メモリ | 312,648 KB |
実行使用メモリ | 20,768 KB |
最終ジャッジ日時 | 2024-10-27 14:15:31 |
合計ジャッジ時間 | 16,994 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 46 |
ソースコード
#include <bits/stdc++.h> #include <atcoder/all> using namespace std; using namespace atcoder; //using mint = modint1000000007; //const int mod = 1000000007; using mint = modint998244353; const int mod = 998244353; //const int INF = 1e9; //const long long LINF = 1e18; #define rep(i, n) for (int i = 0; i < (n); ++i) #define rep2(i,l,r)for(int i=(l);i<(r);++i) #define rrep(i, n) for (int i = (n) - 1; i >= 0; --i) #define rrep2(i,l,r)for(int i=(r) - 1;i>=(l);--i) #define all(x) (x).begin(),(x).end() #define allR(x) (x).rbegin(),(x).rend() #define P pair<int,int> template<typename A, typename B> inline bool chmax(A & a, const B & b) { if (a < b) { a = b; return true; } return false; } template<typename A, typename B> inline bool chmin(A & a, const B & b) { if (a > b) { a = b; return true; } return false; } int main() { ios::sync_with_stdio(false); cin.tie(nullptr); int n; cin >> n; vector<int>a(n); rep(i, n)cin >> a[i]; vector to(n, vector<int>()); rep(i, n - 1) { int u, v; cin >> u >> v; u--, v--; to[u].push_back(v); to[v].push_back(u); } mint ans = 0; mint inv2 = mint::raw(2).inv(); auto dfs = [&](auto &&self, int v, int p = -1)->mint { mint val = 0; mint sum = 0; for (auto nv : to[v]) { if (p == nv)continue; auto m = self(self, nv, v); val -= m * m; sum += m; } val += sum * sum; val *= inv2; ans += (val + sum) * a[v]; return (sum + 1)*a[v]; }; dfs(dfs, 0); cout << ans.val() << endl; return 0; }