結果

問題 No.1234 典型RMQ
ユーザー H3PO4H3PO4
提出日時 2022-01-23 09:31:04
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 528 ms / 2,000 ms
コード長 2,698 bytes
コンパイル時間 428 ms
コンパイル使用メモリ 87,224 KB
実行使用メモリ 94,364 KB
最終ジャッジ日時 2023-08-19 13:02:06
合計ジャッジ時間 15,162 ms
ジャッジサーバーID
(参考情報)
judge15 / judge11
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 63 ms
71,132 KB
testcase_01 AC 61 ms
71,244 KB
testcase_02 AC 64 ms
71,128 KB
testcase_03 AC 61 ms
71,240 KB
testcase_04 AC 62 ms
70,776 KB
testcase_05 AC 67 ms
71,244 KB
testcase_06 AC 528 ms
89,396 KB
testcase_07 AC 398 ms
81,600 KB
testcase_08 AC 494 ms
94,152 KB
testcase_09 AC 456 ms
84,836 KB
testcase_10 AC 447 ms
92,564 KB
testcase_11 AC 446 ms
89,492 KB
testcase_12 AC 444 ms
84,016 KB
testcase_13 AC 393 ms
81,436 KB
testcase_14 AC 429 ms
83,864 KB
testcase_15 AC 436 ms
82,776 KB
testcase_16 AC 443 ms
92,616 KB
testcase_17 AC 429 ms
83,972 KB
testcase_18 AC 381 ms
79,752 KB
testcase_19 AC 453 ms
94,128 KB
testcase_20 AC 330 ms
93,876 KB
testcase_21 AC 463 ms
89,960 KB
testcase_22 AC 424 ms
94,000 KB
testcase_23 AC 424 ms
94,364 KB
testcase_24 AC 461 ms
94,208 KB
testcase_25 AC 435 ms
94,052 KB
testcase_26 AC 419 ms
94,076 KB
testcase_27 AC 62 ms
70,996 KB
testcase_28 AC 62 ms
70,992 KB
testcase_29 AC 63 ms
71,172 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

import sys

input = sys.stdin.buffer.readline


class LazySegTree:
    """
    https://tjkendev.github.io/procon-library/python/range_query/rmq_raq_segment_tree_lp.html より拝借し、一部改変しています。
    """

    def __init__(self, N):
        # N: 処理する区間の長さ
        self.N = N
        self.LV = (self.N - 1).bit_length()
        self.N0 = 2 ** self.LV
        self.data = [10 ** 18] * (2 * self.N0)
        self.lazy = [0] * (2 * self.N0)

    # 初期化
    def initialize(self, A):
        for i in range(self.N):
            self.data[self.N0 - 1 + i] = A[i]
        for i in range(self.N0 - 2, -1, -1):
            self.data[i] = min(self.data[2 * i + 1], self.data[2 * i + 2])

    def gindex(self, l, r):
        L = (l + self.N0) >> 1
        R = (r + self.N0) >> 1
        lc = 0 if l & 1 else (L & -L).bit_length()
        rc = 0 if r & 1 else (R & -R).bit_length()
        for i in range(self.LV):
            if rc <= i:
                yield R
            if L < R and lc <= i:
                yield L
            L >>= 1
            R >>= 1

    # 遅延伝搬処理
    def propagates(self, *ids):
        for i in reversed(ids):
            v = self.lazy[i - 1]
            if not v:
                continue
            self.lazy[2 * i - 1] += v
            self.lazy[2 * i] += v
            self.data[2 * i - 1] += v
            self.data[2 * i] += v
            self.lazy[i - 1] = 0

    # 区間[l, r)にxを加算
    def update(self, l, r, x):
        *ids, = self.gindex(l, r)
        self.propagates(*ids)

        L = self.N0 + l
        R = self.N0 + r
        while L < R:
            if R & 1:
                R -= 1
                self.lazy[R - 1] += x
                self.data[R - 1] += x
            if L & 1:
                self.lazy[L - 1] += x
                self.data[L - 1] += x
                L += 1
            L >>= 1
            R >>= 1
        for i in ids:
            self.data[i - 1] = min(self.data[2 * i - 1], self.data[2 * i])

    def query(self, l, r):
        self.propagates(*self.gindex(l, r))
        L = self.N0 + l
        R = self.N0 + r

        s = 10 ** 18
        while L < R:
            if R & 1:
                R -= 1
                s = min(s, self.data[R - 1])
            if L & 1:
                s = min(s, self.data[L - 1])
                L += 1
            L >>= 1
            R >>= 1
        return s


N = int(input())
seg = LazySegTree(N)
seg.initialize(list(map(int, input().split())))
Q = int(input())

for _ in range(Q):
    k, l, r, c = map(int, input().split())
    if k == 1:
        seg.update(l - 1, r, c)
    else:
        assert k == 2
        print(seg.query(l - 1, r))
0