二分答案(最大值最小化，最小值最大化)

什么是二分答案呢？
这样的题从题目中可以发掘出我们要求得的答案的范围，知道答案的左边界和右边界，然后就可以套用二分法的模板了。
二分答案类的题呢，有两个标志性的词语：最小值最大化和最大值最小化。
最小值最大化类：

先看一道例题：

 题目要求输出的是相邻两头牛最大的最近距离，就是每种情况的最小值里面最大的那一个，就是二分答案里面的最小值最大化的问题。AC代码如下

#include <iostream>
#include<algorithm>
#include<cmath>
#define IOS ios::sync_with_stdio(0),cin.tie(0),cout.tie(0)
using namespace std;
long long int a[500009],b[500009];
long long int c,n,i,j;
bool check(int k){
    int ans=1,now=1;
    for(j=2;j<=n;j++){
        if(a[j]-a[now]>=k){
            ans++;
            now=j;
        }
    }
    return ans>=c;
}
int main(){
    IOS;
    cin>>n>>c;

    for(i=1;i<=n;i++){
        cin>>a[i];
    }

    sort(a+1,a+1+n);
    int l=1,r=a[n]-a[1];
    while(l<r){
        int mid=(l+r+1)>>1;
        if(check(mid)){
            l=mid;
        }else{
            r=mid-1;
        }
    }

    cout<<r<<endl;
    return 0;
}

在这篇代码里我们将区间分为两部分，[l,mid)和[mid,r],所以我们运用了上篇博客的第一种模板，在这里ans>=c作为返回条件，说明我们的K取小了，我们需要向[mid,r]区间取值，所以如果返回true，l=mid.

最大值最小化类：

看一道例题：

 题目要求输出的是最大值最小是多少，就是每种情况最大的里面最小的那一个，就是二分答案里面最大值最小化的问题。看AC代码

#include <iostream>
#define IOS ios::sync_with_stdio(0),cin.tie(0),cout.tie(0)
using namespace std;
int n,m,i,j;
int a[110000];
bool check(int k){
    int num=0,ans=0;
    for(j=1;j<=n;j++){
       if(a[j]+num<=k){
        num+=a[j];
       }else{
        num=a[j];
        ans++;
       }
    }
    return ans>=m;
}
int main(){
    IOS;
    cin>>n>>m;

     int sum=0,x=0;
    for(int i=1;i<=n;i++){
        cin>>a[i];
        x=max(x,a[i]);
        sum+=a[i];
    }

    int l=x,r=sum;
    while(l<r){
        int mid=(l+r)>>1;
        if(check(mid)){
            l=mid+1;
        }else{
            r=mid;
        }
    }

    cout<<l<<endl;
    return 0;
}

 在这篇代码里也是将区间分为两部分，即[l,mid]和(mid,r],当返回条件ans>=m为真时，说明我们的k取小了，需要在(mid,r]区间里取更大的值，所以check(mid)为真时，l=mid+1;

总结一下：

适用于最小值最大化的二分模板：

 while(l<r){
        int mid=(l+r+1)>>1;
        if(check(mid)){
            l=mid;
        }else{
            r=mid-1;
        }
    }

适用于最大值最小化的二分模板：

 while(l<r){
        int mid=(l+r)>>1;
        if(check(mid)){
            l=mid+1;
        }else{
            r=mid;
        }
    }