首先每次选择的区间结尾都可以换成\(n\)，仍然保持单调不降，我们就按这个策略拔高玉米。令\(f_{i,j}\)表示\(1\simi\)这段前缀进行了\(j\)次操作，第\(i\)株玉米不被拔掉，所能剩下最多的玉米数量：\[f_{i,j}=\max\{f_{p,q}|p<i,q<j,a_p+q\leqa_i+j\}+1\]枚举\(i\)，剩下两个

\(\mathcal{Link}\)显然，每次区间加的一定是一段后缀。设\(f(i,j)\)表示必选第\(i\)个位置用了\(j\)次的最大保留值。\[f(i,j)=\max\{f(k,l)\}(k\leqi,l\leqj,a

不难发现一定是拔高一段后缀。所以设\(f_{i,j}\)表示考虑前\(i\)个位置，拔高\(j\)次，第\(i\)个位置强制选的LIS的长度。则有\(f_{i,j}=\max\limits_{1\lex\lt

题意进行最多\(k\)次区间\(+1\)操作，使得序列中的最长不下降子序列最长。分析首先，拔高的区间一定是\([i,n]\)这种的，因为拔高一段区间，对于区间内部的相对高度是不变