二分答案——砍树(洛谷 P1873)

题目选自洛谷P1873

分析：如果句子非常低，可以收集到的木材会更多，以至于超过需要的数量。随着砍树高度逐渐增大，获得的木材会逐渐减少。砍树高度增加到一定程度时，收集到的木材就会开始不够用。因此需要找到最大的x，使得刚好满足需求；哪怕再高1米，都无法满足要求。这时x就是答案。

显然，我们可以从1开始一米一米地往上面枚举，每次枚举高度都需要计算收集到的木材数量，如果x米满足，但x+1无法满足要求，输出x。 这种方法虽然答案是对的，但是复杂度是O(n×h)，效率很低，所以要想更好的办法。

先来变换一下题目：令“条件”表示“当砍树高度为x时可以获取不少于m的木材”，那么久是要找到最大的x使得“条件”成立。再看一下这个“条件”是否具有单调性：当x超过某个数时，“条件”一定不成立，而不超过这个数时，“条件”一定成立。完全符合二分条件。

注意，这里树的位置其实和答案无关，所以不需要我们进行排序。

 

题目描述
伐木工人米尔科需要砍倒M米长的木材。这是一个对米尔科来说很容易的工作，因为他有一个漂亮的新伐木机，可以像野火一样砍倒森林。不过，米尔科只被允许砍倒单行树木。
米尔科的伐木机工作过程如下：米尔科设置一个高度参数H（米），伐木机升起一个巨大的锯片到高度H，并锯掉所有的树比H高的部分（当然，树木不高于H米的部分保持不变）。米尔科就行到树木被锯下的部分。
例如，如果一行树的高度分别为20，15，10和17，米尔科把锯片升到15米的高度，切割后树木剩下的高度将是15，15，10和15，而米尔科将从第1棵树得到5米，从第4棵树得到2米，共得到7米木材。
米尔科非常关注生态保护，所以他不会砍掉过多的木材。这正是他为什么尽可能高地设定伐木机锯片的原因。帮助米尔科找到伐木机锯片的最大的整数高度H，使得他能得到木材至少为M米。换句话说，如果再升高1米，则他将得不到M米木材。

输入格式
第1行：2个整数N和M，N表示树木的数量（1<=N<=1000000）,M表示需要的木材总长度（1<=M<=2000000000）
第2行：N个整数表示每棵树的高度，值均不超过1000000000。所有木材长度之和大于M，因此必有解。

输出格式
第1行：1个整数，表示砍树的最高高度。

输入样例

5 20
4 42 40 26 46

输出样例

36

解题代码： 

#include<stdio.h>
#include<iostream>
using namespace std;
typedef long long LL;
LL a[1000010],n,m;
bool p(int h){
	LL tot = 0;
	for(int i=1;i<=n;i++)
	    if(a[i] > h)
	    	tot += a[i] - h;
	return tot >=m;
}
int main(){
	cin>>n>>m;
	for(int i=1;i<=n;i++)
		scanf("%lld",&a[i]);
	int L = 0, R = 1e9, ans ,mid;
	while(L <= R)
		if(p(mid = (L + R) >> 1))
			ans = mid, L = mid + 1;
		else R = mid - 1;
	printf("%d",ans);
	return 0;
}