非递减数列

给你一个长度为 $n$ 的整数数组，请你判断在 最多 改变 $1$ 个元素的情况下，该数组能否变成一个非递减数列。

我们是这样定义一个非递减数列的： 对于数组中所有的 $i(0<=i<=n-2)$，总满足 $nums[i]<=nums[i+1]$。

示例 1:

输入: nums = [4,2,3]
输出: true
解释: 你可以通过把第一个4变成1来使得它成为一个非递减数列。
示例 2:

输入: nums = [4,2,1]
输出: false
解释: 你不能在只改变一个元素的情况下将其变为非递减数列。

说明：

$$\begin{gathered} 1<=n<=10^4 \\ 10^5<=nums[i]<=10^5 \end{gathered}$$

1. 方法一：数组
   首先思考如下问题：

要使数组 $\text{nums}$ 变成一个非递减数列，数组中至多有多少个 $i$ 满$\text{nums}[i]>\text{nums}[i+1]$？

假设有两个不同的下标 $i$, $j$ 满足上述不等式，不妨设 $i<j$.

若 $i+1<j$，则无论怎么修改 $\text{nums}[i]$或 $\text{nums}[i+1]$，都不会影响 $\text{nums}[j]$ 与 $\text{nums}[j+1]$ 之间的大小关系；修改 $\text{nums}[j]$ 或 $\text{nums}[j+1$ 也同理。因此，这种情况下，我们无法将 $\text{nums}$变成非递减数列。

若 $i+1=j$，则有 $\text{nums}[i]>\text{nums}[i+1]>\text{nums}[i+2]$。同样地，无论怎么修改其中一个数，都无法使这三个数变为 $\text{nums}[i]\le \text{nums}[i+1]\le \text{nums}[i+2]$ 的大小关系。

因此，上述问题的结论是:

至多一个。

满足这个条件就足够了吗？并不，对于满足该条件的数组 $[3,4,1,2]$ 而言，无论怎么修改也无法将其变成非递减数列。

因此，若找到了一个满足 $\text{nums}[i]>\text{nums}[i+1]$的 $i$，在修改 $\text{nums}[i]$ 或 $\text{nums}[i+1]$ 之后，还需要检查 $\text{nums}$是否变成了非递减数列。

我们可以将 $\text{nums}[i]$ 修改成小于或等于 $\text{nums}[i+1]$ 的数，但由于还需要保证 $\text{nums}[i]$ 不小于它之前的数，$\text{nums}[i]$ 越大越好，以将 $\text{nums}[i]$ 修改成 $\text{nums}[i+1]$ 是最佳的；同理，对于 $\text{nums}[i+1]$，修改成 $\text{nums}[i]$是最佳的。

修改 $\text{nums}[i]$ 为 $\text{nums}[i+1]$ 后，还需要保证 $\text{nums}[i-1]\le \text{nums}[i]$ 仍然成立，即 $\text{nums}[i-1]\le \text{nums}[i+1]$，若该不等式不成立则整个数组必然不是非递减的，则需要修改 $\text{nums}[i+1]$ 为 $\text{nums}[i]$。修改完后，接着判断后续数字的大小关系。在遍历中统计 $\text{nums}[i]>\text{nums}[i+1]$的次数，若超过一次可以直接返回 $\text{false}$。

复杂度分析

时间复杂度：$O(n)$，其中 $n$ 是数组 $\text{nums}$ 的长度。

空间复杂度：$O(1)$。

class Solution {
public:
    bool checkPossibility(vector<int>& nums) {
        int n=nums.size();
        int cnt=0;
        for (int i=0;i<n-1;i++){
            if (nums[i]>nums[i+1]){
                cnt++;
                if (cnt>1) return false;
                if (i>0&&nums[i-1]>nums[i+1]){
                    nums[i+1]=nums[i];
                }
            }
        }
        return true;
    }
};