結果

問題 No.2977 Kth Xor Pair
ユーザー PNJ
提出日時 2024-12-08 16:52:25
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 715 ms / 3,000 ms
コード長 1,478 bytes
コンパイル時間 263 ms
コンパイル使用メモリ 82,384 KB
実行使用メモリ 165,084 KB
最終ジャッジ日時 2024-12-08 16:52:51
合計ジャッジ時間 24,075 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 34
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

def walsh_hadamard_transform(f):
  k = (len(f) - 1).bit_length()
  h = 1
  for _ in range(k):
    for i in range(0, len(f), h * 2):
      for j in range(i, i + h):
        f[j], f[j + h] = f[j] + f[j + h], f[j] - f[j + h]
    h *= 2
def Xor_convolution(a, b):
  f = a[:]
  g = b[:]
  k = (len(f) - 1).bit_length()
  walsh_hadamard_transform(f)
  walsh_hadamard_transform(g)
  for i in range(1 << k):
    f[i] = f[i] * g[i]
  walsh_hadamard_transform(f)
  for i in range(len(f)):
    f[i] >>= k
  return f
N, K = map(int, input().split())
A = list(map(int, input().split()))
F = [0 for i in range(1 << 20)]
for a in A:
  F[a >> 10] += 1
F = Xor_convolution(F, F)
F[0] -= N
for i in range(1 << 20):
  F[i] //= 2
  if i > 0:
    F[i] += F[i - 1]
i = 0
while F[i] < K:
  i += 1
mask = i
ans = i << 10
if i > 0:
  K -= F[i - 1]
G = [[] for i in range(1 << 20)]
for a in A:
  b = a >> 10
  G[b].append(a - (b << 10))
F = [0 for i in range(1 << 10)]
for i in range(1 << 20):
  c = min(len(G[i]), len(G[mask ^ i]))
  if c <= 100:
    for j in G[i]:
      for k in G[i ^ mask]:
        F[j ^ k] += 1
  else:
    f, g = [0 for _ in range(1 << 10)], [0 for _ in range(1 << 10)]
    for j in G[i]:
      f[j] += 1
    for k in G[i ^ mask]:
      g[k] += 1
    f = Xor_convolution(f, g)
    for j in range(1 << 10):
      F[j] += f[j]
if mask == 0:
  F[0] -= N
for i in range(1 << 10):
  F[i] //= 2
  if i > 0:
    F[i] += F[i - 1]
i = 0
while F[i] < K:
  i += 1
ans += i
print(ans)
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0