首先让我们先学一下二分答案这个东西...

 

二分答案，肯定与二分有关，还与可能是答案的东西有关...

二分答案的准确定义：

二分答案是指在答案具有单调性的前提下，利用二分的思想枚举答案，将求解问题转化为验证结果。

 

大体流程：

首先需要估计答案的上下界，然后不断取区间中点进行验证（这就要求答案的验证应当简单可行），并通过验证结果不断更新答案区间，最终得到答案。不难看出，朴素的枚举验证时间复杂度是O(n)的，而二分可以做到O(logn)

 

二分答案的特征：

1.答案具有单调性

2.二分答案的问题往往有固定的问法，比如：令最大值最小（最小值最大），求满足条件的最大（小）值等。

 

二分答案的写法：

1.在单调递增序列a中查找 >= x 的数中最小的一个（即x 或 x的后继）：

1 while (l < r) {
2     int mid = (l + r) >> 1;
3     if (a[mid] >= x) r = mid;
4     else l = mid + 1;
5 }
6 return a[l];

后继

 

2.在单调递增序列a中查找 <= x 的数中最大的一个（即x 或 x的前驱）：

1 while (l < r) {
2     int mid = (l + r + 1) >> 1;
3     if (a[mid] <= x) l = mid;
4     else r = mid - 1;
5 }
6 return a[l];

前驱

 

关于这两段代码的解释（见下图）：

 

下面这是一个二分答案的模板题（2019 pdoi T3）：

https://www.luogu.org/problemnew/show/P2678

 

---

 

 

这是一个二分答案的模板，然后二分答案的题的细节实在是太多了！！！（然后就一直wa ,无法列举..

（在不知道有二分答案这个东西之前发现自己的思路完全与其相反，自己只是暴力地解出答案，而不是二分枚举答案

 

二分答案的核心上面也都讲了，下面直接是AC代码外加部分细节解释：

 

 1 #include <cstdio>
 2 
 3 inline int get_num(){
 4     int num = 0;
 5     char c = getchar();
 6     while (c < '0' || c > '9') c = getchar();
 7     while (c >= '0' && c <= '9')
 8         num = num * 10 + c - '0', c = getchar();
 9     return num;
10 }//快读 
11 
12 const int maxn = 5e4 + 5;
13 
14 int stone[maxn], n, m, L;
15 
16 inline int check(int x){
17     int cnt = 0, last = 0;
18     for(int i = 1; i <= n; i++){
19         if(stone[i] - stone[last] < x) cnt++;
20         //留着这块石头发现最短路径小于mid，则要删去 
21         else last = i;//留着则更新上一块石头坐标 
22     }
23     if(cnt <= m) return 1;//是否合法 
24     else return 0;
25 }//检查是否合法 
26 
27 int main(){
28     L = get_num(), n = get_num(), m = get_num();
29     for(int i = 1; i <= n; i++) stone[i] = get_num();
30     int l = 1, r = L;//@1
31     while(l < r){
32         int mid = (l + r + 1) >> 1;//@2
33         if(check(mid)) l = mid;
34         else r = mid - 1;
35     }//二分答案的核心 
36     printf("%d", l);
37     return 0;
38 }

AC代码

 

解释：

@1：将r先设到不可能越界的一个位置，然后再进行二分，保证答案在[L,R]这个区间中

@2：>>1 和 / 2 都是除以二，但是 >> 1 是向下取整， / 2是向零取整，为了避免二分答案中出现负数。这行如果写成这种形式，那么r就直接赋值为L，不要赋值L+1