二分答案

$4 \times 10^5$的范围$n^2$暴力肯定不行

不难发现，在寻找 $j$时，本质上是寻找最后一个比 $a_i$小的 $a_j$。$(k+1 \le i \le n)$

那么先求一遍 $a_1$到 $a_k$后缀最小值，我们发现，现在的后缀最小值满足单调性，那么就可以二分最小的操作次数

#include<bits/stdc++.h>
using namespace std;
#define int long long
int a[400005];
int b[400005];
int c[400005];
 int n,k;
bool check(int x)//验证函数
{ 
  
  for(int i=n;i>k;i--)
  {
    if(i-x>k)continue;
    int sum=max(1ll,i-x);
    if(a[i]>c[sum])
    return 1;
  }
  return 0;
}
signed main()
{
  
   cin >> n >>k;
   for(int i=1;i<=n;i++)
   {
    cin >> a[i];
   }
   int mi=1e9;
   for(int i=k;i>=1;i--)\\维护后缀最小值
   {
      mi=min(a[i],mi);
      c[i]=mi;
   }
   int l=1,r=n;
   int mid;
   while(l<=r)//二分答案
   {
    int mid=(l+r)>>1;
    if(check(mid))
    r=mid-1;
    else
    l=mid+1;
   }
   if(l<=n)//有解
   cout <<l<<"\n";
   else
   cout <<"-1\n";
}