[DP] Codeforces #714E. Sonya and Problem Wihtout a Legend

不严格的比较简单，其实严格的可以转化成不严格的：

$$i<j,\quad a_j-a_i \ge j-i \Leftrightarrow a_i-i \le a_j-j$$
就是满足 $a_i-i$ 不严格递增就好了。
不严格的做法就是直接 $DP$，改变的值肯定是原本就有的数，数的值范围是 $O(n)$。直接 $f_{i,j}$ 表示前 $i$ 个数递增，第 $i$ 个数变成 $j$ 的最小代价。转移优化一下就可以$O(1)$了。

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int maxn=3005;
typedef long long LL;
int n,a[maxn],b[maxn];
LL f[maxn][maxn],ans,INF;
inline int abs(int x){ return x<0?-x:x; }
int main(){
    scanf("%d",&n);
    for(int i=1;i<=n;i++) scanf("%d",&a[i]), a[i]-=i, b[++b[0]]=a[i];
    sort(b+1,b+1+n); b[0]=unique(b+1,b+1+n)-(b+1);
    memset(f,63,sizeof(f)); INF=f[0][0];
    f[0][1]=0;
    for(int i=1;i<=n;i++)
     for(LL j=1,_min=INF;j<=b[0];j++){
        _min=min(_min,f[i-1][j]);
        f[i][j]=_min+abs(a[i]-b[j]);
     }
    ans=INF; for(int i=1;i<=b[0];i++) ans=min(ans,f[n][i]);
    printf("%I64d\n",ans);
    return 0; 
}