結果

問題 No.1117 数列分割
ユーザー HEXAebmrHEXAebmr
提出日時 2020-07-20 02:26:20
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 305 ms / 3,000 ms
コード長 4,891 bytes
コンパイル時間 1,146 ms
コンパイル使用メモリ 120,280 KB
実行使用メモリ 79,360 KB
最終ジャッジ日時 2024-05-10 03:23:35
合計ジャッジ時間 4,782 ms
ジャッジサーバーID
(参考情報)
judge4 / judge5
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 1 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 19 ms
13,824 KB
testcase_04 AC 21 ms
16,256 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 3 ms
5,376 KB
testcase_07 AC 2 ms
5,376 KB
testcase_08 AC 16 ms
13,184 KB
testcase_09 AC 7 ms
8,064 KB
testcase_10 AC 17 ms
13,952 KB
testcase_11 AC 54 ms
32,128 KB
testcase_12 AC 57 ms
33,152 KB
testcase_13 AC 80 ms
40,832 KB
testcase_14 AC 80 ms
44,416 KB
testcase_15 AC 107 ms
50,560 KB
testcase_16 AC 122 ms
58,036 KB
testcase_17 AC 21 ms
19,968 KB
testcase_18 AC 305 ms
79,360 KB
testcase_19 AC 270 ms
77,952 KB
testcase_20 AC 93 ms
51,584 KB
testcase_21 AC 274 ms
78,112 KB
testcase_22 AC 268 ms
78,056 KB
testcase_23 AC 272 ms
77,824 KB
testcase_24 AC 263 ms
77,952 KB
testcase_25 AC 255 ms
78,160 KB
testcase_26 AC 2 ms
5,376 KB
testcase_27 AC 18 ms
18,048 KB
testcase_28 AC 19 ms
17,920 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <iostream>
#include <iomanip>
#include <string>
#include <stack>
#include <vector>
#include <complex>
#include <math.h>
#include <stdio.h>
#include <algorithm>
#include <utility>
#include <functional>
#include <iterator>
#include <map>
#include <set>
#include <queue>
#include <list>
#include <regex>
#include <limits>
#include <time.h>
#include <cstdint>
using namespace std;
using pii  = pair<int,int>;
using ll=long long;
using ld=long double;
#define pb push_back
#define mp make_pair
#define sc second
#define fr first
#define stpr setprecision
#define cYES cout<<"YES"<<endl
#define cNO cout<<"NO"<<endl
#define cYes cout<<"Yes"<<endl
#define cNo cout<<"No"<<endl
#define rep(i,n) for(ll i=0;i<(n);++i)
#define Rep(i,a,b) for(ll i=(a);i<(b);++i)
#define rrep(i,n) for(ll i=n-1;i>=0;i--)
#define rRep(i,a,b) for(ll i=a;i>=b;i--)
#define crep(i) for(char i='a';i<='z';++i)
#define psortsecond(A,N) sort(A,A+N,[](const pii &a, const pii &b){return a.second<b.second;});
#define ALL(x) (x).begin(),(x).end()
#define debug(v) cout<<#v<<":";for(auto x:v){cout<<x<<' ';}cout<<endl;
#define endl '\n'
int ctoi(const char c){
  if('0' <= c && c <= '9') return (c-'0');
  return -1;
}
ll gcd(ll a,ll b){return (b == 0 ? a : gcd(b, a%b));}
ll lcm(ll a,ll b){return a*b/gcd(a,b);}
constexpr ll MOD=1000000007;
constexpr ll INF=1000000011;
constexpr ll MOD2=998244353;
constexpr ll LINF = 1001002003004005006ll;
constexpr ld EPS=10e-8;
template <class T, class U> inline bool chmax(T& lhs, const U& rhs) { if (lhs < rhs) { lhs = rhs; return 1; } return 0; }
template <class T, class U> inline bool chmin(T& lhs, const U& rhs) { if (lhs > rhs) { lhs = rhs; return 1; } return 0; }
template<typename T> istream& operator>>(istream& is,vector<T>& v){for(auto&& x:v)is >> x;return is;}
template<typename T,typename U> istream& operator>>(istream& is, pair<T,U>& p){ is >> p.first; is >> p.second; return is;}
template<typename T,typename U> ostream& operator>>(ostream& os, const pair<T,U>& p){ os << p.first << ' ' << p.second; return os;}
template<class T> ostream& operator<<(ostream& os, vector<T>& v){
  for(auto i=begin(v); i != end(v); ++i){
    if(i !=begin(v)) os << ' ';
    os << *i;
  }
  return os;
}

