結果

問題 No.1117 数列分割
ユーザー tktk_snsntktk_snsn
提出日時 2021-03-15 22:06:30
言語 PyPy3
(7.3.15)
結果
MLE  
実行時間 -
コード長 4,019 bytes
コンパイル時間 259 ms
コンパイル使用メモリ 82,560 KB
実行使用メモリ 316,544 KB
最終ジャッジ日時 2024-04-25 01:20:33
合計ジャッジ時間 15,859 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 MLE -
testcase_01 AC 43 ms
52,864 KB
testcase_02 AC 44 ms
53,376 KB
testcase_03 AC 2,502 ms
139,608 KB
testcase_04 AC 1,937 ms
126,108 KB
testcase_05 AC 44 ms
52,992 KB
testcase_06 AC 198 ms
79,244 KB
testcase_07 AC 211 ms
79,680 KB
testcase_08 AC 2,548 ms
148,876 KB
testcase_09 AC 726 ms
95,768 KB
testcase_10 AC 2,303 ms
145,540 KB
testcase_11 TLE -
testcase_12 -- -
testcase_13 -- -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
testcase_28 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

from itertools import accumulate
inf = 10**18
inf = float("inf")


class SegTree(object):
    def __init__(self, N, op_data, u_data):
        self._n = N
        self.log = (N-1).bit_length()
        self.size = 1 << self.log

        self.op = op_data
        self.e = u_data

        self.data = [u_data] * (2 * self.size)
        # self.len = [1] * (2 * self.size)

    def _update(self, i):
        self.data[i] = self.op(self.data[i << 1], self.data[i << 1 | 1])

    def initialize(self, arr=None):
        """ segtreeをarrで初期化する。len(arr) == Nにすること """
        if arr:
            for i, a in enumerate(arr, self.size):
                self.data[i] = a
        for i in reversed(range(1, self.size)):
            self._update(i)
            # self.len[i] = self.len[i << 1] + self.len[i << 1 | 1]

    def update(self, p, x):
        """ data[p] = x とする (0-indexed)"""
        p += self.size
        self.data[p] = x
        for i in range(1, self.log + 1):
            self._update(p >> i)

    def get(self, p):
        """ data[p]を返す """
        return self.data[p + self.size]

    def prod(self, l, r):
        """
        op_data(data[l], data[l+1], ..., data[r-1])を返す (0-indexed)
        """
        sml = self.e
        smr = self.e
        l += self.size
        r += self.size

        while l < r:
            if l & 1:
                sml = self.op(sml, self.data[l])
                l += 1
            if r & 1:
                r -= 1
                smr = self.op(self.data[r], smr)
            l >>= 1
            r >>= 1
        return self.op(sml, smr)

    def all_prod(self):
        """ op(data[0], data[1], ... data[N-1])を返す """
        return self.data[1]

    def max_right(self, l, func):
        """
        func(l, l+1, ..., r-1) = True,
        func(l, l+1, ..., r-1, r) = Falseとなる r を返す
        """
        if l == self._n:
            return self._n
        l += self.size
        sm = self.e
        while True:
            while l % 2 == 0:
                l >>= 1
            if not func(self.op(sm, self.data[l])):
                while l < self.size:
                    l <<= 1
                    if func(self.op(sm, self.data[l])):
                        sm = self.op(sm, self.data[l])
                        l += 1
                return l - self.size
            sm = self.op(sm, self.data[l])
            l += 1
            if (l & -l) == l:
                break
        return self._n

    def min_left(self, r, func):
        """
        func(     l, l+1, ..., r-1) = True,
        func(l-1, l, l+1, ..., r-1) = Falseとなる l を返す
        """
        if r == 0:
            return 0
        r += self.size
        sm = self.e
        while True:
            r -= 1
            while r > 1 and r & 1:
                r >>= 1
            if not func(self.op(self.data[r], sm)):
                while r < self.size:
                    r = r << 1 | 1
                    if func(self.op(self.data[r], sm)):
                        sm = self.op(self.data[r], sm)
                        r -= 1
                return r + 1 - self.size
            sm = self.op(self.data[r], sm)
            if (r & -r) == r:
                break
        return 0

    def __repr__(self):
        res = " ".join(map(str, [self.get(i) for i in range(self._n)]))
        return res


N, K, M = map(int, input().split())
A = list(map(int, input().split()))
Acc = [0] + list(accumulate(A))

dpmin = [SegTree(N+1, max, -inf) for _ in range(K+1)]
dpmax = [SegTree(N+1, max, -inf) for _ in range(K+1)]
dpmin[0].update(0, 0)
dpmax[0].update(0, 0)

for i in range(1, N + 1):
    X = Acc[i]
    L = max(0, i - M)
    R = i
    for j in reversed(range(1, K + 1)):
        mn = dpmin[j - 1].prod(L, R)
        mx = dpmax[j - 1].prod(L, R)
        val = -inf
        val = max(val, X + mn)
        val = max(val, mx - X)
        dpmin[j].update(i, val - X)
        dpmax[j].update(i, val + X)

mn = dpmin[K].get(N) + Acc[N]
print(mn)
0