[SCOI2014] 方伯伯的玉米田（dp+树状数组维护行列）

https://www.luogu.com.cn/problem/P3287

显然每次操作的区间一定是一个后缀

我们直接令 $dp(x,i)$ 表示最后一个数是 $x$（加之后），加了 $i$ 次的最长长度，转移显然 $\max dp(y\le x,j\le i)$

映射到二维平面上，考虑每次相当于是更新一条斜线，每个点等于其左下角矩阵的最大值+1。那很好做，我们直接对行列都维护拿树状数组维护即可。

#include<bits/stdc++.h>
using namespace std;
#ifdef LOCAL
 #define debug(...) fprintf(stdout, ##__VA_ARGS__)
#else
 #define debug(...) void(0)
#endif
//#define int long long
inline int read(){int x=0,f=1;char ch=getchar();
while(ch<'0'||ch>'9'){if(ch=='-')f=-1;
ch=getchar();}while(ch>='0'&&ch<='9'){x=(x<<1)+
(x<<3)+(ch^48);ch=getchar();}return x*f;}
#define Z(x) (x)*(x)
#define pb push_back
#define fi first
#define se second
#define M 510
//#define mo
#define N 5510
int n, m, i, j, k, T; 
int ans, x, a[10010]; 

struct Bin1 {
	int cnt[N]; 
	int qry(int x) { ++x;  
		int ans = 0; 
		while(x) ans = max(ans, cnt[x]), x -= x & -x; 
		return ans; 
	}
	void add(int x, int k) { ++x;  
		while(x < N) cnt[x] = max(cnt[x], k), x += x & -x; 
	}
}B1[M]; 

struct Bin2 {
	int cnt[M]; 
	int qry(int x) {
		int ans = 0; ++x;  
		while(x) ans = max(ans, cnt[x]), x -= x & -x; 
		return ans; 
	}
	void add(int x, int k) { ++x;  
		while(x < M) cnt[x] = max(cnt[x], k), x += x & -x; 
	}
}B2[N]; 

signed main()
{
	#ifdef LOCAL
	  freopen("in.txt", "r", stdin);
	  freopen("out.txt", "w", stdout);
	#endif
//	srand(time(NULL));
//	T=read();
//	while(T--) {
//
//	}
	n = read(); m = read(); 
	for(i = 1; i <= n; ++i) a[i] = read(); 
	for(i = 1; i <= n; ++i) {
		x = 0; 
		for(k = 0; k <= m; ++k) {
			x = max({x, B1[k].qry(a[i] + k), B2[a[i] + k].qry(k)}); 
			B1[k].add(a[i] + k, x + 1); B2[a[i] + k].add(k, x + 1); 
			ans = max(ans, x + 1); 
		}
	}
	printf("%d", ans);  
	return 0;
}