【算法】对于二分算法的理解及例题解析

一、整数二分：

二、二分解法的模板：

 注意：有单调性一定可以二分，但是可以二分不一定有单调性。

三、例题

例题1：数的范围

给定一个按照升序排列的长度为 nn 的整数数组，以及 qq 个查询。

对于每个查询，返回一个元素 kk 的起始位置和终止位置（位置从 00 开始计数）。

如果数组中不存在该元素，则返回 -1 -1。

输入格式

第一行包含整数 n 和 q，表示数组长度和询问个数。

第二行包含 n 个整数（均在 1∼100001∼10000 范围内），表示完整数组。

接下来 q行，每行包含一个整数 k，表示一个询问元素。

输出格式

共 qq 行，每行包含两个整数，表示所求元素的起始位置和终止位置。

如果数组中不存在该元素，则返回 -1 -1。

数据范围

1≤n≤100000
1≤q≤10000
1≤k≤10000

输入样例：

6 3
1 2 2 3 3 4
3
4
5

输出样例：

3 4
5 5
-1 -1

难度：简单

时/空限制：1s / 64MB

总通过数：105214

总尝试数：172354

来源：模板题,AcWing

算法标签：二分

思路：

关于对两套模板的简单理解：
  以该题为例，寻找起始位置的时候，即令条件为q[mid]>=k的时候，满足条件的时候，我们要寻找的点在[l,mid]，如果还不好理解的话，我们可以这么想，我们最终要找的那个边界点是在右半区符合，而左半区不符合的。如果mid符合条件的话可以得出mid在右半区中，要找左边界点的话则令r=mid，如果mid不符合的话，l=mid+1。而令q[mid]<=k的时候，满足条件的时候，我们要寻找的点在[mid,r]，即我们最终寻找的点是在左半边符合，右半边不符合的。找到符合左边性质的右边界点，即终止位置，如果mid符合则mid在左半区，则令l=mid，如果不满足条件，则mid必定在右半区，r=mid-1。

注意，第二套模板也就是判定条件是是否属于左半区的性质的那套，如果mid=l+r>>1的时候，令l=r-1的时候，mid=l，会陷入死循环。

代码：

#include <iostream>

using namespace std;

const int N =1e6+10;

int m,n;
int q[N];

int main(){
    //读入数组的长度和询问个数
    cin>>n>>m;
    //输入一个按照升序排列的长度为n的整数数组
    for(int i=0;i<n;i++) cin>>q[i];

    //开始询问
    while(m--){
        //每一行输入一个整数k,表示询问一个元素
        int k;
        cin>>k;

        int l=0,r=n-1;
        while(l<r){
            int mid=l+r>>1;
            //检查条件 如果q[mid]大于询问元素，说明起始位置在【l，mid】中
            if(q[mid]>=k) r=mid;
            else l=mid+1;
        }
        if(q[l]!=k) cout<<"-1 -1"<<endl; //如果不存在该元素返回-1-1
        else {
            cout<<l<<' ';

            //寻找终止位置
            int l=0,r=n-1;
            while(l<r){
                int mid=l+r+1>>1;
                if(q[mid]<=k) l=mid;
                else r=mid-1;
            }

            cout<<l<<endl;

        }

    }

}

四、浮点数二分

这里使用 1e10-8，是因为题目要求保留小数点后6位，如果使用1e10-7, 那么这个因为四舍五入第八位到第七位，已经产生误差，输出六位时候误差会积累。如果使用-8，那么四舍五入第九位到第八位，取前六位时候，第七位会被truncate掉，但是第七位是准确值。

 五、例题二

给定一个浮点数 n，求它的三次方根。

输入格式

共一行，包含一个浮点数 n。

输出格式

共一行，包含一个浮点数，表示问题的解。

注意，结果保留 6 位小数。

数据范围

−10000≤n≤10000

输入样例：

1000.00

输出样例：

10.000000

难度：简单

时/空限制：1s / 64MB

总通过数：75649

总尝试数：143459

来源：模板题,AcWing

算法标签 二分

思路：

x的三次方跟的图像如下：有单调性，可二分。

两种方法。二分法解决，但是可能会超时，第二种用cbrt函数可以直接秒掉。

//方法一
#include <iostream>
using namespace std;

int main(){
    double x;
    cin>>x;

    double l=-10000,r=10000;
    while(r-l>1e-8){
        double mid =(l+r)/2;
        if(mid*mid*mid>=x) r=mid;
        else l=mid;
    }

    printf("%lf\n",l);

    return 0;
}

//方法二
#include <bits/stdc++.h>
using namespace std;
int main()
{
    double n;
    cin>>n;
    printf("%.6f",cbrt(a));//cbrt函数：用于求一个数的三次方跟
    return 0;
}