結果

問題 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