Codeforces 713C Sonya and Problem Wihtout a Legend(DP)

思路题解来自大犇https://blog.csdn.net/qq_34374664/article/details/53455087

在此仅对原作细节部分进行讲解和留作个人训练参考（如有侵权请联系删除）

先考虑非严格单调递增时，最终变化后，每个位置的元素一定是原数组中的某个元素,因为我们可以发现，变化后一定是至少有一些位置没有发生变化，并以其中某个位置为基点，而其他位置如果已经满足相对递增则不变，否则会向这个位置的值靠拢，而最少的步数就是和这个位置的值变得一样。因此我们可以用dp[i][j]表示原数组中第i个元素变成第j小且前i个元素都满足升序所需的最小步数，状态转移方程dp[i][j]=min(dp[i-1][j])+abs(a[i]-a[j]);

考虑严格递增时，我们可以先预处理使a[i]=a[i]-i,然后我们会发现使新数组变成非严格单调递增的贡献和使原数组变成严格单掉递增的贡献相等，于是将新数组按上述dp即可

代码和大佬几乎一样，注意开ll即可

#include<iostream>
#include<stack>
#include<list>
#include<set>
#include<vector>
#include<algorithm>
#include<math.h>
#include<numeric>
#include<map>
#include<cstring>
#include<queue>
#include<iomanip>
#include<cmath>
#include<queue>
#include <bitset>
#include<unordered_map>
	#ifndef local
	#define endl '\n'
#endif */
#define mkp make_pair
using namespace std;
using std::bitset;
typedef long long ll;
typedef long double ld;
const int inf=0x3f3f3f3f;
const ll MAXN=2e6+10;
const ll N=3e3+100;
const ll mod=1e9+7;
const ll hash_p1=1610612741;
const ll hash_p2=805306457;
const ll hash_p3=402653189;
//-----------------------------------------------------------------------------------------------------------------*/
// ll head[MAXN],net[MAXN],to[MAXN],edge[MAXN]/*流量*/,cost[MAXN]//费用;
/* 
void add(ll u,ll v,ll w,ll s){
	to[++cnt]=v;net[cnt]=head[u];edge[cnt]=w;cost[cnt]=s;head[u]=cnt;
	to[++cnt]=u;net[cnt]=head[v];edge[cnt]=0;cost[cnt]=-s;head[v]=cnt;
}
struct elemt{
	int p,v;
};
struct comp{
	public:
		bool operator()(elemt v1,elemt v2){
			return v1.v<v2.v;
		}
};
-----------------------------------
求[1,MAXN]组合式和逆元 
ll mi(ll a,ll b){
	ll res=1;
	while(b){
		if(b%2){
			res=res*a%mod;
		}	
		a=a*a%mod;
	}
	return res;
}
ll fac[MAXN],inv[MAXN]
fac[0]=1;inv[0]=1;
for(int i=1;i<=MAXN;i){
	fac[i]=(fac[i-1]*i)%mod;
	inv[i]=mi(fac[i],mod-2);
}
ll C(int m,int n){//组合式C(m,n); 
	if(!n){
		return 1;
	}
	return fac[m]*(inv[n]*inv[m*-n]%mod)%mod;
}
---------------------------------
 unordered_map<int,int>mp;
//优先队列默认小顶堆 ， greater<int> --小顶堆  less<int> --大顶堆  
priority_queue<elemt,vector<elemt>,comp>q;
	set<int>::iterator it=st.begin();
*/
// vector<vector<int>>edge; 二维虚拟储存坐标 
//-----------------------------------------------------------------------------------------------------------------*/
  //map<int,bool>mp[N]; 
ll dp[N][N];
ll a[N]; 
ll b[N];
int main(){
/*cout<<setiosflags(ios::fixed)<<setprecision(8)<<ans<<endl;//输出ans（float）格式控制为8位小数（不含整数部分）*/
/*cout<<setprecision(8)<<ans<<endl;//输出ans（float）格式控制为8位小数（含整数部分）*/
	ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);//同步流
int n;
cin>>n;
for(int i=1;i<=n;i++){
	cin>>a[i];
	a[i]-=i; 
	b[i]=a[i];
}
sort(b+1,b+n+1);
for(int i=1;i<=n;i++){
	ll res=1e18;
	for(int j=1;j<=n;j++){
		res=min(res,dp[i-1][j]); 
		dp[i][j]=res+abs(a[i]-b[j]); 
	}
}
ll ans=1e18;
for(int i=1;i<=n;i++){
	ans=min(ans,dp[n][i]);
} 
cout<<ans<<endl;
	return 0;
}