二分——砍树

[COCI 2011/2012 #5] EKO / 砍树

题目来源：https://www.luogu.com.cn/problem/P1873

题目描述

伐木工人 Mirko 需要砍 $M$ 米长的木材。对 Mirko 来说这是很简单的工作，因为他有一个漂亮的新伐木机，可以如野火一般砍伐森林。不过，Mirko 只被允许砍伐一排树。

Mirko 的伐木机工作流程如下：Mirko 设置一个高度参数 $H$（米），伐木机升起一个巨大的锯片到高度 $H$，并锯掉所有树比 $H$ 高的部分（当然，树木不高于 $H$ 米的部分保持不变）。Mirko 就得到树木被锯下的部分。例如，如果一排树的高度分别为 $20,15,10$ 和 $17$，Mirko 把锯片升到 $15$ 米的高度，切割后树木剩下的高度将是 $15,15,10$ 和 $15$，而 Mirko 将从第 $1$ 棵树得到 $5$ 米，从第 $4$ 棵树得到 $2$ 米，共得到 $7$ 米木材。

Mirko 非常关注生态保护，所以他不会砍掉过多的木材。这也是他尽可能高地设定伐木机锯片的原因。请帮助 Mirko 找到伐木机锯片的最大的整数高度 $H$，使得他能得到的木材至少为 $M$ 米。换句话说，如果再升高 $1$ 米，他将得不到 $M$ 米木材。

输入格式

第 $1$ 行 $2$ 个整数 $N$ 和 $M$，$N$ 表示树木的数量，$M$ 表示需要的木材总长度。

第 $2$ 行 $N$ 个整数表示每棵树的高度。

输出格式

$1$ 个整数，表示锯片的最高高度。

样例 #1

样例输入 #1

4 7
20 15 10 17

样例输出 #1

15

样例 #2

样例输入 #2

5 20
4 42 40 26 46

样例输出 #2

36

提示

对于 $100\%$ 的测试数据，$1\le N\le 10^6$，$1\le M\le 2\times 10^9$，树的高度 $\le 4\times 10^5$，所有树的高度总和 $>M$。

思路分析

本道题如果使用暴力枚举的话，时间复杂度过高，总结：对于二分的题目：首先我们得知道二分的性质：二段性（主要）、单调性。其次，一道题是否能用二分的其中一个前提是：我们给它一个答案（类似预估函数的思想），看他是否能跟题目给定的类似数量、价值对应的上，但有的时候这种对应比较复杂，因此对于这类题，我们应该尽量往它上边去凑，其二，二分题其实也有很明显的标志，那就是像什么最大值最小，最小值最大标志，我们以最大值最小为例，这5个字的核心是最小，所以我们二分的时候当满足条件的时候，我们让r=mid就可以了，其余类似

代码

//通过二分来做，因为我们给它答案我们会更好算
#include<iostream>

using namespace std;

typedef long long LL;

const int N = 1e6+10;

int w[N];
int n,m;

bool check(int x){
    LL res=0;
    for(int i=1;i<=n;i++){
        res+=max(0,(w[i]-x));
    }
    
    if(res>=m)return true;
    return false;
}

int main(){
    cin>>n>>m;
    
    for(int i=1;i<=n;i++)cin>>w[i];
    
    int l=0,r=N;
    while(l+1!=r){
        int mid=(l+r)>>1;
        if(check(mid))l=mid;
        else r=mid;
    }
    
    cout<<l;
    
    return 0;
}