二分(整数二分和浮点数二分)

通过两个例题进行总结归纳

文章内容出自AcWing算法基础课

1. 整数二分

• 例题一：数的范围

题目：给定一个按照升序排列的长度为 n 的整数数组，以及 q 个查询。
对于每个查询，返回一个元素 k 的起始位置和终止位置（位置从 0 开始计数）。
如果数组中不存在该元素，则返回 -1 -1。

输入格式：第一行包含整数 n 和 q，表示数组长度和询问个数。
第二行包含 n 个整数（均在 1∼10000 范围内），表示完整数组。
接下来 q 行，每行包含一个整数 k，表示一个询问元素。

输出格式：共 q 行，每行包含两个整数，表示所求元素的起始位置和终止位置。
如果数组中不存在该元素，则返回 -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

代码如下：

# include <iostream>
# include <cstdio>

using namespace std;

int n, m;
int q[100010];

int main()
{
    cin>>n>>m;
    for(int i=0;i<n;i++) cin>>q[i];
    while(m--)
    {
        int k;
        cin>>k;
        int l = 0, r = n-1;
        int mid;
        while(l<r)//先找起始位置
        {
            mid = l+r>>1;
            if(q[mid]>=k) r=mid;
            else l = mid+1;
        }
        if(q[l]!=k) cout<<"-1 -1"<<endl;
        else
        {
            cout<<l<<" ";
            int l =0, r = n-1;
            while(l<r)//再找末位置
            {
                mid = l+r+1>>1;
                if(q[mid]<=k) l=mid;
                else r = mid-1;
            }
            cout<<l<<endl;
        }
    }

    return 0;
}

2. 浮点数二分

• 例题二：数的三次方根

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

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

输出：共一行，包含一个浮点数，表示问题的解。
注意，结果保留 6 位小数。

数据范围：−10000≤n≤10000

样例输入：1000.00

样例输出：10.000000

代码如下：

# include <iostream>

# include <cstdio>

using namespace std;

const double eps1 = 1e-8;

int main()
{
    double n;
    cin>>n;
    double l = -22;//最大数的3次方根不会超过22
    double r = 22;
    while(r-l>eps1)
    {
        double mid = (l+r)/2;
        if(mid*mid*mid>=n) r = mid;
        else l = mid;
    }
    printf("%.6lf\n", l);

    return 0;
}

总结：

整数二分算法模板：

bool check(int x) {/* ... */} // 检查x是否满足某种性质

// 区间[l, r]被划分成[l, mid]和[mid + 1, r]时使用：
int bsearch_1(int l, int r)
{
    while (l < r)
    {
        int mid = l + r >> 1;
        if (check(mid)) r = mid;    // check()判断mid是否满足性质
        else l = mid + 1;
    }
    return l;
}
// 区间[l, r]被划分成[l, mid - 1]和[mid, r]时使用：
int bsearch_2(int l, int r)
{
    while (l < r)
    {
        int mid = l + r + 1 >> 1;
        if (check(mid)) l = mid;
        else r = mid - 1;
    }
    return l;
}

浮点数二分算法模板：

bool check(double x) {/* ... */} // 检查x是否满足某种性质

double bsearch_3(double l, double r)
{
    const double eps = 1e-6;   // eps 表示精度，取决于题目对精度的要求
    while (r - l > eps)
    {
        double mid = (l + r) / 2;
        if (check(mid)) r = mid;
        else l = mid;
    }
    return l;
}