結果

問題 No.2377 SUM AND XOR on Tree
ユーザー poyonpoyon
提出日時 2023-06-01 22:13:21
言語 PyPy3
(7.3.15)
結果
WA  
(最新)
AC  
(最初)
実行時間 -
コード長 1,983 bytes
コンパイル時間 160 ms
コンパイル使用メモリ 82,076 KB
実行使用メモリ 273,692 KB
最終ジャッジ日時 2024-07-06 23:45:10
合計ジャッジ時間 30,724 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 29 ms
53,196 KB
testcase_01 WA -
testcase_02 WA -
testcase_03 AC 32 ms
52,492 KB
testcase_04 AC 35 ms
52,584 KB
testcase_05 AC 32 ms
53,668 KB
testcase_06 AC 31 ms
52,392 KB
testcase_07 AC 31 ms
53,896 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 1,829 ms
185,624 KB
testcase_24 WA -
testcase_25 WA -
testcase_26 WA -
testcase_27 WA -
testcase_28 WA -
testcase_29 WA -
testcase_30 WA -
testcase_31 WA -
testcase_32 WA -
testcase_33 WA -
testcase_34 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

# 非再帰で実装
# pypy  : ローカルだと  1900 ms くらい
# python: ローカルだと 14000 ms くらい

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

    MOD = 10**9 + 7
    B = 30
    ans = 0

    # 非再帰
    # Ref: https://qiita.com/Kiri8128/items/2b0023bed9af642c751c

    par = [-1] * N
    dp = [[0] * 2 for _ in range(N)]
    for b in range(B):
        stack = [~0, 0]  # スタック
        while stack:
            u = stack.pop()

            if u >= 0:  # 行きがけの処理
                for v in G[u]:
                    if par[u] == v:
                        continue
                    if par[v] == -1:
                        par[v] = u
                    stack.append(~v)
                    stack.append(v)

            else:  # 帰りがけの処理
                u = ~u
                dp[u][0] = dp[u][1] = 0
                dp[u][(A[u] >> b) & 1] = 1
                for v in G[u]:
                    if par[u] == v:
                        continue
                    dp_new = [0] * 2
                    dp_u = dp[u]
                    dp_v = dp[v]

                    # 切る
                    dp_new[0] += dp_u[0] * dp_v[1]
                    dp_new[1] += dp_u[1] * dp_v[1]

                    # 切らない（繋ぐ）
                    dp_new[0] += dp_u[0] * dp_v[0]
                    dp_new[1] += dp_u[0] * dp_v[1]
                    dp_new[1] += dp_u[1] * dp_v[0]
                    dp_new[0] += dp_u[1] * dp_v[1]

                    dp_new[0] %= MOD
                    dp_new[1] %= MOD
                    dp[u] = dp_new

        ans += (1 << b) * dp[0][1]
        ans %= MOD

    print(ans)


if __name__ == "__main__":
    main()
0