結果

問題 No.1117 数列分割
ユーザー kotatsugamekotatsugame
提出日時 2020-07-17 21:47:05
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
TLE  
実行時間 -
コード長 2,704 bytes
コンパイル時間 1,318 ms
コンパイル使用メモリ 96,436 KB
実行使用メモリ 35,780 KB
最終ジャッジ日時 2024-05-07 11:17:56
合計ジャッジ時間 12,590 ms
ジャッジサーバーID
(参考情報)
judge5 / judge3
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
13,756 KB
testcase_01 AC 1 ms
6,944 KB
testcase_02 AC 2 ms
6,940 KB
testcase_03 AC 989 ms
20,000 KB
testcase_04 AC 926 ms
18,040 KB
testcase_05 AC 1 ms
6,940 KB
testcase_06 AC 10 ms
6,944 KB
testcase_07 AC 8 ms
6,940 KB
testcase_08 AC 696 ms
13,992 KB
testcase_09 AC 227 ms
8,188 KB
testcase_10 AC 639 ms
12,868 KB
testcase_11 TLE -
testcase_12 TLE -
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 -- -
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.cpp:82:1: warning: ISO C++ forbids declaration of 'main' with no type [-Wreturn-type]
   82 | main()
      | ^~~~

ソースコード

diff #

#include<iostream>
using namespace std;
#include<vector>
#include<functional>
template<typename T>
struct lazysegtree{
	using F=function<T(T,T)>;
	using G=function<T(T,T,int,int)>;
	const F calcfn,lazycalcfn;
	const G updatefn;
	int n;
	T defvalue,lazydefvalue;
	vector<T>dat,lazy;
	vector<bool>lazyflag;
	lazysegtree(int n_=0,T defvalue_=0,
		const F calcfn_=[](T a,T b){return a+b;},
		const F lazycalcfn_=[](T a,T b){return a+b;},
		const G updatefn_=[](T a,T b,int l,int r){return a+b*(r-l);},
		T lazydefvalue_=0
	):defvalue(defvalue_),lazydefvalue(lazydefvalue_),
		calcfn(calcfn_),lazycalcfn(lazycalcfn_),updatefn(updatefn_)
	{
		n=1;
		while(n<n_)n<<=1;
		dat.assign(2*n-1,defvalue);
		lazy.assign(2*n-1,lazydefvalue);
		lazyflag.assign(2*n-1,false);
	}
	void copy(const vector<T>&v)
	{
		for(int i=0;i<v.size();i++)dat[i+n-1]=v[i];
		for(int i=n-2;i>=0;i--)dat[i]=calcfn(dat[2*i+1],dat[2*i+2]);
	}
	void eval(int i,int l,int r)
	{
		if(lazyflag[i])
		{
			dat[i]=updatefn(dat[i],lazy[i],l,r);
			if(r-l>1)
			{
				lazy[2*i+1]=lazycalcfn(lazy[2*i+1],lazy[i]);
				lazy[2*i+2]=lazycalcfn(lazy[2*i+2],lazy[i]);
				lazyflag[2*i+1]=lazyflag[2*i+2]=true;
			}
			lazy[i]=lazydefvalue;
			lazyflag[i]=false;
		}
	}
	void update(int a,int b,T x,int k=0,int l=0,int r=-1)//[a,b)
	{
		if(r<0)r=n;
		eval(k,l,r);
		if(b<=l||r<=a)return;
		else if(a<=l&&r<=b)
		{
			lazy[k]=lazycalcfn(lazy[k],x);
			lazyflag[k]=true;
			eval(k,l,r);
		}
		else
		{
			update(a,b,x,2*k+1,l,(l+r)/2);
			update(a,b,x,2*k+2,(l+r)/2,r);
			dat[k]=calcfn(dat[2*k+1],dat[2*k+2]);
		}
	}
	T query(int a,int b,int k=0,int l=0,int r=-1)//[a,b)
	{
		if(r<0)r=n;
		eval(k,l,r);
		if(b<=l||r<=a)return defvalue;
		else if(a<=l&&r<=b)return dat[k];
		else return calcfn(
			query(a,b,2*k+1,l,(l+r)/2),
			query(a,b,2*k+2,(l+r)/2,r)
		);
	}
};
int N,K,M;
int A[3030];
long dp[3030][3030];
main()
{
	cin>>N>>K>>M;
	for(int i=0;i<N;i++)cin>>A[i];
	for(int i=1;i<=N;i++)dp[0][i]=-1e18;
	for(int i=0;i<K;i++)
	{
		vector<long>init(N+1);
		for(int j=0;j<=N;j++)
		{
			init[j]=dp[i][j];
			dp[i+1][j]=-1e18;
		}
		{
			lazysegtree<long>P(N+1,(long)-1e18,
				[](long a,long b){return a<b?b:a;},
				[](long a,long b){return a+b;},
				[](long a,long b,int l,int r){return a+b;});
			P.copy(init);
			for(int j=1;j<=N;j++)
			{
				P.update(j-M,j,A[j-1]);
				dp[i+1][j]=max(dp[i+1][j],P.query(j-M,j));
			}
		}
		{
			lazysegtree<long>P(N+1,(long)-1e18,
				[](long a,long b){return a<b?b:a;},
				[](long a,long b){return a+b;},
				[](long a,long b,int l,int r){return a+b;});
			P.copy(init);
			for(int j=1;j<=N;j++)
			{
				P.update(j-M,j,-A[j-1]);
				dp[i+1][j]=max(dp[i+1][j],P.query(j-M,j));
			}
		}
	}
	cout<<dp[K][N]<<endl;
}
0