結果
| 問題 |
No.2377 SUM AND XOR on Tree
|
| コンテスト | |
| ユーザー |
poyon
|
| 提出日時 | 2023-06-03 10:29:57 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
WA
(最新)
AC
(最初)
|
| 実行時間 | - |
| コード長 | 1,432 bytes |
| コンパイル時間 | 2,050 ms |
| コンパイル使用メモリ | 201,780 KB |
| 最終ジャッジ日時 | 2025-02-13 22:06:22 |
|
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 1 WA * 1 |
| other | AC * 6 WA * 27 |
ソースコード
#include <bits/stdc++.h>
using namespace std;
#include <atcoder/modint>
using namespace atcoder;
using mint = modint1000000007;
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