CodeForce Round 933(div.3) -----B题题解

题目描述如下：

大致意思是给一个数列，和一个自定义运算，问该数列能否经过该自定义运算使自身全部化为0

 

本体的通过率比c题还低，本身偏向模拟的考点，把情况模拟出来就完成十之八九了（难点也在如何将情景模拟成代码，大家可以动手试一试），同时也有些要注意的小细节，对程序进行优化。

实话讲，本来我的第一思路是排除法，以为是偏向考察找数学规律，用if将把不合法的情况排除掉，但实际上写着写着会发现基本没啥规律，都是满足这个案例不满足另一个，这里就转换思路试了试直接模拟题目情况，结果比找数学规律乐观许多

回到题目上来，本题的模拟核心思路就是单凡有一个不为零我就cout NO，所以我直接从第一个不为零的数直接开始枚举-1，一旦牵动着a[i+1]或者a[i+2]变成零了而我a[i]还没变回零，你就一定不能再把a【i】变成零，直接输出NO即可

而本体光用枚举其实仔细观察数据大小我们会发现一定会超时，aj最大能取到1e9，此时从1e9往下一个个减必然tle，所以要优化我们的算法。

其实发现没必要一个个枚举-1，我们最终只是要找到某一个值让a【i】为零，同时判断a[i+1]与a[i+2]是否小于零而已，也就是找一个被减数，更倾向与模板的说法是找一个0到1e9范围中的数，使小于他的都无法让a[i]变到零，大于他会使数列出现负数出问题。这时二分的思路也就水到渠成了。

平时在写代码的过程中也要偶尔思考可优化点在哪里，为什么会超时，那些地方太暴力了之类的，这样才能体会到算法的实用性与强大

ac代码如下：

#include <bits/stdc++.h>
using namespace std;
#define endl '\n'
#define int long long
const int N=2e5+10;
int a[N];
int n,t;
void solve(){
	cin>>n;
	for(int i=0;i<n;i++){
		cin>>a[i];
	}
	for(int i=0;i<n-2;i++){
		if(a[i]==0) continue;
		if(a[i+1]==0){
			i=i+1;
			continue;
		}
		if(a[i+2]==0){
			i=i+2;
			continue;
		}
		while(a[i]>0&&a[i+1]>0&&a[i+2]>0){
			/*a[i]--;
			a[i+1]=a[i+1]-2; 
			a[i+2]--; *///会导致TLE的写法
			int l=0,r=1e9;
			while(l<r){
				int mid=l+r+1>>1;
				if(a[i]-mid<0) r=mid-1;
				else l=mid;
			}
			a[i]-=r;
			a[i+1]-=2*r;
			a[i+2]-=r;
		}
	}
	int flag=0;
	for(int i=0;i<n;i++){
		if(a[i]!=0) flag=1;
	}
	if(flag==1) cout<<"NO"<<endl;
	else cout<<"YES"<<endl;
}
signed main(){
	ios::sync_with_stdio(false);
	cin.tie(0);cout.tie(0);
	cin>>t;
	while(t--){
		solve();
	}
	return 0;
}