Acwing730 机器人跳跃问题(二分)

机器人跳跃问题

思路：
假设初始值能量为E，
往高处跳的能量变化为：
E-(H(k+1)-E)=2E-H(k+1)
往低处跳的能量变化为：
E+(E-H(k+1))=2E-H(k+1)
E越大，能量变化越大，所以具有单调性
如果我们找到一个符合题意的E，即那个至少的能量E，这时候E的左边，全部不符，E的右边全部符合，可知具有二段性
所以我们考虑二分
左边界设置为0
右边界具体设置为多少，需要我们去思考一下
如果我们假设右边界为建筑物的最高值maxh
则2E-a[i]>=0是一定的，而所有建筑物的高度<=100000,所以我们取右边界为100000，则能保证在每个建筑物的能量值都>=0，所以我们就在0-100000这个区间找符合题意的值即可
这里还有个小问题，因为能量每次都以2的倍数上涨，是个指数型的增长速度，很有可能会爆int和long long，这时候需要小小的优化一下，当e=1e5的时候，能量一定是>=0的，在1e5的右边，所有的值都符合

因为要找至少单位能量的初始值，我们肯定要在1e5的左边继续找，看能不能找到更小的，所以达到1e5，check函数直接返回true
然后具体二分，就直接套板子了

//https://www.acwing.com/problem/content/732/
#include<bits/stdc++.h>
using namespace std;
int n;
int a[100000 + 10];
bool check(int e) {
	for (int i = 0; i < n; i++) {
		e = 2 * e - a[i];
		if (e > 1e5) {
			return true;//当e=1e5的时候，能量一定是>=0的，在1e5的右边，所有的值都符合，如果继续往后推，可能会溢出了 
		}
		if (e < 0) {
			return false;
		}
	}
	return true;
}
int main() {
	cin >> n;
	for (int i = 0; i < n; i++) {
		cin >> a[i];
	}
	int l = 0;
	int r = 1e5;
	while (l < r) {
		int mid = (l + r) >> 1;
		if (check(mid)) {
			r = mid;
		} else {
			l = mid + 1;
		}
	}
	cout << l << endl;
}