結果

問題 No.2377 SUM AND XOR on Tree
ユーザー poyonpoyon
提出日時 2023-05-31 01:40:23
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
MLE  
実行時間 -
コード長 1,627 bytes
コンパイル時間 450 ms
コンパイル使用メモリ 11,016 KB
実行使用メモリ 598,384 KB
最終ジャッジ日時 2023-09-21 05:12:05
合計ジャッジ時間 52,893 ms
ジャッジサーバーID
(参考情報)
judge14 / judge11
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 MLE -
testcase_01 WA -
testcase_02 WA -
testcase_03 AC 16 ms
8,308 KB
testcase_04 AC 17 ms
8,280 KB
testcase_05 AC 17 ms
8,236 KB
testcase_06 AC 17 ms
8,280 KB
testcase_07 AC 17 ms
8,296 KB
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 AC 3,310 ms
26,820 KB
testcase_24 WA -
testcase_25 WA -
testcase_26 MLE -
testcase_27 -- -
testcase_28 -- -
testcase_29 -- -
testcase_30 -- -
testcase_31 -- -
testcase_32 -- -
testcase_33 -- -
testcase_34 -- -
権限があれば一括ダウンロードができます

ソースコード

diff #

# 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()
0