結果
| 問題 |
No.2949 Product on Tree
|
| コンテスト | |
| ユーザー |
kwm_t
|
| 提出日時 | 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;
}
kwm_t