結果
問題 | No.59 鉄道の旅 |
ユーザー | maspy |
提出日時 | 2020-03-17 16:22:53 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 109 ms / 5,000 ms |
コード長 | 1,788 bytes |
コンパイル時間 | 446 ms |
コンパイル使用メモリ | 82,160 KB |
実行使用メモリ | 107,776 KB |
最終ジャッジ日時 | 2024-05-08 01:16:22 |
合計ジャッジ時間 | 2,632 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 48 ms
73,600 KB |
testcase_01 | AC | 47 ms
73,216 KB |
testcase_02 | AC | 50 ms
73,472 KB |
testcase_03 | AC | 50 ms
73,344 KB |
testcase_04 | AC | 109 ms
105,344 KB |
testcase_05 | AC | 47 ms
73,984 KB |
testcase_06 | AC | 49 ms
73,856 KB |
testcase_07 | AC | 46 ms
73,856 KB |
testcase_08 | AC | 67 ms
91,264 KB |
testcase_09 | AC | 66 ms
88,064 KB |
testcase_10 | AC | 72 ms
91,904 KB |
testcase_11 | AC | 67 ms
79,488 KB |
testcase_12 | AC | 72 ms
99,584 KB |
testcase_13 | AC | 100 ms
107,776 KB |
testcase_14 | AC | 105 ms
107,136 KB |
testcase_15 | AC | 49 ms
73,728 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)