結果
問題 | No.59 鉄道の旅 |
ユーザー | maspy |
提出日時 | 2020-03-17 16:22:53 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 111 ms / 5,000 ms |
コード長 | 1,788 bytes |
コンパイル時間 | 299 ms |
コンパイル使用メモリ | 82,372 KB |
実行使用メモリ | 107,480 KB |
最終ジャッジ日時 | 2024-11-30 22:46:14 |
合計ジャッジ時間 | 2,457 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 53 ms
74,388 KB |
testcase_01 | AC | 51 ms
74,148 KB |
testcase_02 | AC | 54 ms
74,452 KB |
testcase_03 | AC | 53 ms
74,380 KB |
testcase_04 | AC | 111 ms
105,500 KB |
testcase_05 | AC | 50 ms
74,144 KB |
testcase_06 | AC | 56 ms
75,080 KB |
testcase_07 | AC | 51 ms
75,056 KB |
testcase_08 | AC | 73 ms
91,180 KB |
testcase_09 | AC | 74 ms
89,480 KB |
testcase_10 | AC | 78 ms
91,572 KB |
testcase_11 | AC | 61 ms
80,524 KB |
testcase_12 | AC | 80 ms
99,284 KB |
testcase_13 | AC | 107 ms
107,480 KB |
testcase_14 | AC | 108 ms
107,268 KB |
testcase_15 | AC | 49 ms
74,796 KB |
ソースコード
#!/usr/bin/env python3.8 # %% import sys read = sys.stdin.buffer.read readline = sys.stdin.buffer.readline readlines = sys.stdin.buffer.readlines # %% # import numpy as np # from numba import njit # %% class BinaryIndexedTree(): def __init__(self, seq): self.size = len(seq) self.depth = self.size.bit_length() self.build(seq) def build(self, seq): data = seq size = self.size for i, x in enumerate(data): j = i + (i & (-i)) if j < size: data[j] += data[i] self.data = data def __repr__(self): return self.data.__repr__() def get_sum(self, i): data = self.data s = 0 while i: s += data[i] i -= i & -i return s def add(self, i, x): data = self.data size = self.size while i < size: data[i] += x i += i & -i def find_kth_element(self, k): data = self.data; size = self.size x, sx = 0, 0 dx = 1 << (self.depth) for i in range(self.depth - 1, -1, -1): dx = (1 << i) if x + dx >= size: continue y = x + dx sy = sx + data[y] if sy < k: x, sx = y, sy return x + 1 # %% U = 10 ** 6 + 10 N, K, *W = map(int, read().split()) bit = BinaryIndexedTree([0] * U) data_raw = [0] * U total = 0 for w in W: if w < 0: w = -w if not data_raw[w]: continue data_raw[w] -= 1 total -= 1 bit.add(w, -1) else: smaller = bit.get_sum(w - 1) if total - smaller >= K: continue data_raw[w] += 1 bit.add(w, 1) total += 1 print(total)