【BZOJ1639】月度开销

传送门已损坏

题目描述

农夫约翰是一个精明的会计师。他意识到自己可能没有足够的钱来维持农场的运转了。他计算出并记录下了接下来 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。其他任何分配方案都会比这个值更大。

二分法

二分好比说你要从一本英汉词典上查一个单词，你从头到尾一页一页的翻着找，这样找可以保证一定能找到，但是最坏情况你要把整本词典都翻一遍，那就麻烦了。
有什么改进的方法吗？当然有。

考虑把这个词典从中间分开，看一下中间那一页的主要单词都是啥，然后去判断我要找的单词应该在左半部分还是右半部分，再去那一部分考虑怎么找就好了。同样的，在另一部分也是要进行划分并且判断的操作。这样一直进行下去，便能很快的找到答案，而且根本不需要翻过整个词典来。

可以证明，如果一页一页的找，最多要找n次，但是用这个方法，最多找floor(log2n)次。
我们把这个方法叫做“二分答案”。顾名思义，它用二分的方法枚举答案，并且枚举时判断这个答案是否可行。但是，二分并不是在所有情况下都是可用的，使用二分需要满足两个条件。一个是有界，一个是单调。

二分答案应该是在一个单调闭区间上进行的。也就是说，二分答案最后得到的答案应该是一个确定值，而不是像搜索那样会出现多解。二分一般用来解决最优解问题。刚才我们说单调性，那么这个单调性应该体现在哪里呢？

可以这样想，在一个区间上，有很多数，这些数可能是我们这些问题的解，换句话说，这里有很多不合法的解，也有很多合法的解。我们只考虑合法解，并称之为可行解。考虑所有可行解，我们肯定是要从这些可行解中找到一个最好的作为我们的答案， 这个答案我们称之为最优解。

最优解一定可行，但可行解不一定最优。我们假设整个序列具有单调性，且一个数x为可行解，那么一般的，所有的x’(x’<x)都是可行解。并且，如果有一个数y是非法解，那么一般的，所有的y’(y’>y)都是非法解。

————————————————————————————————————————

那么什么时候适用二分答案呢？注意到题面：使得选手们在比赛过程中的最短跳跃距离尽可能长。如果题目规定了有“最大值最小”或者“最小值最大”的东西，那么这个东西应该就满足二分答案的有界性（显然）和单调性（能看出来）。

主要思路

二分答案，然后贪心check就可以了。

定义k为加入多少块木板，sum为前一个fajo月的开销。

对于每一个a[i]

1. 如果大于我们二分定义的answer，返回错误；
2. 如果与前一个fajo月的开销连起来大于我们二分定义的answer，那么加上一块木板把它们分开，并把自己作为开头组成一个fajo月；
3. 如果与前一个fajo月的开销连起来小于或等于我们二分定义的answer，就把它们连起来。
4. 如果都不符合，那么代表遍历完了，返回我们加入的木板的数量是否小于等于m-1(把一个序列分成m段，相当于加入m-1个木板）。

bool check(int mid){
	int sum=0,k=0;
	for(int i=1;i<=n;i++){
		if(a[i]>mid)return false;
		if(a[i]+sum>mid)k++,sum=a[i];
		else sum+=a[i];
	}
	return k<m;//与小于等于m-1意义相同
}

——————————AC代码

#include<bits/stdc++.h>
using namespace std;
int n,m,a[300010],mmax,ans=99999999;
bool check(int mid){
	int sum=0,k=0;
	for(int i=1;i<=n;i++){
		if(a[i]>mid)return false;
		if(a[i]+sum>mid)k++,sum=a[i];
		else sum+=a[i];
	}
	return k<m;//与小于等于m-1意义相同
}
int main(){
	cin>>n>>m;
	for(int i=1;i<=n;i++){
		cin>>a[i];
	}
	int l=0,r=1e9;
	while(l<r){
		int mid=(l+r)/2;
		if(check(mid)){
			ans=min(ans,mid);
			r=mid;
		}
		else{
			l=mid+1;
		}
	}
	cout<<ans;
	return 0;
}

——————————QAQ