結果
問題 | No.618 labo-index |
ユーザー |
![]() |
提出日時 | 2021-12-05 10:27:44 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 649 ms / 6,000 ms |
コード長 | 2,470 bytes |
コンパイル時間 | 137 ms |
コンパイル使用メモリ | 82,604 KB |
実行使用メモリ | 122,008 KB |
最終ジャッジ日時 | 2024-07-07 07:04:11 |
合計ジャッジ時間 | 12,727 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 35 |
ソースコード
import syssys.setrecursionlimit(200005)int1 = lambda x: int(x)-1p2D = lambda x: print(*x, sep="\n")def II(): return int(sys.stdin.readline())def LI(): return list(map(int, sys.stdin.readline().split()))def LLI(rows_number): return [LI() for _ in range(rows_number)]def LI1(): return list(map(int1, sys.stdin.readline().split()))def LLI1(rows_number): return [LI1() for _ in range(rows_number)]def SI(): return sys.stdin.readline().rstrip()dij = [(0, 1), (-1, 0), (0, -1), (1, 0)]# dij = [(0, 1), (-1, 0), (0, -1), (1, 0), (1, 1), (1, -1), (-1, 1), (-1, -1)]# inf = 18446744073709551615inf = 4294967295md = 10**9+7# md = 998244353class BitSum:def __init__(self, n):self.n = n+1self.table = [0]*self.ndef add(self, i, x):i += 1while i < self.n:self.table[i] += xi += i & -i# [0,i]の和def sum(self, i):i += 1res = 0while i > 0:res += self.table[i]i -= i & -ireturn res# [l,r)の和def sumlr(self, l, r):if l >= r: return 0if l == 0: return self.sum(r-1)return self.sum(r-1)-self.sum(l-1)# 数列を度数分布とみたときに、x番目がどのインデックスにあるかを返す# xが大きすぎるときは配列の長さnを返すdef rank(self, x):idx = 0for lv in range((self.n-1).bit_length()-1, -1, -1):mid = idx+(1 << lv)if mid >= self.n: continueif self.table[mid] < x:x -= self.table[mid]idx += 1 << lvreturn idxq = II()tx = LLI(q)base = 0xx = set()for t, x in tx:if t == 1:xx.add(x-base)if t == 3:base += xdec = sorted(xx, reverse=True)enc = {a: i for i, a in enumerate(dec)}def binary_search(l, r, ok, minimize):if minimize: l -= 1else: r += 1while l+1 < r:m = (l+r)//2if ok(m) ^ minimize: l = melse: r = mif minimize: return rreturn ldef ok(m):i = bit.rank(m)x = dec[i]+basereturn x >= mbase = 0bit = BitSum(len(enc)+5)ii = []n = 0for t, x in tx:if t == 1:x -= basei = enc[x]bit.add(i, 1)n += 1ii.append(i)if t == 2:i = ii[x-1]bit.add(i, -1)n -= 1if t == 3:base += xans = binary_search(0, n, ok, False)print(ans)