【模板+讲解】二分答案

最新推荐文章于 2022-11-09 20:44:07 发布

gzcszzx

最新推荐文章于 2022-11-09 20:44:07 发布

阅读量163

点赞数

分类专栏：基础算法

原文链接：https://blog.csdn.net/Mashiro_ylb/article/details/78469151

版权

基础算法专栏收录该内容

4 篇文章 0 订阅

订阅专栏

二分答案是一种在计算机科学中常见的优化技巧，尤其在解决具有单调性的数学问题时非常有效。它类似于二分查找，通过不断缩小搜索范围来找到满足条件的最大值或最小值。本文介绍了二分答案的应用场景，如求解最大最小值问题，并提供了通用的二分搜索代码模板。关键词包括单调性、二分搜索、最优化问题、算法设计。

摘要由CSDN通过智能技术生成

定义

二分答案与二分查找类似，即对有着单调性的答案进行二分，大多数情况下用于求解满足某种条件下的最大（小）值。

答案单调性

答案的单调性大多数情况下可以转化为一个函数，其单调性证明多种多样，如下：

移动石头的个数越多，答案越大（NOIP2015跳石头）。
前i天的条件一定比前 i + 1 天条件更容易（NOIP2012借教室）。
满足更少分配要求比满足更多的要求更容易（NOIP2010关押罪犯）。
满足更大最大值比满足更小最大值的要求更容易（NOIP2015运输计划）。
时间越长，越容易满足条件（NOIP2012疫情控制）。

可以解决的问题

求最大的最小值（NOIP2015跳石头）。
求最小的最大值（NOIP2010关押罪犯）。
求满足条件下的最小（大）值。
求最靠近一个值的值。
求最小的能满足条件的代价。

代码

为了保证解在二分搜索的区间里，故不同的问题有着不同（但相似）的写法，读者可以画一个区间模拟一下~

求最小值

int binary()
{
    int l = 0, r = ll, mid;
    while(l < r)
      {
        mid = (l + r) >> 1;
        if(check(mid)) r = mid;  //大多数题只要改改check()即可
        else l = mid + 1;
      }
    return l;
}

求最大值

int binary()
{
    int l = 0, r = ll, mid;
    while(l < r)
      {
        mid = (l + r + 1) >> 1;
        if(check(mid)) r = mid - 1;
        else l = mid;
      }
    return l;
}

面对整数时的万能二分（近似万能）

int binary(int n)
{
    int l = 1, r = maxn, ans = 0;
    while(l <= r)
      {
        int mid = (l + r) >> 1;
        if(c[mid] > a[n]) ans = mid, l = mid + 1;  //判断条件与ans记录位置因题而异
        else r = mid - 1;
      }
    return ans;
}