Codeforces1291B Array Sharpening思维+构造

题目链接

题意：给出一个数组问经过任意次操作（可任意选择一个数将其减小到一个非负数）后该数组是否可以变成a0<a1<a2<a3<…ak+1>ak+2>…>an-1的形式，是输出Yes，否则输出No

思路：思维+构造，既然每个数可以减小到非0那就干脆让这个序列变成0,1,2,3,…,k,k-1,k-2,…0的形式，开始的时候老想不明白最高峰怎么确定，如果贪心的话每次走到一个最大的数就停或者走到最大的数停这样都不行，因为最高峰可能会变，那么就可以通过构造这样形式，对a[0,n]进行递增即[0,k]的扩展，对从左往右如果要能够满足递增形式那么至少要能扩展成a[i]>=i，这样a[i]才能够减小到i，此时确定出的最高峰是k1，而对于从右到左则要扩展从右到左的递增来确定最远能到哪里，此时得出的最高峰是k2，如果要满足序列形式那么必然要有最高峰存在，而最高峰必然出现在左边扩展出来的线段和右边扩展出来的线段的公共部分，要有公共部分必然有k1<=k2，则可推出k1<=k2时满足条件

#include<iostream>
#include<cstring>
#include<cstdio>
#include<cmath>
#include<algorithm>

using namespace std;

const int N=3e5+10;
int a[N];

int main()
{
    int t;
    cin>>t;
    while(t--){
        int n;
        cin>>n;
        memset(a,0,sizeof(a));
        for(int i=0;i<n;i++)cin>>a[i];
        int k1=-1,k2=-1;
        for(int i=0;i<n;i++){
            if(a[i]>=i)k1=i;
            else break;
        }
        for(int i=n-1,j=0;i>=0;i--,j++){
            if(a[i]>=j)k2=i;
            else break;
        }
        //cout<<k1<<' '<<k2<<endl;
        if(k2<=k1)puts("Yes");
        else puts("No");
    }
    return 0;
}