Codeforces713 C. Sonya and Problem Wihtout a Legend（严格递增转非严格递增技巧，dp）

题意：

解法：

这题的非严格递增版本:
https://blog.csdn.net/weixin_44178736/article/details/115475722

这题与上面那一题的不同处在于需要要求严格递增,
那么就不存在'每个数都是原序列中的数'这个性质了,

怎么办呢？可以用一个严格递增转非严格递增的技巧:
令a[i]=a[i]-i,那么答案序列只需要非严格递增即可,
因为i本身就是严格递增的,去掉i之后进行dp,最后再加回i,那么序列仍然是严格递增的.

其他部分与上面那题做法相同.

code：

#include<bits/stdc++.h>
#define int long long
using namespace std;
const int maxm=3e3+5;
int d[2][maxm];
int a[maxm];
int b[maxm];
int n;
void solve(){
    cin>>n;
    for(int i=1;i<=n;i++){
        cin>>a[i];
        a[i]-=i;
        b[i]=a[i];
    }
    sort(b+1,b+1+n);
    int s=0,t=0;
    for(int i=1;i<=n;i++){
        int mi=1e18;
        for(int j=1;j<=n;j++){
            mi=min(mi,d[t][j]);
            d[s][j]=mi+abs(a[i]-b[j]);
        }
        swap(s,t);
    }
    int ans=1e18;
    for(int i=1;i<=n;i++){
        ans=min(ans,d[t][i]);
    }
    cout<<ans<<endl;
}
signed main(){
    ios::sync_with_stdio(0);
    solve();
    return 0;
}

---