제출 #1059604

#	제출 시각	아이디	문제	언어	결과	실행 시간	메모리
1059604		nima_aryan	수열 (APIO14_sequence)	C++17	100 / 100	533 ms	83668 KiB

sequence

/**
 *    author:  NimaAryan
 *    created: 2024-08-15 09:11:58  
**/
#include <bits/stdc++.h>

using namespace std;

#ifdef LOCAL
#include "algo/debug.h"
#endif

using i64 = long long;
using i128 = __int128_t;

constexpr i64 inf = 1E15;

struct Line {
  i64 a, b;
  int i;

  i64 operator()(int x) const {
    return a * x + b;
  }

  bool intersects_earlier(Line A, Line B) {
    return (i128) (A.b - b) * (a - B.a) <= (i128) (B.b - b) * (a - A.a);
  }
};

int main() {
  ios::sync_with_stdio(false);
  cin.tie(nullptr);
  
  int n, k;
  cin >> n >> k;

  vector<int> a(n);
  for (int i = 0; i < n; ++i) {
    cin >> a[i];
  }

  vector<i64> s(n + 1);
  for (int i = 0; i < n; ++i) {
    s[i + 1] = s[i] + a[i];
  }

  vector<i64> f(n + 1);
  f[0] = -inf;
  vector to(k + 1, vector<int>(n + 1));
  iota(to[0].begin(), to[0].end(), 0);
  to[0][0] = -1;
  for (int kk = 1; kk <= k; ++kk) {
    vector<i64> g(n + 1);
    deque<Line> f_max;
    for (int i = 0, z = 0; i <= n; ++i) {
      while (z >= 2 && f_max[0](s[i]) <= f_max[1](s[i])) {
        f_max.pop_front();
        --z;
      }
      if (z >= 1) {
        g[i] = max(-inf, f_max[0](s[i]));
        to[kk][i] = f_max[0].i;
      } else {
        g[i] = -inf;
        to[kk][i] = -1;
      }
      Line fi = Line{s[i], f[i] - s[i] * s[i], i};
      while (z >= 2 && f_max[z - 2].intersects_earlier(fi, f_max[z - 1])) {
        f_max.pop_back();
        --z;
      }
      f_max.push_back(fi);
      ++z;
    }
    f.swap(g);
  }

  cout << f[n] << "\n";
  vector<int> ans;
  for (int i = n; k >= 0; i = to[k][i], --k) {
    ans.push_back(i);
  }
  reverse(ans.begin(), ans.end());
  for (int i = 0; i + 1 < ans.size(); ++i) {
    cout << ans[i] << " ";
  }

  return 0;
}

컴파일 시 표준 에러 (stderr) 메시지

sequence.cpp: In function 'int main()':
sequence.cpp:85:25: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
   85 |   for (int i = 0; i + 1 < ans.size(); ++i) {
      |                   ~~~~~~^~~~~~~~~~~~

• Subtask 1: 11 / 11
• Subtask 2: 11 / 11
• Subtask 3: 11 / 11
• Subtask 4: 17 / 17
• Subtask 5: 21 / 21
• Subtask 6: 29 / 29