結果

問題 No.230 Splarraay ｽﾌﾟﾗﾚｪｰｲ
ユーザー convexineqconvexineq
提出日時 2020-12-29 09:18:46
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 522 ms / 5,000 ms
コード長 6,217 bytes
コンパイル時間 462 ms
コンパイル使用メモリ 82,292 KB
実行使用メモリ 85,448 KB
最終ジャッジ日時 2024-10-05 02:03:57
合計ジャッジ時間 6,823 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 38 ms
54,112 KB
testcase_01 AC 35 ms
55,264 KB
testcase_02 AC 35 ms
54,072 KB
testcase_03 AC 35 ms
54,700 KB
testcase_04 AC 35 ms
54,984 KB
testcase_05 AC 131 ms
77,216 KB
testcase_06 AC 220 ms
79,376 KB
testcase_07 AC 144 ms
76,968 KB
testcase_08 AC 219 ms
79,716 KB
testcase_09 AC 363 ms
82,724 KB
testcase_10 AC 370 ms
79,800 KB
testcase_11 AC 285 ms
80,400 KB
testcase_12 AC 344 ms
82,088 KB
testcase_13 AC 228 ms
79,188 KB
testcase_14 AC 201 ms
84,016 KB
testcase_15 AC 416 ms
85,448 KB
testcase_16 AC 420 ms
84,324 KB
testcase_17 AC 522 ms
85,248 KB
testcase_18 AC 346 ms
84,480 KB
testcase_19 AC 393 ms
85,204 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

