CF1486A

首先，为了让这个序列为一个严格递增的序列，我们得让前面的数严格递增的情况下让后面的数尽可能大。这样就更有可能形成严格递增的样子了。比如 1000 1000 1000，我们可以把它变成 0 1 2999。我们把这个序列前面的数变的最小，让最后一个数尽可能大。这样，如果还是不行，就像 0 0 1 0 一样，那么就不行，因为 0 0 1 0 只能变成 0 0 0 1，而它不是严格递增的。或者说，只要一个数不满足要求就输出 NO，反之亦然。比如 0 0 1 0，到第二个数时就不行了，前两个数只能变成 0 0 （因为不能做任何操作），不是严格递增的，直接输出 NO。

Code：

#include <bits/stdc++.h>
#define int long long
using namespace std;
signed main(){
    int t;
    cin >> t;
    while(t--){
        int n;
        cin >> n;
        int a[n];
        a[0] = -1; //让 a[1] 可以为 0
        for(int i = 1;i <= n;i++){
            cin >> a[i];
        }
        bool flag = true;
        for(int i = 1;i < n;i++){
            int q = a[i] - a[i - 1] - 1; //可以贡献给下一个数的数量
            //判断
            if(a[i] - q >= a[i + 1] + q){
                flag = false;
                cout << "NO" << endl;
                break;
            }
            a[i] -= q;
            a[i + 1] += q; //及时调整
        }
        if(flag){
            cout << "YES" << endl;
        }
    }
    return 0;
}