結果
| 問題 | No.649 ここでちょっとQK! |
| コンテスト | |
| ユーザー |
qqqq
|
| 提出日時 | 2019-07-23 18:30:13 |
| 言語 | PyPy3 (7.3.17) |
| 結果 |
AC
|
| 実行時間 | 291 ms / 3,000 ms |
| コード長 | 1,491 bytes |
| 記録 | |
| コンパイル時間 | 123 ms |
| コンパイル使用メモリ | 84,992 KB |
| 実行使用メモリ | 168,292 KB |
| 最終ジャッジ日時 | 2026-03-12 20:34:39 |
| 合計ジャッジ時間 | 6,747 ms |
|
ジャッジサーバーID (参考情報) |
judge3_0 / judge2_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 4 |
| other | AC * 32 |
ソースコード
import sys
input = sys.stdin.readline
class BIT:
def __init__(self, n):
self.n = n
self.data = [0] * (n + 1)
def ope(self, x, y):
return x + y
def update(self, i, v):
while i <= self.n:
self.data[i] = self.ope(self.data[i], v)
i += i & -i
def query(self, i):
ret = 0
while 0 < i:
ret = self.ope(self.data[i], ret)
i &= i - 1
return ret
def lowerBound(self, w):
if w <= 0: return 0
x, k = 0, 2**self.n.bit_length()
while k:
if x+k <= self.n and self.data[x+k] < w:
w -= self.data[x+k]
x += k
k >>= 1
return x + 1
def main():
q, k = map(int, input().split())
vs = set()
query = []
for i in range(q):
s = input()
if len(s) != 2:
_, v = map(int, s.split())
vs.add(v)
query.append(v)
else:
query.append(-1)
# 座圧, 1-indexed
d = {}
dd = {}
for i, j in enumerate(sorted(list(vs))):
d[j] = i+1
dd[i+1] = j
# BIT
n = len(d)
B = BIT(n)
for q in query:
if q >= 0:
p = d[q]
B.update(p, 1)
else:
if B.query(n) >= k:
a = B.lowerBound(k)
print(dd[a])
B.update(a, -1)
else:
print(-1)
if __name__ == "__main__":
main()
qqqq