結果
問題 | No.59 鉄道の旅 |
ユーザー |
![]() |
提出日時 | 2021-11-01 02:53:50 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 177 ms / 5,000 ms |
コード長 | 1,687 bytes |
コンパイル時間 | 350 ms |
コンパイル使用メモリ | 82,764 KB |
実行使用メモリ | 108,304 KB |
最終ジャッジ日時 | 2024-10-09 13:25:11 |
合計ジャッジ時間 | 2,571 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 12 |
ソースコード
class BIT:def __init__(self, n):self.n = nself.bit = [0]*(self.n+1) # 1-indexeddef init(self, init_val):for i, v in enumerate(init_val):self.add(i, v)def add(self, i, x):# i: 0-indexedi += 1 # to 1-indexedwhile i <= self.n:self.bit[i] += xi += (i & -i)def sum(self, i, j):# return sum of [i, j)# i, j: 0-indexedreturn self._sum(j) - self._sum(i)def _sum(self, i):# return sum of [0, i)# i: 0-indexedres = 0while i > 0:res += self.bit[i]i -= i & (-i)return resdef lower_bound(self, x):s = 0pos = 0depth = self.n.bit_length()v = 1 << depthfor i in range(depth, -1, -1):k = pos + vif k <= self.n and s + self.bit[k] < x:s += self.bit[k]pos += vv >>= 1return posdef __str__(self): # for debugarr = [self.sum(i,i+1) for i in range(self.n)]return str(arr)import sysimport io, osinput = io.BytesIO(os.read(0,os.fstat(0).st_size)).readlinen, k = map(int, input().split())W = [int(input()) for i in range(n)]X = [abs(w) for w in W]X = set(X)X = list(X)X.sort()toid = {}for i, x in enumerate(X):toid[x] = iN = len(toid)bit = BIT(N+1)for w in W:if w > 0:w = toid[w]if bit.sum(w, bit.n) >= k:continueelse:bit.add(w, 1)else:w = toid[-w]if bit.sum(w, w+1) >= 1:bit.add(w, -1)print(bit.sum(0, bit.n))