結果

問題 No.1240 Or Sum of Xor Pair
ユーザー chineristAC
提出日時 2020-08-24 13:35:55
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 1,354 ms / 2,000 ms
コード長 1,270 bytes
コンパイル時間 246 ms
コンパイル使用メモリ 82,108 KB
実行使用メモリ 106,432 KB
最終ジャッジ日時 2024-06-22 12:11:53
合計ジャッジ時間 37,159 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 30
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys,random

input=sys.stdin.readline

N,X=map(int,input().split())
A=list(map(int,input().split()))

def solve_square():
    data_conv = [[0 for j in range(512)] for i in range(512)]
    data_bit = [[0 for j in range(9)] for i in range(512)]
    cnt = [0 for i in range(512)]
    for i in range(N):
        x,y = A[i]//512 , A[i]%512
        data_conv[x][y] += 1
        cnt[x] += 1
        for j in range(9):
            if not y>>j & 1:
                data_bit[x][j] += 1

    def all_sum(x,y):
        res = 0
        upper_bit = (x | y) << 9
        res += upper_bit * cnt[x] * cnt[y]
        for i in range(9):
            res += (1 << i) * (cnt[x] * cnt[y] - data_bit[x][i] * data_bit[y][i])
        return res

    def convolute(x,y):
        res = 0
        upper_bit = (x | y) << 9

        for i in range(512):
            for j in range(512):
                if i^j < X%512:
                    res += (upper_bit + (i | j)) * data_conv[x][i] * data_conv[y][j]

        return res

    ans=0
    for i in range(512):
        for j in range(512):
            if i^j < (X>>9):
                ans += all_sum(i,j)
            elif i^j == (X>>9):
                ans += convolute(i,j)

    ans -= sum(A)
    ans //= 2

    return ans

print(solve_square())
0