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

题目描述：
伐木工人米尔科需要砍倒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个整数，表示砍树的最高高度。
输入输出样例
输入 #1
5 20
4 42 40 26 46
输出 #1
36

#include <bits/stdc++.h>
using namespace std;
const int N = 1e6+7;
int A[N];
typedef long long ll; ///考虑到输入整数过大，会爆int
ll n,m;
bool judge(int x){
    ll sum = 0;					///这个sum必须在这个地方初始化，每次调用judge，sum初始化为0
    for(int i=1;i<=n;i++){
        if(A[i]>x) sum=sum+A[i]-x;
    }
    if(sum>=m) return true;
    else return false;
}
int main(){
    ll l=0,mid,r,t=0;
    scanf("%lld %lld",&n,&m);
    for(int i=1;i<=n;i++){	///t取高度的最大值
        scanf("%lld",&A[i]);
        if(t<A[i]) t=A[i];
    }
    r = t;				  ///求出树的最大高度作为r
    while(l<r){			  ///以砍树的高度为对象进行二分
        mid = (l+r+1)/2;  ///这个题是要求尽量大的答案，故选这个板子
        if(judge(mid)) l = mid;
        else r = mid - 1;
    }
    printf("%lld\n",l);
}

补充：很明显，从题意知此题具有单调性（砍树高度越高，木材总长度越少）；这题主要考察二分法，二分有很多种写法边界问题有时不好处理，这里主要提供两个板子，足以解决所有问题：

bool judge(){
	//根据实际情况编写
}
//板子1：当要求尽量大的答案时
int l,r,mid;			//l,r的初始化需要看具体情况
while(l<r){
	mid = (l+r+1)/2;
	if(judge(mid)) l = mid;  ///judge函数需要按照题意自己编写，本题的judge函数可以参考下
	else r = mid-1;
}
//板子2：当要求尽量小的答案时
int l,r,mid;		     //l,r的初始化需要看具体情况
while(l<r){
	mid = (l+r)/2;
	if(judge(mid)) r = mid;
	l = mid+1;
}

最后，兄嘚，点个赞呗！(手动滑稽)