{题解}[jzoj2573]【NOIP2011模拟9.20】序列

传…传…传送门!
Description
给一个长度为N的序列，请删除尽量少的数，使得新序列中满足第I个数为I条件的数最多。
Input
第一行有一个正整数N。
第二行有N个正整数Xi，表示原序列中第I个数为Xi。
Output
只有一个整数ANS,表示最多能有多少个数满足条件。
Hint
对于20%的数据：N<=10；
对于50%的数据：N<=1000；
对于80%的数据：N<=100000；
对于100%的数据：N<=500000。

题目很简朴，怎么看怎么水，本以为$O(n^2)$轻松DP，但邪恶的出题人…对于100%的数据：N<=500000。
那时我的♥是崩溃的!

20%数据，辣鸡暴力$O(n·2^n)$
50%数据，看上去很NB的动态规划，实际上…只能拿50分走。
80%数据，与出题人交♂易玄学优化。

100%数据的大杀器！
模型转化+最长不下降子序列

其实这描述并不怎么准确…确乎有些玄学。
辣鸡题解BB半天也没说明白，标完全懵逼，还是自己YY靠谱
题解由50分做法推过来，然而我打算换一种方式思考。
首先,我们可以计算出每个数字与它的目标的距离；
很容易想到的，最终得到的(所有满足要求的数构成的)子序列一定是不下降的。
不过，这样做的正确性不能保证。
反例满满的都是。
–静静思考几秒–

但对于这个序列中任意一组i,j(i