EKO/砍树

题目描述

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

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

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

输入格式

第 11 行 22 个整数 NN 和 MM，NN 表示树木的数量，MM 表示需要的木材总长度。

第 22 行 NN 个整数表示每棵树的高度。

输出格式

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

输入输出样例

输入 #1复制

4 7
20 15 10 17

输出 #1复制

15

输入 #2复制

5 20
4 42 40 26 46

输出 #2复制

36

说明/提示

对于 100\%100% 的测试数据，1\le N\le10^61≤N≤106，1\le M\le2\times10^91≤M≤2×109，树的高度 <10^9<109，所有树的高度总和 >M>M。

//思路：1.假设一个答案，我们进行验证可以放几头牛
//     即枚举答案，来判断答案是否可行
//    2.面对庞大的数据，我们可以用二分答案来进行简化
//使用二分答案（对猜测的答案进行二分）的前提：1.答案在一个区间内
//                      2.直接搜索不好搜，但是容易判断答案可行不可行
//                      3.该区间对题目具有答案行
//二分的特征：题面常有：最大的最小，最小的最大
 

代码：

#include <bits/stdc++.h>
using namespace std;
bool check(int*a,int n,int mid,int m)
{
    long long sum=0;//这个一定要用long long,用int就会有数据不通过，哭死
    for(int i=1;i<=n;i=i+1)
    {
        if(a[i]>mid)
        sum=sum+a[i]-mid;
    }
    if(sum>=m)
    {
        return 1;
    }
    else
    {
        return 0;
    }
}
int main()
{
    int n,m;
    cin>>n>>m;
    int a[n+1]; 
    int r=0;
    for(int i=1;i<=n;i=i+1)
    {
        cin>>a[i];
        r=max(r,a[i]);
    }
    int l=1;

    int max;
    while(l<=r)
    {
        int mid=(l+r)/2;
        if(check(a,n,mid,m))
        {
            l=mid+1;
            max=mid;
        }
        else
        {
            r=mid-1;
        }
    }
    cout<<max;
    return 0;
}