結果

問題 No.1142 XOR と XOR
ユーザー 双六
提出日時 2020-07-31 23:17:33
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 237 ms / 2,000 ms
コード長 1,006 bytes
コンパイル時間 993 ms
コンパイル使用メモリ 82,432 KB
実行使用メモリ 114,944 KB
最終ジャッジ日時 2024-11-08 03:36:22
合計ジャッジ時間 7,234 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 25
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

import sys; input = sys.stdin.buffer.readline
sys.setrecursionlimit(10**7)
from collections import defaultdict
con = 10 ** 9 + 7; INF = float("inf")
def getlist():
    return list(map(int, input().split()))
#処理内容
def main():
    N, M, K = getlist()
    A = getlist()
    B = getlist()
    Asum = defaultdict(int)
    Bsum = defaultdict(int)
    val1 = 0
    val2 = 0
    Asum[0] += 1
    Bsum[0] += 1
    for i in range(N):
        val1 ^= A[i]
        Asum[val1] += 1
    for i in range(M):
        val2 ^= B[i]
        Bsum[val2] += 1
    AX = defaultdict(int)
    BX = defaultdict(int)
    for i in range(1024):
        for j in range(i, 1024):
            if i == j:
                AX[0] += int((Asum[i] - 1) * Asum[i] // 2)
            else:
                AX[i ^ j] += Asum[i] * Asum[j]
    for i in range(1024):
        for j in range(i, 1024):
            if i == j:
                BX[0] += int((Bsum[i] - 1) * Bsum[i] // 2)
            else:
                BX[i ^ j] += Bsum[i] * Bsum[j]
    ans = defaultdict(int)
    for i in range(1024):
        for j in range(1024):
            ans[i ^ j] += AX[i] * BX[j]
    print(ans[K] % con)
if __name__ == '__main__':
    main()
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0