Codeforces-713C-Sonya and Problem Wihtout a Legend

题目链接:http://codeforces.com/problemset/problem/713/C

题意：给定一个正整数序列，每次可以选择一个数，增加或者减少一，问最少执行多少次操作能把原序列变成严格递增序列？

思路：如果这是要求非严格递增序列即严格不下降序列的话，这就是一个很经典的题目，关于这个题目还有一个定理：
·不严格递减最后修改完之后的各个数一定是原序列中的某个数！
这样的话既可以考虑用DP来做了：
dp[ i ][ j ]表示序列前i个数都严格不下降并且第i个数改为原序列中第j个数的最小代价；
转移方程: dp[i][j] = min(dp[i][j-1],dp[i-1][j] + abs(a[i]-b[j])); (其中a[i]为原序列，b[j]为原序列排序并且去重之后的序列)；
边界：dp[1][i] = min(f[1][i-1],abs(a[1]-b[i]));
然后需要考虑的就是，如何把原序列的严格递增转化为严格不下降：
让原序列每个a[i]都减去i；

这样经过这个神奇的转化之后，这个题就可以做了。

code:

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
#define INF 0x3f3f3f3f
#define LL long long

int n;
LL a[3010],b[3010],f[3010][3010];

int main()
{
    scanf("%d",&n);
    for(int i=1;i<=n;i++)
    {
        scanf("%I64d",&a[i]);
        a[i] -= i;
        b[i] = a[i];
    }
    sort(b+1,b+1+n);
    int bn = unique(b+1,b+1+n)-b-1;
    memset(f,INF,sizeof(f));
    for(int i=1;i<=bn;i++)
        f[1][i] = min(f[1][i-1],abs(a[1]-b[i]));
    for(int i=2;i<=n;i++)
      for(int j=1;j<=n;j++)
        f[i][j] = min(f[i][j-1],f[i-1][j] + abs(a[i]-b[j]));
    printf("%I64d\n",f[n][bn]);
    return 0;
}