【Leetcode】2366. Minimum Replacements to Sort the Array（配数学证明）

题目地址：

https://leetcode.com/problems/minimum-replacements-to-sort-the-array/description/

给定一个长$n$数组$a$，每一步允许将其中某个数$a[i]$替换为两个数，且这两个数之和要等于$a[i]$（对于新产生的数也可以接着替换）。问最少要做多少次操作可以使得整个数组是非严格递增的。

我们从后向前考虑数组，如果第一次发现$a[i]>a[i+1]$了，我们才需要考虑做操作。如果不然，设某另一个最优方案里操作的最右边的数不是$i$，但是$a[i]$又必须被操作，所以这个最优方案操作的数就是$a[j],j>i$，操作会将$a[j]$变成若干更小的数，这个时候原方案肯定比这个最优方案更优（因为它限制少）。接下来考虑要将$a[i]$怎么做拆分。拆分必须满足$$a[i]=b_1+b_2+...+b_k,b_1\le b_2\le ...\le b_k\le a[i+1]$$$k-1$就是拆分的次数。为了使得后面继续拆分限制尽量少，我们希望$b_1$尽可能的大，且希望$k$尽可能小。容易证明$b_1\le \lfloor \frac{a[i]}{k}\rfloor$且这个值是能取到的，而直接让$k$尽可能小就能同时达到$b_1$尽可能大的目的。因为$b_k\le a[i+1]$，所以$a[i]\le k{b}_k\le ka[i+1]$，所以$k\ge \lceil \frac{a[i]}{a[i+1]}\rceil$。考虑等号能否取到。

如果$a[i+1]|a[i]$，那么$k=\frac{a[i]}{a[i+1]}$可以成立，此时$b_1=b_2=...=a[i+1]$就行了。

如果不能整除，$k=\lceil \frac{a[i]}{a[i+1]}\rceil$也可以成立，只需要$b_1,b_2,...$形如$\lfloor \frac{a[i]}{k}\rfloor ,\lfloor \frac{a[i]}{k}\rfloor ,...,\lfloor \frac{a[i]}{k}\rfloor +1,...$即可。代码如下：

class Solution {
 public:
  using ll = long long;
  ll minimumReplacement(vector<int>& a) {
    int n = a.size();
    ll res = 0;
    for (int i = n - 2; i >= 0; i--)
      if (a[i] > a[i + 1]) {
        int k = (a[i] + a[i + 1] - 1) / a[i + 1];
        res += k - 1;
        a[i] /= k;
      }
    return res;
  }
};

时间复杂度$O(n)$，空间$O(1)$。