結果

問題 No.674 n連勤
ユーザー convexineqconvexineq
提出日時 2023-05-09 11:35:50
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 315 ms / 2,000 ms
コード長 3,391 bytes
コンパイル時間 271 ms
コンパイル使用メモリ 82,276 KB
実行使用メモリ 100,096 KB
最終ジャッジ日時 2024-05-04 12:14:47
合計ジャッジ時間 3,704 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 37 ms
52,864 KB
testcase_01 AC 38 ms
52,864 KB
testcase_02 AC 35 ms
52,736 KB
testcase_03 AC 34 ms
52,992 KB
testcase_04 AC 34 ms
52,608 KB
testcase_05 AC 35 ms
52,608 KB
testcase_06 AC 35 ms
53,120 KB
testcase_07 AC 39 ms
52,736 KB
testcase_08 AC 34 ms
52,864 KB
testcase_09 AC 34 ms
52,480 KB
testcase_10 AC 35 ms
52,608 KB
testcase_11 AC 105 ms
77,860 KB
testcase_12 AC 117 ms
77,824 KB
testcase_13 AC 93 ms
78,336 KB
testcase_14 AC 192 ms
99,456 KB
testcase_15 AC 225 ms
95,516 KB
testcase_16 AC 285 ms
99,840 KB
testcase_17 AC 263 ms
100,096 KB
testcase_18 AC 315 ms
95,684 KB
testcase_19 AC 209 ms
99,968 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

class BIT: #0-indexed
    def __init__(self, n):
        self.size = n
        self.tree = [0]*(n+1)
        self.depth = n.bit_length()
        self.n0 = 1<<self.depth
#        self.element = [0]*(n+1)
    def get_sum(self, i): #a_0 + ... + a_{i} #閉区間
        s = 0; i += 1
        while i > 0:
            s += self.tree[i]
            i -= i & -i
        return s
    def query(self,l,r): #a_l + ... + a_r 閉区間
        return self.get_sum(r) - self.get_sum(l-1) 
    def add(self, i, x):
        i += 1
        while i <= self.size:
            self.tree[i] += x
            i += i & -i
        # self.element[i] += x
    #def get(self,i): return element[i]        
    def bisect_left(self,w):
        #和が w 以上になる最小の index
        #w が存在しない場合 self.size を返す
        if w <= 0: return 0
        x,k = 0,self.n0
        for _ in range(self.depth):
            k >>= 1
            if x+k <= self.size and self.tree[x+k] < w:
                w -= self.tree[x+k]
                x += k
        return x

class interval_manager: #0-indexed
    def __init__(self, n, A=None):
        self.n = n
        self.isL = BIT(n)
        INIT_DATA() # グローバル関数でグローバル変数を初期化しちゃう
        if A is not None:
            assert len(A) == n
            self.val = A[::]
            self.nxt = list(range(1,n+1))
            for i in range(1,n+1): # isL[i] = 1 となるように初期化
                self.isL.tree[i] = i&-i
        else: # 全て 0 で初期化
            self.val = [0]*n
            self.nxt = [0]*n
            self.nxt[0] = n
            self.isL.add(0,1)
    
    def left(self,i): # i を含む半開区間の左端
        return self.isL.bisect_left(self.isL.get_sum(i))
    
    def right(self,i): # i を含む半開区間の右端
        return self.nxt[self.left(i)]
    
    def get(self,i): # A[i] の値を返す
        return self.val[self.left(i)]
        
    def _cut(self,L,i): # 区間 [L,nxt[L]) を i で切る.
        self.nxt[i] = self.nxt[L]
        self.nxt[L] = i
        self.val[i] = self.val[L]
        self.isL.add(i,1)

    def update(self,L,R,x):
        # cut
        LL = self.left(L)
        if L != LL:
            self._cut(LL,L)
        RL = self.left(R-1)
        if R != self.nxt[RL]:
            self._cut(RL,R)
        ### connect
        if L:
            LL = self.left(L-1)
            if self.val[LL] == x:
                L = LL
        if R != self.n and self.val[R] == x:
            R = self.nxt[R]
        ### delete and add
        LL = L
        while True:
            nxt = self.nxt[L]
            DELETE(L,nxt,self.val[L])
            L = nxt
            if L == R: break
            self.isL.add(L,-1)
        ADD(LL,R,x)
        self.nxt[LL] = R
        self.val[LL] = x


#####################################
import sys
readline = sys.stdin.readline

D,Q = map(int,readline().split())

def INIT_DATA():
    return

def DELETE(L,R,x):
    return

def ADD(L,R,x):
    global ans
    ans = max(ans,x*(sa[R]-sa[L]))

a = [0]*Q
b = [0]*Q
for i in range(Q):
    a[i],b[i] = map(int,readline().split())
    b[i] += 1

INF = 1<<60
sa = sorted(set([0]+a+b+[INF]))
za = {v:i for i,v in enumerate(sa)}

data = interval_manager(len(sa))

ans = 0
for l,r in zip(a,b):
    il = za[l]
    ir = za[r]
    data.update(il,ir,1)
    print(ans)
0