結果
| 問題 | No.618 labo-index | 
| コンテスト | |
| ユーザー |  mkawa2 | 
| 提出日時 | 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 sys
sys.setrecursionlimit(200005)
int1 = lambda x: int(x)-1
p2D = 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 = 18446744073709551615
inf = 4294967295
md = 10**9+7
# md = 998244353
class BitSum:
    def __init__(self, n):
        self.n = n+1
        self.table = [0]*self.n
    def add(self, i, x):
        i += 1
        while i < self.n:
            self.table[i] += x
            i += i & -i
    # [0,i]の和
    def sum(self, i):
        i += 1
        res = 0
        while i > 0:
            res += self.table[i]
            i -= i & -i
        return res
    # [l,r)の和
    def sumlr(self, l, r):
        if l >= r: return 0
        if l == 0: return self.sum(r-1)
        return self.sum(r-1)-self.sum(l-1)
    # 数列を度数分布とみたときに、x番目がどのインデックスにあるかを返す
    # xが大きすぎるときは配列の長さnを返す
    def rank(self, x):
        idx = 0
        for lv in range((self.n-1).bit_length()-1, -1, -1):
            mid = idx+(1 << lv)
            if mid >= self.n: continue
            if self.table[mid] < x:
                x -= self.table[mid]
                idx += 1 << lv
        return idx
q = II()
tx = LLI(q)
base = 0
xx = set()
for t, x in tx:
    if t == 1:
        xx.add(x-base)
    if t == 3:
        base += x
dec = sorted(xx, reverse=True)
enc = {a: i for i, a in enumerate(dec)}
def binary_search(l, r, ok, minimize):
    if minimize: l -= 1
    else: r += 1
    while l+1 < r:
        m = (l+r)//2
        if ok(m) ^ minimize: l = m
        else: r = m
    if minimize: return r
    return l
def ok(m):
    i = bit.rank(m)
    x = dec[i]+base
    return x >= m
base = 0
bit = BitSum(len(enc)+5)
ii = []
n = 0
for t, x in tx:
    if t == 1:
        x -= base
        i = enc[x]
        bit.add(i, 1)
        n += 1
        ii.append(i)
    if t == 2:
        i = ii[x-1]
        bit.add(i, -1)
        n -= 1
    if t == 3:
        base += x
    ans = binary_search(0, n, ok, False)
    print(ans)
            
            
            
        