cf.Extreme Subtraction（逆向思维）

题目链接

题意简化：

对于一个序列而言，如果能够操作后全部化为0，那么用该操作的逆操作（全为0的序列上面选k加1）便可以恢复该序列。那么我们就可以把逆操作分为左和右两组，容易看出这两组操作构造出来的序列必然是一个单调不升和一个单调不降。这样，原序列就可以看成是一个单调不升序列和一个单调不降序列的和。这样，我们只需证明原序列是符合该条件的即可。

构造思路：

要在各位和固定的情况下构造一个单调不升序列和一个单调不降序列，根据贪心的原则，我们肯定得让单调不升序列降低得慢、单调不降序列下降的慢。这样可以给后面的构造留下最大的活动空间（即上升序列可以下降的空间最大，下降序列…）。
那么对于单调不升序列a、单调不降序列b、原序列v，该这样构造：

a[0] = v[0], b[0] = 0;//使得单调不升序列开头最大，单调不降序列开头最小，后面可活动空间大
for (int i = 1; i < n; i++)
{
	a[i] = min(v[i] - b[i - 1], a[i - 1]);//在保证不上升不下降的同时，a[i]选最大可选值
	b[i] = v[i] - a[i];
}

然后在构造的过程中判断a,b是否满足其性质即可。

主要难点:

逆向思维（该思维在博弈论中用的比较多）

AC代码：

#include<iostream>
#include<algorithm>
using namespace std;
const int MAX_N = 3e5 + 5;
int v[MAX_N];
int main()
{
	int t;
	cin >> t;
	while (t--)
	{
		int n;
		cin >> n;
		for (int i = 0; i < n; i++)cin >> v[i];
		int a, b, al=v[0], bl=0;
		bool f = true;
		for (int i = 1; i < n&&f; i++)
		{
			a = min(v[i] - bl, al);
			b = v[i] - a;
			if (a < 0 || b<bl)f = false;
			al = a, bl = b;
		}
		if (f)cout << "YES" << '\n';
		else cout << "NO" << "\n";
	}
	return 0;
}

太久没有做过题了，一道普通题都做了这么久，打acm果然需要不断的锻炼啊~