結果
問題 | No.1117 数列分割 |
ユーザー |
![]() |
提出日時 | 2021-03-15 22:06:30 |
言語 | PyPy3 (7.3.15) |
結果 |
MLE
|
実行時間 | - |
コード長 | 4,019 bytes |
コンパイル時間 | 586 ms |
コンパイル使用メモリ | 82,176 KB |
実行使用メモリ | 323,072 KB |
最終ジャッジ日時 | 2024-11-07 10:47:41 |
合計ジャッジ時間 | 14,065 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 2 MLE * 1 |
other | AC * 8 TLE * 1 -- * 17 |
ソースコード
from itertools import accumulateinf = 10**18inf = float("inf")class SegTree(object):def __init__(self, N, op_data, u_data):self._n = Nself.log = (N-1).bit_length()self.size = 1 << self.logself.op = op_dataself.e = u_dataself.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] = afor 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.sizeself.data[p] = xfor 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.esmr = self.el += self.sizer += self.sizewhile l < r:if l & 1:sml = self.op(sml, self.data[l])l += 1if r & 1:r -= 1smr = self.op(self.data[r], smr)l >>= 1r >>= 1return 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._nl += self.sizesm = self.ewhile True:while l % 2 == 0:l >>= 1if not func(self.op(sm, self.data[l])):while l < self.size:l <<= 1if func(self.op(sm, self.data[l])):sm = self.op(sm, self.data[l])l += 1return l - self.sizesm = self.op(sm, self.data[l])l += 1if (l & -l) == l:breakreturn self._ndef 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 0r += self.sizesm = self.ewhile True:r -= 1while r > 1 and r & 1:r >>= 1if not func(self.op(self.data[r], sm)):while r < self.size:r = r << 1 | 1if func(self.op(self.data[r], sm)):sm = self.op(self.data[r], sm)r -= 1return r + 1 - self.sizesm = self.op(self.data[r], sm)if (r & -r) == r:breakreturn 0def __repr__(self):res = " ".join(map(str, [self.get(i) for i in range(self._n)]))return resN, 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 = ifor j in reversed(range(1, K + 1)):mn = dpmin[j - 1].prod(L, R)mx = dpmax[j - 1].prod(L, R)val = -infval = 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)