算法基础篇之二分法

一、整数二分

1、整数二分的核心思想

在单调递增序列中找x或x的后继；在单调递增序列中找x或x的前驱。

2、整数二分的基本步骤

不过重点要考虑边界问题，找出中点mid，根据区间范围一步步靠。

3、整数二分的基础代码

bool check(int x){/*...*/}//检查x是否满足某种性质
//区间[1，r]被划分成[1,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;
}
//区间[1,r]被划分成[1,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;
}

4、STL中的lower_bound()和upper_bound()

1)lower_bound(begin,end,val):在值有序的数组连续地址[begin,end]中找到第一个位置并返回其地址，使得val插入在中国位置前面，整个数组仍然保持有序。

2）uppre_bound(begin,end,val):在值有序的数组连续地址[begin,end]中找到最后一个位置并返回其地址，使得val插入在这个位置前面，整个数组仍然保持有序。

5、整数二分的经典例题

进击的奶牛（洛谷P1824）

Farmer John 建造了一个有 N（2≤N≤100000) 个隔间的牛棚，这些隔间分布在一条直线上，坐标是 x1​,x2​,⋯,xN​（0≤xi≤109）。

他的 C（2≤C≤N）头牛不满于隔间的位置分布，它们为牛棚里其他的牛的存在而愤怒。为了防止牛之间的互相打斗，Farmer John 想把这些牛安置在指定的隔间，所有牛中相邻两头的最近距离越大越好。那么，这个最大的最近距离是多少呢？

AC代码

#include<bits/stdc++.h>
using namespace std;
int n,c,x[10005];
bool check(int dis)
{
    int cnt=1,place=0;
    for(int i=1;i<n;++i)
    {
    if(x[i]-x[place]>=dis)
    {
      cnt++;
      place=i;
    }
    if(cnt>=c) return true;
    else return false;
}
int main()
{
    scanf("%d %d",&n,&c);
    for(int i=0;i<n;i++)
    {
    scanf("%d",&x[i]);
    }
    sort(x,x+n);
    int left=0,right=x[n-1]-x[0];
    int ans=0;
    while(left<right)
    {
    int mid=left+(right-left)/2;
    if(check(mid))
    {
    ans=mid;
    left=mid+1;
    }
    else right=mid;
    }
    cout<<ans;
    return 0;
}

二、实数二分

1、实数二分的基础代码

const double eps=1e-7;  //精度，如果下面用for，可以不要eps
whlie(right-left>eps){  //for(int i=0;i<100;i++)
      doble mid=left+(right-left)/2;
      if(check(mid)) right=mid;
      else           left=mid;
}

实数二分因为没有整数二分的取整问题，编码比整数二分更简单。 其中，循环用两种方法都可以： while (r - l > eps)或 for (int i=0;i<100;i++) 如果用for循环，在循环内二分，执行100次相当于1/2的100次方与等于1/10的30次方的精度。但是for比while循环次数太多，计算量过大，有时间会超时！eps精度问题，过小的eps会超时，过大的会输出错误答案。