結果

問題 No.674 n連勤
ユーザー convexineqconvexineq
提出日時 2023-05-09 01:15:25
言語 PyPy3
(7.3.15)
結果
RE  
実行時間 -
コード長 3,773 bytes
コンパイル時間 253 ms
コンパイル使用メモリ 82,392 KB
実行使用メモリ 101,144 KB
最終ジャッジ日時 2024-11-25 14:38:42
合計ジャッジ時間 3,351 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 34 ms
53,292 KB
testcase_01 AC 35 ms
53,632 KB
testcase_02 AC 35 ms
53,912 KB
testcase_03 RE -
testcase_04 AC 35 ms
53,732 KB
testcase_05 AC 38 ms
53,292 KB
testcase_06 AC 38 ms
53,196 KB
testcase_07 RE -
testcase_08 AC 37 ms
53,604 KB
testcase_09 AC 39 ms
53,908 KB
testcase_10 AC 40 ms
54,728 KB
testcase_11 AC 91 ms
76,912 KB
testcase_12 WA -
testcase_13 AC 107 ms
78,960 KB
testcase_14 AC 179 ms
100,160 KB
testcase_15 RE -
testcase_16 AC 238 ms
100,364 KB
testcase_17 AC 239 ms
100,740 KB
testcase_18 WA -
testcase_19 AC 159 ms
101,144 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):
        #print([self.isL.query(i,i) for i in range(self.n)])
        LL = self.left(L)
        #print(L,LL)
        if L != LL:
            if self.val[LL] != x:
                self._cut(LL,L)
            else:
                L = LL
        elif L:
            LLL = self.left(LL-1)
            if x == self.val[LLL]:
                self.nxt[LLL] = self.nxt[L]
                self.isL.add(L,-1)
                L = LLL

        RL = self.left(R-1)
        RR = self.nxt[RL]
        if R != RR:
            if self.val[RL] != x:
                self._cut(RL,R)
            else:
                R = RR
        elif R != self.n:
            if x == self.val[R]:
                self.nxt[RL] = self.nxt[R]
                self.isL.add(R,-1)
                R = self.nxt[R]

        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