結果

問題 No.1240 Or Sum of Xor Pair
ユーザー chineristACchineristAC
提出日時 2020-08-25 16:53:41
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 2,418 bytes
コンパイル時間 377 ms
コンパイル使用メモリ 86,764 KB
実行使用メモリ 109,632 KB
最終ジャッジ日時 2023-09-04 07:55:03
合計ジャッジ時間 13,890 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 202 ms
79,848 KB
testcase_01 AC 201 ms
79,944 KB
testcase_02 AC 351 ms
79,828 KB
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
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 WA -
testcase_24 WA -
testcase_25 WA -
testcase_26 WA -
testcase_27 AC 224 ms
80,096 KB
testcase_28 AC 255 ms
79,796 KB
testcase_29 AC 240 ms
109,376 KB
testcase_30 WA -
testcase_31 AC 495 ms
95,712 KB
testcase_32 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys,random

input=sys.stdin.readline

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

def solve_square():
    a,b=X//256,X%256
    data_conv = [[0 for j in range(256)] for i in range(1024)]
    data_bit = [[0 for j in range(8)] for i in range(1024)]
    cnt = [0 for i in range(1024)]
    for i in range(N):
        x,y = A[i]//256 , A[i]%256
        data_conv[x][y] += 1
        cnt[x] += 1
        for j in range(8):
            if not y>>j & 1:
                data_bit[x][j] += 1

    def all_sum(x,y):
        res = 0
        upper_bit = (x | y) << 8
        res += upper_bit * cnt[x] * cnt[y]
        for i in range(8):
            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) << 8

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

        return res

    def all_sum_equal(x):
        res = 0
        upper_bit = x << 8
        res += upper_bit * cnt[x] * (cnt[x] - 1) // 2
        for i in range(8):
            res += (1 << i) * (cnt[x] * (cnt[x] - 1) // 2 - (data_bit[x][i] * (data_bit[x][i] - 1) // 2))
        return res

    def convolute_equal(x):
        res = 0
        upper_bit = x << 8

        for i in range(256):
            for j in range(i):
                if i^j < b:
                    res += (upper_bit + (i | j)) * data_conv[x][i] * data_conv[x][j]

        for i in range(256):
            res += (upper_bit + i) * data_conv[x][i] * (data_conv[x][i] - 1) // 2

        return res

    ans=0

    for ia in range(32):
        for ib in range(32):
            for ja in range(ia):
                for jb in range(ib+1):
                    i,j=32*ia+ib,32*ja+jb
                    if i^j < a:
                        ans += all_sum(i,j)
                    elif i^j == a:
                        ans += convolute(i,j)
            ja=ia
            for jb in range(ib):
                i,j=32*ia+ib,32*ja+jb
                if i^j < a:
                    ans += all_sum(i,j)
                elif i^j == a:
                    ans += convolute(i,j)

    for i in range(1024):
        if 0 < a:
            ans += all_sum_equal(i)
        elif 0 == a:
            ans += convolute_equal(i)

    return ans

print(solve_square())
0