結果
| 問題 | No.59 鉄道の旅 | 
| コンテスト | |
| ユーザー |  convexineq | 
| 提出日時 | 2020-12-06 05:13:58 | 
| 言語 | PyPy3 (7.3.15) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 147 ms / 5,000 ms | 
| コード長 | 1,101 bytes | 
| コンパイル時間 | 122 ms | 
| コンパイル使用メモリ | 82,528 KB | 
| 実行使用メモリ | 92,540 KB | 
| 最終ジャッジ日時 | 2024-09-17 04:46:24 | 
| 合計ジャッジ時間 | 2,249 ms | 
| ジャッジサーバーID (参考情報) | judge3 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 4 | 
| other | AC * 12 | 
ソースコード
class BIT: #0-indexed
    __slots__ = ["size", "tree","depth","n0"]
    def __init__(self, n):
        self.size = n
        self.tree = [0]*(n+1)
        self.depth = n.bit_length()
        self.n0 = 1<<self.depth
    def get_sum(self, i): #a_0 + ... + a_{i} #閉区間
        s = 0; i += 1
        while i > 0:
            s += self.tree[i]
            i -= i & -i
        return s
    def range_sum(self,l,r): #a_l + ... + a_r 閉区間
        return self.get_sum(r) - self.get_sum(l-1) 
    def add(self, i, x):
        i += 1
        while i <= self.size:
            self.tree[i] += x
            i += i & -i
    def range_sum_larger(self,l): #a_l + ... (端まで)
        return self.get_sum(self.size-1) - (self.get_sum(l-1) if l else 0)
        
n,k = map(int,input().split())
bit = BIT(10**6+1)
num = [0]*(10**6+1)
for _ in range(n):
    w = int(input())
    if w < 0:
        w = -w
        if num[w]:
            num[w] -= 1
            bit.add(w,-1)
    else:
        if bit.range_sum_larger(w) < k:
            num[w] += 1
            bit.add(w,1)
print(bit.range_sum_larger(0))
            
            
            
        