結果

問題 No.1675 Strange Minimum Query
ユーザー convexineqconvexineq
提出日時 2021-09-10 21:40:54
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 674 ms / 2,000 ms
コード長 3,840 bytes
コンパイル時間 513 ms
コンパイル使用メモリ 86,880 KB
実行使用メモリ 118,296 KB
最終ジャッジ日時 2023-09-02 16:28:48
合計ジャッジ時間 19,053 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 72 ms
71,252 KB
testcase_01 AC 71 ms
71,280 KB
testcase_02 AC 72 ms
71,560 KB
testcase_03 AC 371 ms
97,192 KB
testcase_04 AC 351 ms
98,220 KB
testcase_05 AC 167 ms
84,776 KB
testcase_06 AC 415 ms
100,368 KB
testcase_07 AC 435 ms
104,396 KB
testcase_08 AC 74 ms
71,584 KB
testcase_09 AC 100 ms
77,780 KB
testcase_10 AC 266 ms
101,292 KB
testcase_11 AC 197 ms
92,952 KB
testcase_12 AC 289 ms
102,692 KB
testcase_13 AC 405 ms
114,636 KB
testcase_14 AC 460 ms
118,228 KB
testcase_15 AC 473 ms
118,296 KB
testcase_16 AC 71 ms
71,208 KB
testcase_17 AC 263 ms
85,972 KB
testcase_18 AC 300 ms
88,252 KB
testcase_19 AC 318 ms
99,704 KB
testcase_20 AC 513 ms
106,132 KB
testcase_21 AC 463 ms
106,188 KB
testcase_22 AC 568 ms
109,884 KB
testcase_23 AC 483 ms
97,656 KB
testcase_24 AC 445 ms
100,216 KB
testcase_25 AC 382 ms
92,692 KB
testcase_26 AC 290 ms
89,932 KB
testcase_27 AC 437 ms
103,888 KB
testcase_28 AC 324 ms
96,692 KB
testcase_29 AC 266 ms
96,108 KB
testcase_30 AC 292 ms
90,728 KB
testcase_31 AC 582 ms
105,256 KB
testcase_32 AC 665 ms
115,808 KB
testcase_33 AC 674 ms
115,592 KB
testcase_34 AC 659 ms
115,448 KB
testcase_35 AC 606 ms
116,868 KB
testcase_36 AC 628 ms
115,512 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

class segment_tree_dual:
    def __init__(self, N, compose, funcval, ID_M=None):
        self.compose = compose
        self.ID_M = ID_M
        self.funcval = funcval

        self.height = (N-1).bit_length() #木の段数
        self.N0 = 1<<self.height #木の横幅 >= N
        self.laz = [self.ID_M]*(2*self.N0) #作用素の木
        self.val = None #値の配列

    #初期値の配列を作る
    def build(self,initial):
        self.val = initial[:]

    #laz[k] を子に伝える、k が一番下の場合は laz[k] を val に反映する
    def propagate(self,k):
        if self.laz[k] == self.ID_M: return;
        if self.N0 <= k:
            self.val[k-self.N0] = self.funcval(self.val[k-self.N0], self.laz[k])
            self.laz[k] = self.ID_M
        else:
            self.laz[(k<<1)  ] = self.compose(self.laz[(k<<1)  ],self.laz[k]);
            self.laz[(k<<1)+1] = self.compose(self.laz[(k<<1)+1],self.laz[k]);
            self.laz[k] = self.ID_M;
    
    # 遅延をすべて解消する
    def propagate_all(self):
        upto = self.N0 + len(self.val)
        for i in range(1,upto): self.propagate(i)

    # laz[k]およびその上に位置する作用素をすべて伝播
    def thrust(self,k):
        for i in range(self.height,-1,-1): self.propagate(k>>i)

    # 区間[l,r]に関数 f を作用
    def update(self, L,R,f):
        L += self.N0; R += self.N0+1
        """まず伝播させる（オペレータが可換なら必要ない）"""
        #登りながら関数 f を合成
        while L < R:
            if R & 1:
                R -= 1
                self.laz[R] = self.compose(self.laz[R],f)
            if L & 1:
                self.laz[L] = self.compose(self.laz[L],f)
                L += 1
            L >>= 1; R >>= 1
    
    # values[k] を取得。
    def point_get(self, k):
        res = self.val[k]
        k += self.N0
        while k:
            if self.laz[k] != self.ID_M:
                res = self.funcval(res, self.laz[k])
            k //= 2
        return res
    
    # values[k] = x 代入する
    def point_set(self, k): 
        self.thrust(k+self.N0)
        self.val[k] = x




class segment_tree:
    __slots__ = ["op_M", "e_M","N","N0","dat"]
    def __init__(self, N, operator_M, e_M):
        self.op_M = operator_M
        self.e_M = e_M
        self.N = N
        self.N0 = 1<<(N-1).bit_length()
        self.dat = [self.e_M]*(2*self.N0)
    
    # 長さNの配列 initial で初期化
    def build(self, initial):
        assert self.N == len(initial)
        self.dat[self.N0:self.N0+len(initial)] = initial[:]
        for k in range(self.N0-1,0,-1):
            self.dat[k] = self.op_M(self.dat[2*k], self.dat[2*k+1])

    # a_k の値を x に更新
    def update(self,k,x):
        k += self.N0
        self.dat[k] = x
        k >>= 1
        while k:
            self.dat[k] = self.op_M(self.dat[2*k], self.dat[2*k+1])
            k >>= 1

    # 区間[L,R]をopでまとめる
    def query(self,L,R):
        L += self.N0; R += self.N0 + 1 
        sl = sr = self.e_M
        while L < R:
            if R & 1:
                R -= 1
                sr = self.op_M(self.dat[R],sr)
            if L & 1:
                sl = self.op_M(sl,self.dat[L])
                L += 1
            L >>= 1; R >>= 1
        return self.op_M(sl,sr)

    def get(self, k): #k番目の値を取得。query[k,k]と同じ
        return self.dat[k+self.N0]
    

n,Q = map(int,input().split())
lrb = [list(map(int,input().split())) for _ in range(Q)]

seg = segment_tree_dual(n+1, max, max, ID_M=1)
seg.build([1]*(n+1))
for l,r,b in lrb:
    seg.update(l,r,b)
seg.propagate_all()
res = seg.val

seg2 = segment_tree(n+1,min,1<<30)
seg2.build(res)
for l,r,b in lrb:
    if seg2.query(l,r) != b:
        print(-1)
        exit()
print(*res[1:])
0