結果

問題 No.2377 SUM AND XOR on Tree
ユーザー poyon
提出日時 2023-06-11 19:33:48
言語 C++17
(gcc 13.3.0 + boost 1.87.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
権限があれば一括ダウンロードができます

ソースコード

diff #

#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;
}
0