基本算法-二分法（整数二分）补充1

题目模型：

最大值最小化问题

题目来源：

P1182 数列分段 Section II - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)

题目描述：

问题分析：

在一次划分中，考虑一个x，使x满足：对任意si都有si《=下，也就是说，x是所有si中的最大值。

题目要求找到这个最小x。这就是最大值最小化问题。

思路：枚举每个x，用贪心法每次从左向右尽量划分元素，s（i）不能超过x，划分的子序列不超过m个。这个方法可行，但是枚举x太浪费时间。

改进方法：用二分法在【max，sum】中查找满足条件的x，其中max是序列中最大元素，sum是所有元素之和。

此题还是模板题，注意边界问题。

 参考模板 基本算法-二分法1（整数二分）模板+习题-CSDN博客

模板一if（check（））为ture，找左边界，否则找右边界。 

int bsearch1(int l,int r){
  while(i<j){
    int mid=i+r>>1;
    if(check(mid)) r=mid;//check()判断mid大于x
    else l=mid+1;
  }
  return l;
}//模板一

洛谷上其他题解有些问题：1.序列本身有一段，所以初始化为1。

2.check函数写法。段数划分如果等于或者大于题中要求段数，则继续考虑mid太大，选择左边界，所以使用模板一。

但是本题还是可以用模板来解决边界问题，模板是经过千锤百炼的。

运用模板主要考虑check函数写法，来考虑选择模板一或者二。

完整代码：

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;

const int N=1e5+10;
ll a[N],n,m,num=0,l=0,r=0,cnt;

bool check(ll b){
  cnt=1,num=0;
  for(int i=1;i<=n;i++){
    if(num+a[i]<=b) num+=a[i];
    else cnt++,num=a[i]; 
  } 
  if(cnt<=m) return true;
  else return false;
}

int main(){
  cin>>n>>m;
  for(int i=1;i<=n;i++) scanf("%lld",&a[i]),l=max(l,a[i]),r+=a[i];
  while(l<r){
    ll mid=l+r>>1;
    if(check(mid)) r=mid;
    else l=mid+1;
  }
  cout<<l<<endl;
  return 0;
}