Submission #871450

#TimeUsernameProblemLanguageResultExecution timeMemory
871450Cyber_WolfThe short shank; Redemption (BOI21_prison)C++17
35 / 100
872 ms271312 KiB
#include <bits/stdc++.h>

using namespace std;

#define lg long long 
#define fastio ios_base::sync_with_stdio(0);cin.tie(0);cout.tie(0);

const lg N = 5e3+5;

lg n, d, tim;
lg dp[N][N];
lg t[N], lst[N];
vector<lg> o[N];

lg C(lg i, lg j)
{
	lg ans = o[j].size()-(lower_bound(o[j].begin(), o[j].end(), i)-o[j].begin());
	return ans;
}

void compute(lg lev, lg l, lg r, lg optl, lg optr)
{
	if(l > r)	return;
	lg mid = (l+r)/2;
	array<lg, 2> best = {1000000000000, optl};
	for(int i = optl; i <= min(optr, mid-1); i++)
	{
		best = min(best, {dp[lev+1][i]+C(i+1, mid), i});
	}
	dp[lev][mid] = best[0];
	compute(lev, l, mid-1, optl, best[1]);
	compute(lev, mid+1, r, best[1], optr);
	return;
}

int main()
{
	fastio;
	cin >> n >> d >> tim;
	for(int i = 1; i <= n; i++)	
	{
		cin >> t[i];
	}
	for(int i = 1; i <= n; i++)
	{ 
		for(int j = i; j >= 1; j--)
		{
			if(t[j]+i-j <= tim)
			{
				lst[i] = j;
				break;
			}
		}
		o[i].push_back(lst[i]);
		for(auto it : o[i-1])	o[i].push_back(it);
		sort(o[i].begin(), o[i].end());
	}
	d = min(n, d);
	t[0] = 1e18;
	memset(dp, 0x3f, sizeof(dp));
	dp[d][0] = 0;
	for(int i = 1; i <= n; i++)	dp[d][i] = C(1, i);
	// for(int i = 1; i <= n; i++)
	// {
		// for(int j = 0; j < d; j++)
		// {
			// for(int k = i-1; k >= 0; k--)
			// {
				// dp[i][j] = min(dp[k][j+1]+C(k+1, i), dp[i][j]);
			// }
		// }
	// }
	for(int i = d-1; i >= 0; i--)
	{
		compute(i, 1, n, 1, n);
	}
	// for(int i = 1; i <= n; i++)
	// {
		// for(int j = 0; j <= d; j++)
		// {
			// cout << dp[j][i] << ' ';
		// }
		// cout << '\n';
	// }
	lg ans = n+1;
	for(int j = 0; j <= d; j++)
	{
		ans = min(ans, dp[j][n]);
	}
	cout << ans << '\n';
}
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...