結果

問題 No.1234 典型RMQ
ユーザー tpynerivertpyneriver
提出日時 2020-09-19 04:25:00
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 400 ms / 2,000 ms
コード長 3,437 bytes
コンパイル時間 329 ms
コンパイル使用メモリ 82,344 KB
実行使用メモリ 100,352 KB
最終ジャッジ日時 2024-04-26 11:23:24
合計ジャッジ時間 10,132 ms
ジャッジサーバーID
(参考情報)
judge5 / judge1
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 42 ms
53,376 KB
testcase_01 AC 42 ms
53,376 KB
testcase_02 AC 42 ms
53,120 KB
testcase_03 AC 43 ms
52,992 KB
testcase_04 AC 44 ms
53,504 KB
testcase_05 AC 42 ms
53,120 KB
testcase_06 AC 374 ms
94,848 KB
testcase_07 AC 332 ms
84,336 KB
testcase_08 AC 384 ms
99,840 KB
testcase_09 AC 361 ms
87,308 KB
testcase_10 AC 376 ms
97,536 KB
testcase_11 AC 400 ms
94,720 KB
testcase_12 AC 365 ms
87,120 KB
testcase_13 AC 336 ms
84,332 KB
testcase_14 AC 350 ms
86,340 KB
testcase_15 AC 357 ms
86,336 KB
testcase_16 AC 390 ms
97,536 KB
testcase_17 AC 369 ms
86,028 KB
testcase_18 AC 314 ms
84,656 KB
testcase_19 AC 376 ms
99,968 KB
testcase_20 AC 253 ms
99,584 KB
testcase_21 AC 364 ms
95,104 KB
testcase_22 AC 343 ms
100,352 KB
testcase_23 AC 344 ms
99,712 KB
testcase_24 AC 344 ms
99,584 KB
testcase_25 AC 338 ms
100,096 KB
testcase_26 AC 344 ms
99,840 KB
testcase_27 AC 42 ms
52,992 KB
testcase_28 AC 41 ms
52,992 KB
testcase_29 AC 41 ms
53,120 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

import sys
readline = sys.stdin.readline
from operator import add
class Lazysegtree:
    def __init__(self, A, fx, ex, fm, em, fa, initialize = True):
        #fa(operator, idx)の形にしている、data[idx]の長さに依存する場合などのため
        self.N = len(A)
        self.N0 = 2**(self.N-1).bit_length()

        self.fx = fx
        self.fm = fm

        self.ex = ex
        self.em = em
        self.lazy = [em]*(2*self.N0)
        if initialize:
            self.data = [self.ex]*self.N0 + A + [self.ex]*(self.N0 - self.N)
            for i in range(self.N0-1, -1, -1):
                self.data[i] = self.fx(self.data[2*i], self.data[2*i+1]) 
        else:
            self.data = [self.ex]*(2*self.N0)        
    
    def fa(self, ope, idx):
        return ope + self.data[idx]
    
    def __repr__(self):
        s = 'data'
        l = 'lazy'
        cnt = 1
        for i in range(self.N0.bit_length()):
            s = '\n'.join((s, ' '.join(map(str, self.data[cnt:cnt+(1<<i)]))))
            l = '\n'.join((l, ' '.join(map(str, self.lazy[cnt:cnt+(1<<i)]))))
            cnt += 1<<i
        return '\n'.join((s, l))
    
    def _ascend(self, k):
        k = k >> 1
        c = k.bit_length()
        for j in range(c):
            idx = k >> j
            self.data[idx] = self.fx(self.data[2*idx], self.data[2*idx+1])
            
    def _descend(self, k):
        k = k >> 1
        idx = 1
        c = k.bit_length()
        for j in range(1, c+1):
            idx = k >> (c - j)
            if self.lazy[idx] == self.em:
                continue
            self.data[2*idx] = self.fa(self.lazy[idx], 2*idx) 
            self.data[2*idx+1] = self.fa(self.lazy[idx], 2*idx+1)
            self.lazy[2*idx] = self.fm(self.lazy[idx], self.lazy[2*idx])
            self.lazy[2*idx+1] = self.fm(self.lazy[idx], self.lazy[2*idx+1])
            self.lazy[idx] = self.em
            
            
    def query(self, l, r):
        L = l+self.N0
        R = r+self.N0
        self._descend(L//(L & -L))
        self._descend(R//(R & -R)-1)
        
        sl = self.ex
        sr = self.ex                                                                   

        while L < R:
            if R & 1:
                R -= 1
                sr = self.fx(self.data[R], sr)
            if L & 1:
                sl = self.fx(sl, self.data[L])
                L += 1
            L >>= 1
            R >>= 1
        return self.fx(sl, sr)
    
    def operate(self, l, r, x):
        L = l+self.N0
        R = r+self.N0

        Li = L//(L & -L)
        Ri = R//(R & -R)
        self._descend(Li)
        self._descend(Ri-1)
        
        while L < R :
            if R & 1:
                R -= 1
                self.data[R] = self.fa(x, R)
                self.lazy[R] = self.fm(x, self.lazy[R])
            if L & 1:
                self.data[L] = self.fa(x, L)
                self.lazy[L] = self.fm(x, self.lazy[L])
                L += 1
            L >>= 1
            R >>= 1
        
        self._ascend(Li)
        self._ascend(Ri-1)

N = int(readline())
A = list(map(int, readline().split()))
INF = 10**18+3
T = Lazysegtree(A, min, INF, add, 0, None, initialize = True)

Ans = []
Q = int(readline())
for _ in range(Q):
    k, l, r, c = map(int, readline().split())
    if k == 1:
        T.operate(l-1, r, c)
    else:
        Ans.append(T.query(l-1, r))
        

print('\n'.join(map(str, Ans)))
0