結果

問題 No.1234 典型RMQ
ユーザー tamatotamato
提出日時 2020-09-19 14:13:48
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 485 ms / 2,000 ms
コード長 3,461 bytes
コンパイル時間 343 ms
コンパイル使用メモリ 82,628 KB
実行使用メモリ 100,096 KB
最終ジャッジ日時 2024-11-09 02:10:52
合計ジャッジ時間 12,055 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 42 ms
53,248 KB
testcase_01 AC 40 ms
53,120 KB
testcase_02 AC 42 ms
52,736 KB
testcase_03 AC 41 ms
52,608 KB
testcase_04 AC 43 ms
52,608 KB
testcase_05 AC 44 ms
52,608 KB
testcase_06 AC 464 ms
94,592 KB
testcase_07 AC 409 ms
80,200 KB
testcase_08 AC 469 ms
99,324 KB
testcase_09 AC 458 ms
86,376 KB
testcase_10 AC 470 ms
97,792 KB
testcase_11 AC 464 ms
94,576 KB
testcase_12 AC 444 ms
86,116 KB
testcase_13 AC 414 ms
80,228 KB
testcase_14 AC 440 ms
86,272 KB
testcase_15 AC 436 ms
84,096 KB
testcase_16 AC 466 ms
97,536 KB
testcase_17 AC 447 ms
85,564 KB
testcase_18 AC 397 ms
79,760 KB
testcase_19 AC 469 ms
99,072 KB
testcase_20 AC 271 ms
98,796 KB
testcase_21 AC 456 ms
94,592 KB
testcase_22 AC 470 ms
99,920 KB
testcase_23 AC 440 ms
99,456 KB
testcase_24 AC 485 ms
99,596 KB
testcase_25 AC 427 ms
100,096 KB
testcase_26 AC 433 ms
99,332 KB
testcase_27 AC 40 ms
52,480 KB
testcase_28 AC 42 ms
52,992 KB
testcase_29 AC 42 ms
52,736 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

mod = 1000000007
eps = 10**-9


def main():
    import sys
    input = sys.stdin.buffer.readline

    def op(a, b):
        return min(a, b)

    e = 1 << 60

    def mapping(a, x):
        return a + x

    def composition(x, y):
        return x + y

    id = 0

    class LazySegTree:
        # Range update query
        def __init__(self, A, op=op, e=e, mapping=mapping, composition=composition, id=id, initialize=True):
            self.N = len(A)
            self.LV = (self.N - 1).bit_length()
            self.N0 = 1 << self.LV
            self.op = op
            self.e = e
            self.mapping = mapping
            self.composition = composition
            self.id = id
            if initialize:
                self.data = [self.e] * self.N0 + A + [self.e] * (self.N0 - self.N)
                for i in range(self.N0 - 1, 0, -1):
                    self.data[i] = op(self.data[i * 2], self.data[i * 2 + 1])
            else:
                self.data = [self.e] * (self.N0 * 2)
            self.lazy = [id] * (self.N0 * 2)

        def _ascend(self, i):
            for _ in range(i.bit_length() - 1):
                i >>= 1
                self.data[i] = self.op(self.data[i * 2], self.data[i * 2 + 1])

        def _descend(self, idx):
            lv = idx.bit_length()
            for j in range(lv - 1, 0, -1):
                i = idx >> j
                x = self.lazy[i]
                if x == self.id:
                    continue
                self.lazy[i * 2] = self.composition(self.lazy[i * 2], x)
                self.lazy[i * 2 + 1] = self.composition(self.lazy[i * 2 + 1], x)
                self.lazy[i] = self.id
                self.data[i * 2] = self.mapping(self.data[i * 2], x)
                self.data[i * 2 + 1] = self.mapping(self.data[i * 2 + 1], x)

        # open interval [l, r)
        def apply(self, l, r, x):
            l += self.N0 - 1
            r += self.N0 - 1
            self._descend(l // (l & -l))
            self._descend(r // (r & -r) - 1)
            l_ori = l
            r_ori = r
            while l < r:
                if l & 1:
                    self.data[l] = self.mapping(self.data[l], x)
                    self.lazy[l] = self.composition(self.lazy[l], x)
                    l += 1
                if r & 1:
                    r -= 1
                    self.data[r] = self.mapping(self.data[r], x)
                    self.lazy[r] = self.composition(self.lazy[r], x)
                l >>= 1
                r >>= 1
            self._ascend(l_ori // (l_ori & -l_ori))
            self._ascend(r_ori // (r_ori & -r_ori) - 1)

        # open interval [l, r)
        def query(self, l, r):
            l += self.N0 - 1
            r += self.N0 - 1
            self._descend(l // (l & -l))
            self._descend(r // (r & -r) - 1)
            ret = self.e
            while l < r:
                if l & 1:
                    ret = self.op(ret, self.data[l])
                    l += 1
                if r & 1:
                    ret = self.op(self.data[r - 1], ret)
                    r -= 1
                l >>= 1
                r >>= 1
            return ret

    N = int(input())
    A = list(map(int, input().split()))
    ST = LazySegTree(A)
    for q in range(int(input())):
        k, l, r, c = map(int, input().split())
        if k == 1:
            ST.apply(l, r+1, c)
        else:
            print(ST.query(l, r+1))


if __name__ == '__main__':
    main()
0