結果

問題 No.1240 Or Sum of Xor Pair
ユーザー chineristACchineristAC
提出日時 2020-08-24 13:35:55
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 1,407 ms / 2,000 ms
コード長 1,270 bytes
コンパイル時間 561 ms
コンパイル使用メモリ 86,972 KB
実行使用メモリ 109,684 KB
最終ジャッジ日時 2023-09-04 13:46:42
合計ジャッジ時間 40,336 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 389 ms
79,868 KB
testcase_01 AC 382 ms
79,472 KB
testcase_02 AC 1,165 ms
79,896 KB
testcase_03 AC 1,144 ms
80,476 KB
testcase_04 AC 1,246 ms
80,488 KB
testcase_05 AC 1,229 ms
80,256 KB
testcase_06 AC 1,226 ms
80,492 KB
testcase_07 AC 994 ms
80,560 KB
testcase_08 AC 1,204 ms
80,572 KB
testcase_09 AC 1,191 ms
80,456 KB
testcase_10 AC 1,259 ms
82,184 KB
testcase_11 AC 1,226 ms
82,448 KB
testcase_12 AC 1,249 ms
83,760 KB
testcase_13 AC 1,092 ms
83,296 KB
testcase_14 AC 1,137 ms
83,948 KB
testcase_15 AC 1,104 ms
109,472 KB
testcase_16 AC 1,282 ms
109,284 KB
testcase_17 AC 570 ms
109,444 KB
testcase_18 AC 1,112 ms
109,420 KB
testcase_19 AC 1,344 ms
109,464 KB
testcase_20 AC 1,337 ms
109,576 KB
testcase_21 AC 1,147 ms
109,192 KB
testcase_22 AC 1,263 ms
109,468 KB
testcase_23 AC 1,350 ms
109,440 KB
testcase_24 AC 1,407 ms
109,464 KB
testcase_25 AC 1,385 ms
109,568 KB
testcase_26 AC 1,344 ms
109,112 KB
testcase_27 AC 422 ms
79,732 KB
testcase_28 AC 1,317 ms
80,056 KB
testcase_29 AC 212 ms
109,684 KB
testcase_30 AC 1,320 ms
94,832 KB
testcase_31 AC 1,329 ms
96,116 KB
testcase_32 AC 1,280 ms
109,264 KB
権限があれば一括ダウンロードができます

ソースコード

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