002:月度开销

农夫约翰是一个精明的会计师。他意识到自己可能没有足够的钱来维持农场的运转了。他计算出并记录下了接下来 N (1 ≤ N ≤ 100,000) 天里每天需要的开销。

约翰打算为连续的M (1 ≤ M ≤ N) 个财政周期创建预算案，他把一个财政周期命名为fajo月。每个fajo月包含一天或连续的多天，每天被恰好包含在一个fajo月里。

约翰的目标是合理安排每个fajo月包含的天数，使得开销最多的fajo月的开销尽可能少。

输入
第一行包含两个整数N,M，用单个空格隔开。
接下来N行，每行包含一个1到10000之间的整数，按顺序给出接下来N天里每天的开销。
输出
一个整数，即最大月度开销的最小值。
样例输入

7 5
100
400
300
100
500
101
400

样例输出

500

提示
若约翰将前两天作为一个月，第三、四两天作为一个月，最后三天每天作为一个月，则最大月度开销为500。其他任何分配方案都会比这个值更大。

和001派一样对答案二分就好了
但是有个陷阱：当二分的答案比分组中的值小时应该取最大值
例如 10 3 1 1 1 10000 1 1 1 1 1 1
二分的结果是7，但正确答案很明显是10000，这就是取最大月度开销的最小值
然后具体看代码吧。

#include<cstdio>
#include<cmath>
using namespace std;
int n,m;
int day[100005];
bool Check(int cost)
{
    int cnt = 0;
    int sum = 0;
    for(int i = 0; i<n; ++i)
    {
        if(sum+day[i]>cost)
        {
            sum = day[i];
            cnt++;
        }
        else if(sum+day[i]==cost)
        {
            sum = 0;
            cnt++;
        }
        else
            sum += day[i];
        if(i == n-1) //如果分完了，那还得在加一，因为此时sum应该算一组。
            cnt++;
        if(cnt>m)
            return false; //表示分的组更多，也就是cost过小，所以要分大一些
    }
    return true; /*不管分组是少了还是恰好，都说明cost可以更小*/
}
int BinarySearch(int l,int r)
{
    int mid;
    int Min = 0;
    while(l<=r)
    {
        mid = l+((r-l)>>1);
        if(Check(mid)) //分大了，可以往小了分
        {
            Min = mid;//记录当前的最小值
            r = mid-1;
        }
        else
            l = mid+1;
    }
    return Min;
}
int main()
{
    scanf("%d%d",&n,&m);
    int l = 10005,r = 0;
    int Max = 0;
    for(int i = 0; i<n; ++i)
    {
        scanf("%d",&day[i]);
        if(day[i]<l)
            l = day[i];
        if(day[i]>Max)
            Max = day[i];
        r += day[i];
    }
    int ans = BinarySearch(l,r);
    printf("%d\n",ans<Max ? Max : ans); //如果答案比分组中最大值小，就选后者
    return 0;
}