数学：二分法

二分法博大精深

关键在于整数二分的时候+1-1的问题

Codevs1766装果子就是一道不容易看出来是二分法的题目

二分的关键是单调性

这个题假如是穷举的话，就从小到大去枚举包的空间的大小

当然，这种枚举是确定了上下界的枚举，下界就是最大水果堆的数量，上界就是所有水果数量之和

然后答案要求的是最小的能装下所有水果的包的大小，用多少包是确定的

由于限制了包的总数，那么包过大，虽然能装下尽可能多的水果，但是不满足题意

如果包过小，用的包的数量就会变多，可能超过题目给出的包的容量限制

我们这里要找的是一个临界值，可以看出它是有单调性的，而且肯定是有解的

这里可以二分

#include<cstdio>
#include<algorithm>
using namespace std;
const int maxn=100005;
long long n,m;
long long ans;
long long a[maxn];
bool check(long long v)
{
    long long tot=0,tmp1=v,tmp2=m-1;
    while(tot<n)
    {
        tot++;
        tmp1-=a[tot];
        if(tmp1<0)
        {
            tmp1=v-a[tot];
            tmp2--;
            if(tmp2<0) return false;
        }
    }
    return true;
}
void ef(long long l,long long r)
{
    long long m;
    while(l<=r)
    {
        m=(l+r)/2;
        if(check(m))
        {
            r=m-1;
            ans=m;
        }
        else l=m+1;
    }
}
int main()
{
    long long L=0,R=0;
    scanf("%lld%lld",&n,&m);
    for(int i=1;i<=n;i++)
    {
        scanf("%lld",&a[i]);
        R+=a[i];
        L=max(L,a[i]);
    }
    ef(L,R);
    printf("%lld",ans);
    return 0;
}

这题是典型的二分答案了，二分法的题以后必须得补，太容易考也太重要了