This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
//#include<bits/extc++.h>
//__gnu_pbds
#define int ll
ll dp[3005];
vector<int> stop;
signed main(){
	ios_base::sync_with_stdio(0),cin.tie(0),cout.tie(0);
	int n,m,k;cin>>n>>m>>k;
	int a,B,c;cin>>a>>B>>c;
	ll T;cin>>T;
	stop.resize(m);
	k-=m;
	for(int i=0;i<k;i++) dp[i]=0;
	for(int i=0;i<m;i++){cin>>stop[i];stop[i]--;}
	for(int i=1;i<m;i++){
		for(int b=k;b>=0;b--){
			int tt = stop[i-1]*B;
			int ss = stop[i-1]+((T-tt)/a)+1;
			for(int j=0;j<=b;j++){
				dp[b]= max(dp[b-j]+min(ss-stop[i-1],stop[i]-stop[i-1]),dp[b]);
				tt = ss*c;
				ss = ss+((T-tt)/a)+1;
			}
		}
	}
	cout<<dp[k]<<"\n";
	return 0;
}
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... |