結果

問題 No.1240 Or Sum of Xor Pair
ユーザー tamatotamato
提出日時 2020-09-25 23:19:29
言語 PyPy3
(7.3.15)
結果
TLE  
実行時間 -
コード長 3,744 bytes
コンパイル時間 716 ms
コンパイル使用メモリ 87,172 KB
実行使用メモリ 281,056 KB
最終ジャッジ日時 2023-09-10 16:18:49
合計ジャッジ時間 11,398 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge11
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 114 ms
96,340 KB
testcase_01 AC 114 ms
89,112 KB
testcase_02 AC 125 ms
89,556 KB
testcase_03 AC 256 ms
98,248 KB
testcase_04 AC 261 ms
99,016 KB
testcase_05 AC 241 ms
97,000 KB
testcase_06 AC 228 ms
95,248 KB
testcase_07 AC 221 ms
93,640 KB
testcase_08 AC 222 ms
93,596 KB
testcase_09 AC 243 ms
96,216 KB
testcase_10 AC 662 ms
141,016 KB
testcase_11 AC 705 ms
151,460 KB
testcase_12 AC 1,114 ms
186,736 KB
testcase_13 AC 969 ms
173,136 KB
testcase_14 AC 1,071 ms
187,276 KB
testcase_15 TLE -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
testcase_28 -- -
testcase_29 -- -
testcase_30 -- -
testcase_31 -- -
testcase_32 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

mod = 1000000007
eps = 10**-9


def main():
    import sys
    from collections import Counter
    input = sys.stdin.readline

    def plus(a, b):
        return a+b

    def f(A, B):
        return [a + b for a, b in zip(A, B)]
    ident = (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)

    class SegmentTree:
        def __init__(self, A, initialize=True, segfunc=f, ident=ident):
            self.N = len(A)
            self.LV = (self.N - 1).bit_length()
            self.N0 = 1 << self.LV
            self.segfunc = segfunc
            self.ident = ident
            if initialize:
                self.data = [self.ident] * self.N0 + A + [self.ident] * (self.N0 - self.N)
                for i in range(self.N0 - 1, 0, -1):
                    self.data[i] = segfunc(self.data[i * 2], self.data[i * 2 + 1])
            else:
                self.data = [self.ident] * (self.N0 * 2)

        def update(self, i, x):
            i += self.N0 - 1
            self.data[i] = x
            for _ in range(self.LV):
                i >>= 1
                self.data[i] = self.segfunc(self.data[i * 2], self.data[i * 2 + 1])

        # open interval [l, r)
        def query(self, l, r):
            l += self.N0 - 1
            r += self.N0 - 1
            ret_l = self.ident
            ret_r = self.ident
            while l < r:
                if l & 1:
                    ret_l = self.segfunc(ret_l, self.data[l])
                    l += 1
                if r & 1:
                    ret_r = self.segfunc(self.data[r - 1], ret_r)
                    r -= 1
                l >>= 1
                r >>= 1
            return self.segfunc(ret_l, ret_r)

        # return smallest i(l <= i < r) s.t. check(A[i]) == True
        def binsearch(self, l, r, check):
            if not check(self.query(l, r)):
                return r
            l += self.N0 - 1
            val = self.ident
            while True:
                if check(self.segfunc(val, self.data[l])):
                    break
                if l & 1:
                    val = self.segfunc(val, self.data[l])
                    l += 1
                l >>= 1
            while l < self.N0:
                newval = self.segfunc(val, self.data[l * 2])
                if not check(newval):
                    val = newval
                    l = (l << 1) + 1
                else:
                    l <<= 1
            return l - self.N0 + 1

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

    NN = 2**18
    ST = SegmentTree([ident for _ in range(NN)], initialize=False)
    ST_cnt = SegmentTree([0] * NN, initialize=False, segfunc=plus, ident=0)
    C = Counter(A)
    for a in C:
        tmp = [0] * 18
        for i in range(18):
            tmp[i] = (1 - (a >> i & 1)) * C[a]
        ST.update(a+1, tuple(tmp))
        ST_cnt.update(a+1, C[a])
    ans = 0
    if X == 2**18:
        assert False
    for a in A:
        zero_bit = []
        for i in range(18):
            if not a >> i & 1:
                zero_bit.append(i)
        current_node = 1
        for i in range(17, -1, -1):
            x = X >> i & 1
            aa = a >> i & 1
            if x == 1:
                y = aa
                small_node = current_node * 2 + y
                ans += (NN-1) * ST_cnt.data[small_node]
                num = ST.data[small_node]
                for j in zero_bit:
                    ans -= (1 << j) * num[j]
                current_node = current_node * 2 + (1 - y)
            else:
                current_node = current_node * 2 + aa
            #if a == 1:
            #    print(ST.data[current_node])
        ans -= a
        #print(a, ans)
    print(ans // 2)


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