Codeforces Round #681 (Div. 1, based on VK Cup 2019-2020 - Final) A. Extreme Subtraction(构造)

题目链接
题意：

给出一个数组，有两种操作：

$1.$选前$k$个数减$1$

$2.$选后$k$个数减$1$

问是否可以将数组全减为0

题解：

一开始想某个数前缀最小值和后缀最小值相加 $\ge$ 当前数,那么这个数就一定能被减到0，果断冲了一发，$wa2$, 果然还是太菜了。。。

可以发现，当数组是单调递增或递减的，那么就一定可以被全减为0，那么我们就去考虑构造单调的序列。

假如我们要构造单调递增，那么当某个位置出现 $a[i]>a[i+1]$ ,我们只能对前缀 $i$ 减去 $a[i]-a[i+1]$ ,因为此时，我们保证了前 $i$ 个是单调递增的，那么最小值一定是 $a[1]$ ,那么就要判断 $a[1]$是否 $\ge$ $a[i]-a[i+1]$,不满足，则肯定不能构造，那么就说明无法减为 $0$ 。

代码：

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<queue>
#include<map>
#include<stack>
#include<set>
#include<ctime>
#define iss ios::sync_with_stdio(false)
using namespace std;
typedef unsigned long long ull;
typedef long long ll;
typedef pair<int,int>pii;
const int MAXN=1e5+5;
const int mod=1e9+7;
const ll inf=0x3f3f3f3f3f3f3f3f;
const double eps=1e-6;
int a[MAXN];
int main()
{
    int t;
    cin>>t;
    while(t--)
    {
        int n;
        cin>>n;
        for(int i=1;i<=n;i++) cin>>a[i];
        int res=a[1];
        int flag=0;
        for(int i=1;i<=n-1;i++)
        {
            if(a[i]>a[i+1])
            {
                int temp=a[i]-a[i+1];
                if(res>=temp) res-=temp;
                else flag=1;
            }
        }
        if(flag) printf("NO\n");
        else printf("YES\n");
    }
}