結果

問題 No.184 たのしい排他的論理和(HARD)
ユーザー 草苺奶昔草苺奶昔
提出日時 2023-03-15 14:14:32
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 220 ms / 5,000 ms
コード長 2,268 bytes
コンパイル時間 336 ms
コンパイル使用メモリ 81,900 KB
実行使用メモリ 97,456 KB
最終ジャッジ日時 2024-09-18 08:44:27
合計ジャッジ時間 7,421 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 60 ms
67,504 KB
testcase_01 AC 61 ms
66,724 KB
testcase_02 AC 60 ms
67,364 KB
testcase_03 AC 59 ms
67,460 KB
testcase_04 AC 55 ms
68,604 KB
testcase_05 AC 55 ms
68,064 KB
testcase_06 AC 54 ms
67,316 KB
testcase_07 AC 54 ms
67,524 KB
testcase_08 AC 166 ms
89,856 KB
testcase_09 AC 91 ms
79,132 KB
testcase_10 AC 145 ms
85,468 KB
testcase_11 AC 132 ms
84,260 KB
testcase_12 AC 180 ms
93,904 KB
testcase_13 AC 186 ms
94,892 KB
testcase_14 AC 135 ms
85,064 KB
testcase_15 AC 198 ms
97,284 KB
testcase_16 AC 178 ms
92,420 KB
testcase_17 AC 188 ms
94,256 KB
testcase_18 AC 62 ms
70,316 KB
testcase_19 AC 58 ms
66,788 KB
testcase_20 AC 92 ms
90,360 KB
testcase_21 AC 205 ms
97,080 KB
testcase_22 AC 210 ms
97,456 KB
testcase_23 AC 62 ms
70,612 KB
testcase_24 AC 59 ms
69,232 KB
testcase_25 AC 68 ms
70,372 KB
testcase_26 AC 63 ms
68,032 KB
testcase_27 AC 66 ms
69,212 KB
testcase_28 AC 154 ms
86,620 KB
testcase_29 AC 188 ms
94,032 KB
testcase_30 AC 178 ms
91,136 KB
testcase_31 AC 158 ms
88,424 KB
testcase_32 AC 188 ms
92,640 KB
testcase_33 AC 208 ms
96,928 KB
testcase_34 AC 207 ms
96,860 KB
testcase_35 AC 205 ms
97,012 KB
testcase_36 AC 220 ms
97,384 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

from collections import defaultdict
from typing import List


class LinearBase:
    __slots__ = ("bases", "_rows", "_bit")

    @staticmethod
    def fromlist(nums: List[int]) -> "LinearBase":
        res = LinearBase(bit=max(nums, default=0).bit_length())
        for x in nums:
            res.add(x)
        res.build()
        return res

    def __init__(self, bit=62):
        self.bases = []  # 基底
        self._rows = defaultdict(int)  # 高斯消元的行
        self._bit = bit  # 最大数的位数

    def add(self, x: int) -> bool:
        """插入一个向量,如果插入成功返回True,否则返回False"""
        x = self._normalize(x)
        if x == 0:
            return False
        i = x.bit_length() - 1
        for j in range(self._bit):
            if (self._rows[j] >> i) & 1:
                self._rows[j] ^= x
        self._rows[i] = x
        return True

    def build(self) -> None:
        res = []
        for _, v in sorted(self._rows.items()):
            if v > 0:
                res.append(v)
        self.bases = res

    def kthXor(self, k: int) -> int:
        """子序列(子集,包含空集)第k小的异或 1<=k<=2**len(self.bases)"""
        assert 1 <= k <= 2 ** len(self.bases)
        k -= 1
        res = 0
        for i in range(k.bit_length()):
            if (k >> i) & 1:
                res ^= self.bases[i]
        return res

    def maxXor(self) -> int:
        return self.kthXor(2 ** len(self.bases))

    def _normalize(self, x: int) -> int:
        for i in range(x.bit_length() - 1, -1, -1):
            if (x >> i) & 1:
                x ^= self._rows[i]
        return x

    def __len__(self) -> int:
        return len(self.bases)

    def __contains__(self, x: int) -> bool:
        """x是否能由线性基表出"""
        if x == 0:
            return True
        bases = []
        for k in range(self._bit - 1, -1, -1):
            curX = x
            if self._rows[k] != 0:
                bases.append(self._rows[k])
                for b in bases:
                    curX = min(curX, curX ^ b)
                if curX == 0:
                    return True
        return False


n = int(input())
nums = list(map(int, input().split()))
print(2 ** len(LinearBase.fromlist(nums)))
0