首先,为了让这个序列为一个严格递增的序列,我们得让前面的数严格递增的情况下让后面的数尽可能大。这样就更有可能形成严格递增的样子了。比如 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;
}