結果

問題 No.2217 Suffix+
ユーザー もちふわゆるゆるもちふわゆるゆる
提出日時 2023-02-18 23:34:22
言語 PyPy3
(7.3.15)
結果
TLE  
実行時間 -
コード長 3,883 bytes
コンパイル時間 251 ms
コンパイル使用メモリ 82,304 KB
実行使用メモリ 184,656 KB
最終ジャッジ日時 2024-07-20 06:01:16
合計ジャッジ時間 9,035 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 58 ms
66,048 KB
testcase_01 AC 43 ms
52,992 KB
testcase_02 AC 72 ms
69,376 KB
testcase_03 AC 39 ms
52,992 KB
testcase_04 AC 42 ms
53,376 KB
testcase_05 AC 39 ms
53,504 KB
testcase_06 AC 42 ms
53,504 KB
testcase_07 AC 42 ms
52,992 KB
testcase_08 AC 45 ms
59,392 KB
testcase_09 AC 40 ms
53,120 KB
testcase_10 AC 41 ms
53,376 KB
testcase_11 AC 41 ms
53,760 KB
testcase_12 AC 40 ms
53,248 KB
testcase_13 AC 41 ms
53,120 KB
testcase_14 AC 1,261 ms
130,688 KB
testcase_15 AC 1,234 ms
131,200 KB
testcase_16 TLE -
testcase_17 AC 1,876 ms
181,632 KB
testcase_18 AC 1,697 ms
130,816 KB
testcase_19 TLE -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
testcase_28 -- -
testcase_29 -- -
testcase_30 -- -
testcase_31 -- -
testcase_32 -- -
testcase_33 -- -
testcase_34 -- -
testcase_35 -- -
testcase_36 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys, math
input = lambda: sys.stdin.readline()[:-1]
def MI(): return map(int, input().split())
inf = 10**18

# 区間最小、区間加算
#####segfunc#####
def segfunc(x, y):
    return min(x, y)
#################

#####ide_ele#####
ide_ele = 2**50 - 1
#################

class LazySegmentTree:
    """
    init(init_val, ide_ele): 配列init_valで初期化 O(N)
    add(l, r, x): 区間[l, r)にxを加算 O(logN)
    query(l, r): 区間[l, r)をsegfuncしたものを返す O(logN)
    """
    def __init__(self, init_val, segfunc, ide_ele):
        """
        init_val: 配列の初期値
        segfunc: 区間にしたい操作
        ide_ele: 単位元
        num: n以上の最小の2のべき乗
        data: 値配列(1-index)
        lazy: 遅延配列(1-index)
        """
        n = len(init_val)
        self.segfunc = segfunc
        self.ide_ele = ide_ele
        self.num = 1 << (n - 1).bit_length()
        self.data = [ide_ele] * 2 * self.num
        self.lazy = [0] * 2 * self.num
        # 配列の値を葉にセット
        for i in range(n):
            self.data[self.num + i] = init_val[i]
        # 構築していく
        for i in range(self.num - 1, 0, -1):
            self.data[i] = self.segfunc(self.data[2 * i], self.data[2 * i + 1])

    def gindex(self, l, r):
        """
        伝搬する対象の区間を求める
        lm: 伝搬する必要のある最大の左閉区間
        rm: 伝搬する必要のある最大の右開区間
        """
        l += self.num
        r += self.num
        lm = l >> (l & -l).bit_length()
        rm = r >> (r & -r).bit_length()

        while r > l:
            if l <= lm:
                yield l
            if r <= rm:
                yield r
            r >>= 1
            l >>= 1
        while l:
            yield l
            l >>= 1

    def propagates(self, *ids):
        """
        遅延伝搬処理
        ids: 伝搬する対象の区間 
        """
        for i in reversed(ids):
            v = self.lazy[i]
            if not v:
                continue
            self.lazy[2 * i] += v
            self.lazy[2 * i + 1] += v
            self.data[2 * i] += v
            self.data[2 * i + 1] += v
            self.lazy[i] = 0

    def add(self, l, r, x):
        """
        区間[l, r)の値にxを加算
        l, r: index(0-index)
        x: additional value
        """
        *ids, = self.gindex(l, r)
        l += self.num
        r += self.num
        while l < r:
            if l & 1:
                self.lazy[l] += x
                self.data[l] += x
                l += 1
            if r & 1:
                self.lazy[r - 1] += x
                self.data[r - 1] += x
            r >>= 1
            l >>= 1
        for i in ids:
            self.data[i] = self.segfunc(self.data[2 * i], self.data[2 * i + 1]) + self.lazy[i]


    def query(self, l, r):
        """
        [l, r)のsegfuncしたものを得る
        l: index(0-index)
        r: index(0-index)
        """
        *ids, = self.gindex(l, r)
        self.propagates(*ids)

        res = self.ide_ele

        l += self.num
        r += self.num
        while l < r:
            if l & 1:
                res = self.segfunc(res, self.data[l])
                l += 1
            if r & 1:
                res = self.segfunc(res, self.data[r - 1])
            l >>= 1
            r >>= 1
        return res

n,k = MI()
a = list(MI())

def isok(mid):
    seg = LazySegmentTree(a, segfunc, ide_ele)
    cnt = 0
    for left in range(n):
        mn = seg.query(left, left+1)
        if mn<mid:
            tmp = -(-(mid-mn)//(left+1))
            cnt += tmp
            seg.add(left, n, (left+1)*tmp)
    
    if cnt<=k:
        return True
    else: return False

l,r = -1, 2*10**15
while abs(l-r)>1:
    mid = (l+r)//2
    if isok(mid): l = mid
    else: r = mid
print(l)
0