結果

問題 No.876 Range Compress Query
ユーザー maspy
提出日時 2020-03-21 04:13:01
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
AC  
実行時間 1,184 ms / 2,000 ms
コード長 2,126 bytes
コンパイル時間 261 ms
コンパイル使用メモリ 12,928 KB
実行使用メモリ 25,512 KB
最終ジャッジ日時 2024-12-16 09:06:13
合計ジャッジ時間 10,397 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 18
権限があれば一括ダウンロードができます

ソースコード

diff # 

#!/usr/bin/ python3.8
import sys
read = sys.stdin.buffer.read
readline = sys.stdin.buffer.readline
readlines = sys.stdin.buffer.readlines


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


N, Q = map(int, readline().split())
A = (0,) + tuple(map(int, readline().split())) + (0,)
add = BinaryIndexedTree([0] * (N + 2))
is_equal = [0 if x != y else 1 for x, y in zip(A, A[1:])] + [0]
is_equal_bit = BinaryIndexedTree(is_equal[:])

for query in readlines():
    if query.startswith(b'1'):
        _, L, R, x = map(int, query.split())
        add.add(L, x)
        add.add(R + 1, -x)
        for n in (L - 1, R):
            if is_equal[n]:
                is_equal[n] = 0
                is_equal_bit.add(n, -1)
            else:
                if A[n] + add.get_sum(n) == A[n + 1] + add.get_sum(n + 1):
                    is_equal[n] = 1
                    is_equal_bit.add(n, 1)
    else:
        _, L, R = map(int, query.split())
        eq_cnt = is_equal_bit.get_sum(R - 1) - is_equal_bit.get_sum(L - 1)
        print(R - L + 1 - eq_cnt)
0