class LazySegmentTree:
    def __init__(self, op_X, e_X, mapping, compose, id_M, N, array=None):
        __slots__ = ["op_X","e_X","mapping","compose","id_M","N","log","N0","data","lazy"]
        #  それぞれ Xの演算、単位元、f(x),  f\circ g, Xの恒等変換
        self.e_X = e_X; self.op_X = op_X; self.mapping = mapping; self.compose = compose; self.id_M = id_M
        self.N = N
        self.log = (N-1).bit_length()
        self.N0 = 1<<self.log
        self.data = [e_X]*(2*self.N0)
        self.lazy = [id_M]*self.N0
        if array is not None:
            assert N == len(array)
            self.data[self.N0:self.N0+self.N] = array
            for i in range(self.N0-1,0,-1): self.update(i)

    # 1点更新
    def point_set(self, p, x):
        p += self.N0
        for i in range(self.log, 0,-1):
            self.push(p>>i)
        self.data[p] = x
        for i in range(1, self.log + 1):
            self.update(p>>i)
 
    # 1点取得
    def point_get(self, p):
        p += self.N0
        for i in range(self.log, 0, -1):
            self.push(p>>i)
        return self.data[p]
 
    # 半開区間[L,R)をopでまとめる
    def prod(self, l, r):
        if l == r: return self.e_X
        l += self.N0
        r += self.N0
        for i in range(self.log, 0, -1):
            if (l>>i)<<i != l:
                self.push(l>>i)
            if (r>>i)<<i != r:
                self.push(r>>i)

        sml = smr = self.e_X
        while l < r:
            if l & 1: 
                sml = self.op_X(sml, self.data[l])
                l += 1
            if r & 1:
                r -= 1
                smr = self.op_X(self.data[r], smr)
            l >>= 1
            r >>= 1
        return self.op_X(sml, smr)
 
    # 全体をopでまとめる
    def all_prod(self): return self.data[1]
 
    # 1点作用
    def apply(self, p, f):
        p += self.N0
        for i in range(self.log, 0, -1):
            self.push(p>>i)
        self.data[p] = self.mapping(f, self.data[p])
        for i in range(1, self.log + 1):
            self.update(p>>i)
 
    # 区間作用
    def apply(self, l, r, f):
        if l == r: return
        l += self.N0
        r += self.N0
        for i in range(self.log, 0, -1):
            if (l>>i)<<i != l:
                self.push(l>>i)
            if (r>>i)<<i != r:
                self.push((r-1)>>i)

        l2, r2 = l, r
        while l < r:
            if l & 1: 
                self.all_apply(l, f)
                l += 1
            if r & 1:
                r -= 1
                self.all_apply(r, f)
            l >>= 1
            r >>= 1

        l, r = l2, r2
        for i in range(1, self.log + 1):
            if (l>>i)<<i != l:
                self.update(l>>i)
            if (r>>i)<<i != r:
                self.update((r-1)>>i)
     
    """
    始点 l を固定
    f(x_l*...*x_{r-1}) が True になる最大の r 
    つまり TTTTFFFF となるとき、F となる最小の添え字
    存在しない場合 n が返る
    f(e_M) = True でないと壊れる
    """
    def max_right(self, l, g):
        if l == self.N: return self.N
        l += self.N0
        for i in range(self.log, 0, -1): self.push(l>>i)
        sm = self.e_X
        while True:
            while l&1 == 0:
                l >>= 1
            if not g(self.op_X(sm, self.data[l])):
                while l < self.N0:
                    self.push(l)
                    l *= 2
                    if g(self.op_X(sm, self.data[l])):
                        sm = self.op_X(sm, self.data[l])
                        l += 1
                return l - self.N0
            sm = self.op_X(sm, self.data[l])
            l += 1
            if l&-l == l: break
        return self.N
 
    """
    終点 r を固定
    f(x_l*...*x_{r-1}) が True になる最小の l
    つまり FFFFTTTT となるとき、T となる最小の添え字
    存在しない場合 r が返る
    f(e_M) = True でないと壊れる
    """
    def min_left(self, r, g):
        if r == 0: return 0
        r += self.N0
        for i in range(self.log, 0, -1): self.push((r-1)>>i)
        sm = self.e_X
        while True:
            r -= 1
            while r>1 and r&1:
                r >>= 1
            if not g(self.op_X(self.data[r], sm)):
                while r < self.N0:
                    self.push(r)
                    r = 2*r + 1
                    if g(self.op_X(self.data[r], sm)):
                        sm = self.op_X(self.data[r], sm)
                        r -= 1
                return r + 1 - self.N0
            sm = self.op_X(self.data[r], sm)
            if r&-r == r: break
        return 0
        
    # 以下内部関数
    def update(self, k):
        self.data[k] = self.op_X(self.data[2*k], self.data[2*k+1])
    
    def all_apply(self, k, f):
        self.data[k] = self.mapping(f, self.data[k])
        if k < self.N0:
            self.lazy[k] = self.compose(f, self.lazy[k])

    def push(self, k): #propagate と同じ
        if self.lazy[k] is self.id_M: return
        self.data[2*k  ] = self.mapping(self.lazy[k], self.data[2*k])
        self.data[2*k+1] = self.mapping(self.lazy[k], self.data[2*k+1])
        if 2*k < self.N0:
            self.lazy[2*k]   = self.compose(self.lazy[k], self.lazy[2*k])
            self.lazy[2*k+1] = self.compose(self.lazy[k], self.lazy[2*k+1])
        self.lazy[k] = self.id_M

n = int(input())
q = int(input())
"""
range update range sum
"""
from operator import add
e_X = 0
op_X = add
id_M = -1
MOD = 1<<32
def compose(f,g):
    return g if f == id_M else f
def mapping(f,x):
    return x%MOD*(1+f*MOD)

seg1 = LazySegmentTree(op_X, e_X, mapping, compose, id_M, n, array=[1]*n)
seg2 = LazySegmentTree(op_X, e_X, mapping, compose, id_M, n, array=[1]*n)

ansx = ansy = 0
for _ in range(q):
    x,l,r = map(int,input().split())
    r += 1
    if x == 1:
        seg1.apply(l,r,1)
        seg2.apply(l,r,0)
    elif x == 2:
        seg1.apply(l,r,0)
        seg2.apply(l,r,1)
    else:
        c1 = seg1.prod(l,r)//MOD
        c2 = seg2.prod(l,r)//MOD
        if c1 > c2: ansx += c1
        elif c1 < c2: ansy += c2

print(ansx+seg1.all_prod()//MOD, ansy+seg2.all_prod()//MOD)
0