結果

問題 No.1117 数列分割
ユーザー keijakkeijak
提出日時 2020-08-07 06:57:18
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 2,184 ms / 3,000 ms
コード長 2,999 bytes
コンパイル時間 2,783 ms
コンパイル使用メモリ 207,752 KB
実行使用メモリ 4,348 KB
最終ジャッジ日時 2023-10-23 20:38:12
合計ジャッジ時間 23,831 ms
ジャッジサーバーID
(参考情報)
judge12 / judge11
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,348 KB
testcase_01 AC 2 ms
4,348 KB
testcase_02 AC 2 ms
4,348 KB
testcase_03 AC 77 ms
4,348 KB
testcase_04 AC 124 ms
4,348 KB
testcase_05 AC 2 ms
4,348 KB
testcase_06 AC 3 ms
4,348 KB
testcase_07 AC 2 ms
4,348 KB
testcase_08 AC 120 ms
4,348 KB
testcase_09 AC 27 ms
4,348 KB
testcase_10 AC 129 ms
4,348 KB
testcase_11 AC 571 ms
4,348 KB
testcase_12 AC 556 ms
4,348 KB
testcase_13 AC 835 ms
4,348 KB
testcase_14 AC 916 ms
4,348 KB
testcase_15 AC 775 ms
4,348 KB
testcase_16 AC 1,222 ms
4,348 KB
testcase_17 AC 126 ms
4,348 KB
testcase_18 AC 852 ms
4,348 KB
testcase_19 AC 1,005 ms
4,348 KB
testcase_20 AC 1,062 ms
4,348 KB
testcase_21 AC 2,184 ms
4,348 KB
testcase_22 AC 2,141 ms
4,348 KB
testcase_23 AC 2,140 ms
4,348 KB
testcase_24 AC 2,108 ms
4,348 KB
testcase_25 AC 2,119 ms
4,348 KB
testcase_26 AC 2 ms
4,348 KB
testcase_27 AC 40 ms
4,348 KB
testcase_28 AC 39 ms
4,348 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <bits/stdc++.h>
using namespace std;
using i64 = long long;
using u64 = unsigned long long;

template <typename T>
using V = vector<T>;

#define REP(i, n) for (int i = 0; (i64)(i) < (i64)(n); ++i)

#ifdef ENABLE_DEBUG
template <typename T>
void debug(T value) {
  cerr << value;
}
template <typename T, typename... Ts>
void debug(T value, Ts... args) {
  cerr << value << ", ";
  debug(args...);
}
#define DEBUG(...)                              \
  do {                                          \
    cerr << " \033[33m (L" << __LINE__ << ") "; \
    cerr << #__VA_ARGS__ << ":\033[0m ";        \
    debug(__VA_ARGS__);                         \
    cerr << endl;                               \
  } while (0)
#else
#define debug(...)
#define DEBUG(...)
#endif

#define chmax(x, y) x = max(x, y)
const i64 INF = 1LL << 40;

template <class Monoid>
struct SegTree {
  using Func = function<Monoid(Monoid, Monoid)>;
  const Func F;
  const Monoid UNITY;
  int size;
  vector<Monoid> dat;

  SegTree(int n, const Func f, const Monoid &unity)
      : F(f), UNITY(unity), size(n), dat(2 * n, unity) {}

  // Sets i-th value (0-indexed) to x for initial setup.
  // build() must be called after set() calls.
  void set(int i, const Monoid &x) { dat[size + i] = x; }
  void build() {
    for (int k = size - 1; k > 0; --k) {
      dat[k] = F(dat[k * 2], dat[k * 2 + 1]);
    }
  }

  // Sets i-th value (0-indexed) to x.
  void update(int i, const Monoid &x) {
    int k = size + i;
    dat[k] = x;
    while (k > 1) {
      k >>= 1;
      dat[k] = F(dat[k * 2], dat[k * 2 + 1]);
    }
  }

  // Queries by [l,r) range (0-indexed, open interval).
  Monoid fold(int l, int r) {
    l += size;
    r += size;
    Monoid vleft = UNITY, vright = UNITY;
    for (; l < r; l >>= 1, r >>= 1) {
      if (l & 1) vleft = F(vleft, dat[l++]);
      if (r & 1) vright = F(dat[--r], vright);
    }
    return F(vleft, vright);
  }

  // Queries by a single index (0-indexed).
  Monoid operator[](int i) { return dat[size + i]; }

  /* debug */
  void print() {
    for (int i = 0; i < size; ++i) {
      cout << (*this)[i];
      if (i != size - 1) cout << ",";
    }
    cout << endl;
  }
};

int main() {
  ios::sync_with_stdio(false);
  cin.tie(nullptr);
  i64 N, K, M;
  cin >> N >> K >> M;
  V<i64> A(N);
  for (auto &x : A) cin >> x;
  V<i64> acum(N + 1);
  REP(i, N) { acum[i + 1] = acum[i] + A[i]; }
  V<i64> dp(N + 1, -INF);
  dp[0] = 0;
  auto mx = [](i64 x, i64 y) { return max(x, y); };
  SegTree<i64> st1(N + 1, mx, -INF), st2(N + 1, mx, -INF);
  st1.update(0, 0);
  st2.update(0, 0);
  for (int k = 1; k <= K; ++k) {
    V<i64> dp_next(N + 1, -INF);
    for (int i = 1; i <= N; ++i) {
      st1.update(i, dp[i] - acum[i]);
      st2.update(i, dp[i] + acum[i]);
    }
    for (int i = 1; i <= N; ++i) {
      int start = max<int>(i - M, 0);
      dp_next[i] =
          max(st1.fold(start, i) + acum[i], st2.fold(start, i) - acum[i]);
    }
    swap(dp_next, dp);
  }
  cout << dp[N] << endl;
}
0