結果

問題 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
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 12
権限があれば一括ダウンロードができます

ソースコード

diff # 

#!/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)
0