方伯伯的玉米田（数状数组+dp）

方伯伯在自己的农田边散步，他突然发现田里的一排玉米非常的不美。
这排玉米一共有N株，它们的高度参差不齐。
方伯伯认为单调不下降序列很美，所以他决定先把一些玉米拔高，再把破坏美感的玉米拔除掉，使得剩下的玉米的高度构成一个单调不下降序列。
方伯伯可以选择一个区间，把这个区间的玉米全部拔高1单位高度，他可以进行最多K次这样的操作。拔玉米则可以随意选择一个集合的玉米拔掉。
问能最多剩多少株玉米，来构成一排美丽的玉米。

Input

第1行包含2个整数n，K，分别表示这排玉米的数目以及最多可进行多少次操作。
第2行包含n个整数，第i个数表示这排玉米，从左到右第i株玉米的高度ai。

Output

输出1个整数，最多剩下的玉米数。

Sample Input

3 1
2 1 3

Sample Output

3

Hint

1 < N < 10000，1 < K ≤ 500，1 ≤ ai ≤5000

题意：给定一个区间，可以在某一小区间加1或则去掉一个值，问最长的不下降子序列

思路：f[i][j]表示到第i位，使用了j次机会的最长不下降子序列长度

转移：f[i][j]=max(f[x][y])+1;

x<i; y<=j; a[x]+y<=a[i]+j;

所以根据后两个条件维护二维树状数组求最值

代码：

#include <cstdio>
#include <iostream>
#include <algorithm>
#include <cstring>
using namespace std;
int n,m,k;
int a[10010],c[510][5510],f[10010][505];
int lowbit(int i){
	return i&-i;
}

void updata(int x,int y,int z)
{
	while(x<=k+1){
		int i=y;
		while(i<=m){
			c[x][i]=max(c[x][i],z);
			i+=lowbit(i);
		}
		x+=lowbit(x);
	}
}

int query(int x,int y)
{
	int res=0;
	while(x>0){
		int j=y;
		while(j>0){
		res=max(res,c[x][j]);
		j-=lowbit(j);		
		}
		x-=lowbit(x);
	}
	return res;
}

int main()
{
	ios::sync_with_stdio(false);
	cin>>n>>k;
	int i,j;
	for(i=1;i<=n;i++){
	cin>>a[i];
	m=max(a[i],m);
	}
	m+=k;
	int ans=0;
	for(i=1;i<=n;i++){
		for(j=0;j<=k;j++){
			f[i][j]=query(j+1,a[i]+j)+1;
			ans=max(ans,f[i][j]);
		}
	for(j=0;j<=k;j++){
		updata(j+1,a[i]+j,f[i][j]);
	}
}
	cout<<ans<<endl;
    return 0;
}