結果
| 問題 | No.2377 SUM AND XOR on Tree | 
| コンテスト | |
| ユーザー |  poyon | 
| 提出日時 | 2023-05-31 01:40:23 | 
| 言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) | 
| 結果 | 
                                WA
                                 
                             | 
| 実行時間 | - | 
| コード長 | 1,627 bytes | 
| コンパイル時間 | 206 ms | 
| コンパイル使用メモリ | 12,800 KB | 
| 実行使用メモリ | 600,164 KB | 
| 最終ジャッジ日時 | 2024-07-06 23:43:58 | 
| 合計ジャッジ時間 | 52,354 ms | 
| ジャッジサーバーID (参考情報) | judge2 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 1 WA * 1 | 
| other | AC * 6 WA * 18 MLE * 1 -- * 8 | 
ソースコード
# pypy  : ローカルだと  3500 ms くらい (パスグラフを除けば  500 ms くらい)
# python: ローカルだと 13500 ms くらい (パスグラフを除けば 9000 ms くらい)
#         両方ともパスグラフの時に 700 MB くらい使ってる(なんで???)
import sys
input = sys.stdin.readline
sys.setrecursionlimit(10**7)
def main():
    N = int(input())
    G = [[] for _ in range(N)]
    for _ in range(N - 1):
        u, v = map(int, input().split())
        u -= 1
        v -= 1
        G[u].append(v)
        G[v].append(u)
    A = list(map(int, input().split()))
    B = 30
    ans = 0
    MOD = 10**9 + 7
    def dfs(u, p):
        dp = [[0] * 2 for _ in range(B)]
        for b in range(B):
            dp[b][(A[u] >> b) & 1] = 1
        for v in G[u]:
            if v == p:
                continue
            dp_new = [[0] * 2 for _ in range(B)]
            dp_v = dfs(v, u)
            for b in range(B):
                # 切る
                dp_new[b][0] += dp[b][0] * dp_v[b][1]
                dp_new[b][1] += dp[b][1] * dp_v[b][1]
                # 切らない(繋ぐ)
                dp_new[b][0] += dp[b][0] * dp_v[b][0]
                dp_new[b][1] += dp[b][0] * dp_v[b][1]
                dp_new[b][1] += dp[b][1] * dp_v[b][0]
                dp_new[b][0] += dp[b][1] * dp_v[b][1]
                dp_new[b][0] %= MOD
                dp_new[b][1] %= MOD
            dp = dp_new
        return dp
    dp = dfs(0, -1)
    for b in range(B):
        ans += (1 << b) * dp[b][1]
        ans %= MOD
    print(ans)
if __name__ == "__main__":
    main()
            
            
            
        