// modint

template <std::uint_fast64_t Modulus> class modint {
  using u64 = std::uint_fast64_t;

public:
  u64 a;

  constexpr modint(const u64 x = 0) noexcept : a(x % Modulus) {}
  constexpr u64 &value() noexcept { return a; }
  constexpr const u64 &value() const noexcept { return a; }
  constexpr modint operator+(const modint rhs) const noexcept {
    return modint(*this) += rhs;
  }
  constexpr modint operator-(const modint rhs) const noexcept {
    return modint(*this) -= rhs;
  }
  constexpr modint operator*(const modint rhs) const noexcept {
    return modint(*this) *= rhs;
  }
  constexpr modint operator/(const modint rhs) const noexcept {
    return modint(*this) /= rhs;
  }
  constexpr modint &operator+=(const modint rhs) noexcept {
    a += rhs.a;
    if (a >= Modulus) {
      a -= Modulus;
    }
    return *this;
  }
  constexpr modint &operator-=(const modint rhs) noexcept {
    if (a < rhs.a) {
      a += Modulus;
    }
    a -= rhs.a;
    return *this;
  }
  constexpr modint &operator*=(const modint rhs) noexcept {
    a = a * rhs.a % Modulus;
    return *this;
  }
  constexpr modint &operator/=(modint rhs) noexcept {
    u64 exp = Modulus - 2;
    while (exp) {
      if (exp % 2) {
        *this *= rhs;
      }
      rhs *= rhs;
      exp /= 2;
    }
    return *this;
  }
};

ll A[3007],sum[3007],dp[3007][3007];

bool SLcomp(ll a,ll b){
  return a>b;
}

int main(){
  ll N,K,M;
  cin >> N >> K >> M;
  rep(i,N){
    cin >> A[i];
  }
  rep(i,N){
    sum[i+1]=sum[i]+A[i];
  }
  rep(i,N+2){
    rep(j,K+2){
      dp[i][j]=-LINF;
    }
  }
  vector<deque<pair<int, ll>>> dq1(K + 1), dq2(K + 1);
    dq1[0].emplace_back(0, 0);
    dq2[0].emplace_back(0, 0);
    dp[0][0] = 0;
    for (int i = 0; i < N; i++) {
      for (int j = 1; j <= K; j++) {
        ll mx1 = -INF;
        ll mx2 = -INF;
        while (!dq1[j - 1].empty() and dq1[j - 1].front().first < i + 1 - M) dq1[j - 1].pop_front();
        while (!dq2[j - 1].empty() and dq2[j - 1].front().first < i + 1 - M) dq2[j - 1].pop_front();
        if (!dq1[j - 1].empty()) mx1 = dq1[j - 1].front().second;
        if (!dq2[j - 1].empty()) mx2 = dq2[j - 1].front().second;
        chmax(dp[i + 1][j], mx1 - sum[i + 1]);
        chmax(dp[i + 1][j], mx2 + sum[i + 1]);
      }
      for (int j = 0; j <= K; j++) {
        while (!dq1[j].empty() and dq1[j].back().second < dp[i + 1][j] + sum[i + 1]) dq1[j].pop_back();
        while (!dq2[j].empty() and dq2[j].back().second < dp[i + 1][j] - sum[i + 1]) dq2[j].pop_back();
        dq1[j].emplace_back(i + 1, dp[i + 1][j] + sum[i + 1]);
        dq2[j].emplace_back(i + 1, dp[i + 1][j] - sum[i + 1]);
      }
    }
  cout << dp[N][K] << endl;
}
0