二分答案的使用

什么时候用二分答案

题目要求一个解，通常是最优解，比如求满足某个条件下的最大值或最小值。
当求解比较困难时，可以思考是否能转换为判定问题，即给定一个解，判定它是否满足该条件。通常情况下，判定逻辑清晰明了，但带来的问题是需要枚举整个解空间，复杂度为$O(n)$。如果发现解空间具有单调性，就可以将解空间一分为二，每次缩小$1/2$，从而将时间复杂度从$O(n)$降到$O(logn)$。这就是通常说的"二分+判定"，是复杂题目里进行算法优化的常用方法。

几个关键点

判定算法/函数：
给定一个解$x$，判定是否满足题目的条件。一般判定算法会用到贪心，复杂度控制在$O(n)$。
解空间具有单调性：
如果判定函数$check(x)$关于$x$具有单调性，以 力扣1011为例，当运载能力$x$ $\ge X$能运完，$<X$运不完，我们就说解空间具有单调性。
判定问题的转化：判定是否满足题目的条件等价于写出满足题意的不等式。
二分：
当解空间具有单调性时，枚举$x$时就可以用二分了。

例题

力扣1011
直接求解无从下手，转换为判定问题：当运载能力为$mid$时，是否能在days天内将货物运完。
解空间是否单调性：当$x\ge mid$时，肯定能运完，当$x<mid$时，肯定运不完，因此解空间单调。
1.写出判定函数：

    bool check(vector<int>& weights, int days, int cap) {
        int current=0;
        int day=1;
        for(auto weight:weights) {
            if(weight+current<=cap) { 
                current+=weight;
            }else {
                day++;
                current=weight;
            }
        }
        return day<=days;//判定是否满足题目的条件等价于写出满足题意的不等式
    }

2. 套用二分模板
   2.1 将判定函数放到$if$条件判断.
   2.2 根据是求最大值还是最小值，$if$里修改$left$或$right$:
   最大值/前驱$\le$：$left=mid$
   最小值/后继$\ge$：$right=mid$
   2.3 $else$里写另一半：
   $right=mid+1$
   $left=mid-1$ //这种情况下$mid=(left+right+1)/2$

    int shipWithinDays(vector<int>& weights, int days) {
        int left=0,right=0;
        for(auto weight:weights) {
            left=max(left, weight);
            right+=weight;
        }
        while(left<right) {
            int mid=(left+right)/2;
            if(check(weights, days, mid)) { //最小值/后继
                right=mid;
            } else {
                left=mid+1;
            }
        }
        return right;
    }

3. 无解情况可以加哨兵，如前驱时$left=-1$表示无解，后继时$right=n$表示无解