結果
| 問題 | No.1209 XOR Into You | 
| コンテスト | |
| ユーザー |  tktk_snsn | 
| 提出日時 | 2021-02-11 23:03:58 | 
| 言語 | PyPy3 (7.3.15) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 187 ms / 2,000 ms | 
| コード長 | 1,528 bytes | 
| コンパイル時間 | 207 ms | 
| コンパイル使用メモリ | 82,464 KB | 
| 実行使用メモリ | 135,588 KB | 
| 最終ジャッジ日時 | 2024-07-18 10:13:09 | 
| 合計ジャッジ時間 | 8,965 ms | 
| ジャッジサーバーID (参考情報) | judge3 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 4 | 
| other | AC * 37 | 
ソースコード
from collections import defaultdict
class fenwick_tree(object):
    def __init__(self, n):
        self.n = n
        self.log = n.bit_length()
        self.data = [0] * n
    def __sum(self, r):
        s = 0
        while r > 0:
            s += self.data[r - 1]
            r -= r & -r
        return s
    def add(self, p, x):
        """ a[p] += xを行う"""
        p += 1
        while p <= self.n:
            self.data[p - 1] += x
            p += p & -p
    def sum(self, l, r):
        """a[l] + a[l+1] + .. + a[r-1]を返す"""
        return self.__sum(r) - self.__sum(l)
    def lower_bound(self, x):
        """a[0] + a[1] + .. a[i] >= x となる最小のiを返す"""
        if x <= 0:
            return -1
        i = 0
        k = 1 << self.log
        while k:
            if i + k <= self.n and self.data[i + k - 1] < x:
                x -= self.data[i + k - 1]
                i += k
            k >>= 1
        return i
def main():
    N = int(input())
    A = list(map(int, input().split()))
    B = list(map(int, input().split()))
    if A[0] != B[0] or A[-1] != B[-1]:
        return -1
    A = [a ^ b for a, b in zip(A[:-1], A[1:])]
    B = [a ^ b for a, b in zip(B[:-1], B[1:])]
    btoi = defaultdict(list)
    for i, b in enumerate(B):
        btoi[b].append(i)
    ans = 0
    bit = fenwick_tree(len(A))
    for a in reversed(A):
        if not btoi[a]:
            return - 1
        i = btoi[a].pop()
        ans += bit.sum(0, i)
        bit.add(i, 1)
    return ans
print(main())
            
            
            
        