結果
| 問題 | No.2377 SUM AND XOR on Tree |
| コンテスト | |
| ユーザー |
poyon
|
| 提出日時 | 2023-06-11 19:33:48 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.89.0) |
| 結果 |
AC
|
| 実行時間 | 771 ms / 4,000 ms |
| コード長 | 1,431 bytes |
| 記録 | |
| コンパイル時間 | 2,175 ms |
| コンパイル使用メモリ | 201,048 KB |
| 最終ジャッジ日時 | 2025-02-14 01:53:06 |
|
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 |
| other | AC * 33 |
ソースコード
#include <bits/stdc++.h>
using namespace std;
#include <atcoder/modint>
using namespace atcoder;
using mint = modint998244353;
int main() {
ios::sync_with_stdio(false);
cin.tie(nullptr);
int N;
cin >> N;
vector<vector<int>> G(N);
for (int i = 0; i < N - 1; i++) {
int u, v;
cin >> u >> v;
u--;
v--;
G[u].push_back(v);
G[v].push_back(u);
}
vector<int> A(N);
for (int i = 0; i < N; i++) { cin >> A[i]; }
mint ans = 0;
for (int b = 0; b < 30; b++) {
auto dfs = [&](auto&& self, int u, int p) -> vector<mint> {
vector<mint> dp(2);
dp[(A[u] >> b) & 1]++;
for (int v : G[u]) {
if (v == p) { continue; }
auto dp_v = self(self, v, u);
vector<mint> dp_new(2);
// 辺 (u, v) を削除する
dp_new[0] += dp[0] * dp_v[1];
dp_new[1] += dp[1] * dp_v[1];
// 辺 (u, v) を削除しない(繋ぐ)
dp_new[0] += dp[0] * dp_v[0];
dp_new[1] += dp[0] * dp_v[1];
dp_new[1] += dp[1] * dp_v[0];
dp_new[0] += dp[1] * dp_v[1];
swap(dp, dp_new);
}
return dp;
};
auto dp = dfs(dfs, 0, -1);
ans += (1 << b) * dp[1];
}
cout << ans.val() << '\n';
return 0;
}
poyon