C做法

二分出d的大小，然后判断
先算出a严格递增所需的次数，存到b数组里。然后判断最少需要几次区间操作可以得到b的操作次数。
由于区间操作使得一个下标加一，一个下标减一，计算正的差分的和就可知道总操作次数。

代码

#include<iostream>
#include<stack>
#include<queue>
#include<map>
#include<set>
#include<vector>
#include<algorithm>
#include<cstring>
using namespace std;
#define endl "\n"
#define pr(x) cout<<"ans="<<x<<endl;
#define pp(x) cout<<x<<"\n";
#define ll long long int 
const int mod=1e9+7;
const int N=2e5+10;
ll n,m;
ll a[N];
ll aa[N];
ll b[N];
bool check(ll x)
{
    for(ll i=1;i<=n;i++) a[i]=aa[i],b[i]=0;
    ll cnt=0;
    for(ll i=2;i<=n;i++)
    {
        if(a[i]<=a[i-1])
        {
            ll d=a[i-1]-a[i];
            cnt = (d+ 1 + x - 1) / x; 
            b[i]=cnt;
            a[i]+=cnt*x;
        }
    }
    ll ans=0;
    for(ll i=2;i<=n;i++)
    {
        ans+=max(0ll,b[i]-b[i-1]);
    }
    if(ans<=m) return 1;
    return 0;
}
void solve()
{
    cin>>n>>m;
    for(ll i=1;i<=n;i++)
    {
        cin>>aa[i];
    }
    bool already_sorted=true;
    for(int i=2;i<=n;i++)
    {
        if(aa[i]<=aa[i-1])
        {
            already_sorted=false;
            break;
        }
    }
    if(already_sorted)
    {
        pp(0);
        return;
    }
    if(m==0)
    {
        pp(-1);
        return;
    }
    ll ans=-1;
  
    ll l=1,r=1e9;
    while(l<=r)
    {
        ll mid=(l+r)/2;
        if(check(mid))
        {
            ans=mid;
            r=mid-1;
        }
        else l=mid+1;
    }
    pp(ans);
}
int main()
{
    int _=1;
    cin>>_;
    while(_--)
    {
        solve();
    }
}