結果
| 問題 | No.618 labo-index | 
| コンテスト | |
| ユーザー |  lam6er | 
| 提出日時 | 2025-04-15 22:48:53 | 
| 言語 | PyPy3 (7.3.15) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 953 ms / 6,000 ms | 
| コード長 | 1,479 bytes | 
| コンパイル時間 | 199 ms | 
| コンパイル使用メモリ | 82,104 KB | 
| 実行使用メモリ | 109,720 KB | 
| 最終ジャッジ日時 | 2025-04-15 22:51:00 | 
| 合計ジャッジ時間 | 10,035 ms | 
| ジャッジサーバーID (参考情報) | judge5 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 4 | 
| other | AC * 35 | 
ソースコード
import bisect
def main():
    import sys
    input = sys.stdin.read
    data = input().split()
    idx = 0
    Q = int(data[idx])
    idx += 1
    
    current_add = 0
    insertion_order = []
    sorted_values = []
    active = []
    
    for _ in range(Q):
        t = int(data[idx])
        x = int(data[idx+1])
        idx += 2
        
        if t == 1:
            stored_value = x - current_add
            insertion_order.append(stored_value)
            bisect.insort(sorted_values, stored_value)
            active.append(True)
        elif t == 2:
            pos = x - 1
            stored_value = insertion_order[pos]
            index = bisect.bisect_left(sorted_values, stored_value)
            if index < len(sorted_values) and sorted_values[index] == stored_value:
                del sorted_values[index]
            active[pos] = False
        elif t == 3:
            current_add += x
        
        m = len(sorted_values)
        low = 0
        high = m
        ans = 0
        while low <= high:
            mid = (low + high) // 2
            if mid == 0:
                ans = max(ans, 0)
                low = mid + 1
                continue
            required = mid - current_add
            cnt = m - bisect.bisect_left(sorted_values, required)
            if cnt >= mid:
                ans = mid
                low = mid + 1
            else:
                high = mid - 1
        print(max(ans, 0))
if __name__ == "__main__":
    main()
            
            
            
        