D. Extreme Subtraction(思维/差分) Codeforces Round #681

Codeforces Round #681 (Div. 2, based on VK Cup 2019-2020 - Final)

题意：给定一个长度为n的数组，可以使前k个或后k个元素-1，次数没有限制，问是否可以使所以元素同时为0。

第一次尝试思路：
如果对于中间任何数两侧最小值的和大于等于该数字，输出YES，否则输出NO. 样例过了，结果WA on test 2.
以上结论为可以做到的前提条件之一：某个数字x时,两侧的最小值和必须大于等于x，否则该数为0时会出现负数。
思路二：判断该数组是否可以分成 一个n长度不下降数组和一个n长度不上升数组的和。

11月9日更新，用思路二ac了 代码比较麻烦，调了好久。
网上的其他题解都是差分思路。
以下为差分ac代码：

#include<iostream>
#include<algorithm>
#include<iomanip>
#include<set>
#include<queue>
#include<stack>
#include<vector>
#include<map>
#include<string.h>
#include<string>
#include<math.h>
#define INF 0x7fffffff
#define IOS; {ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);}
#define debug(x) {cout<<"<<<<"<<(x)<<endl;}
#define print(x) {cout<<(x)<<endl;} 
const int N = 1e5+5;
typedef long long ll;
using namespace std;
ll a[N];
ll ans[N];
int main() {
	IOS;
	int t;cin>>t;
	while(t--)
	{
		int n;cin>>n;
		for(int i=1;i<=n;i++)
		{
			cin>>a[i];
		}
		for(int i=1;i<=n;i++)
		ans[i]=a[i]-a[i-1];
		int res=0;
		for(int i=2;i<=n;i++)
		{
			if(ans[i]<0)res+=(-1)*ans[i];
		}
		if(res<=a[1])cout<<"YES"<<endl;
		else
		cout<<"NO"<<endl;
	} 
	
	return 0;
}