题解见：
http://blog.csdn.net/qpswwww/article/details/44407371
收获：
1、对于一个问题，看似不可做，但一定存在一定特点，我们要做的就是找出一些特点（比如最有解有什么特点，怎样做会尽可能优），尝试强化（加更多的限制）或弱化（减少一些限制）问题看会出现什么新的特征，强化或弱化前有吗，为什么有，为什么没有。
2、DP优化：如果出现dp[i][j] = min( dp[ii][jj]+k | ii<i, jj<j )，可以用数据结构优化（BIT）。
/**************************************************************
Problem: 3594
User: idy002
Language: C++
Result: Accepted
Time:13408 ms
Memory:11844 kb
****************************************************************/ #include <cstdio>
#define maxn 10010
#define maxa 5010
#define maxk 510 int n, k;
int ma, mb;
int aa[maxn];
int ww[maxa+maxk][maxk];
int dp[maxk]; void modify( int a, int b, int val ) {
b++;
for( int i=a; i<=ma; i+=i&-i )
for( int j=b; j<=mb; j+=j&-j )
if( ww[i][j]<val ) ww[i][j]=val;
}
int query( int a, int b ) {
b++;
int rt = ;
for( int i=a; i; i-=i&-i )
for( int j=b; j; j-=j&-j )
if( ww[i][j]>rt ) rt=ww[i][j];
return rt;
} int main() {
scanf( "%d%d", &n, &k );
for( int i=; i<=n; i++ ) {
scanf( "%d", aa+i );
if( aa[i]+k>ma ) ma=aa[i]+k;
}
mb = k+;
int ans = ;
for( int i=; i<=n; i++ ) {
for( int j=; j<=k; j++ ) {
dp[j] = query( aa[i]+j, j )+;
if( dp[j]>ans ) ans=dp[j];
}
for( int j=; j<=k; j++ )
modify( aa[i]+j, j, dp[j] );
}
printf( "%d\n", ans );
}