二分算法模版

二分主要分两类，
一类是对实数进行二分，一类是对整数进行二分
对整数二分又分成2种，一种是向上取整的二分模版，一种是向下取整的二分模版

实数二分算法模版

//这里区间范围为
double l = 0 ,r = n;
    
    // 这里循环条件根据题意来，保留几位小数
    //如果题目要求保留6位小数，保险一点，再加2位，
    //循环条件就是保留8位小数   --->(r - l)
    while(r - l > 1e-8)  //r - l 
    {
        double mid = (r + l) / 2;
        
        if(check(mid))
            r = mid; //范围大了，缩小范围
        else 
            l = mid;  //范围小了扩大范围
    }
    

注意：浮点数二分相当于连续的，要加或者减一个很小的数， +1， -1 误差很大,所以都后面执行语句直接等于mid
区别于实数二分

实数二分模版题

#include
#include

using namespace std;

int main()
{
    double x;
    scanf("%lf", &x);
    
    double l = -10000 ,r = 10000;
    
    while(r - l > 1e-8)  //r - l 大于8位小数 (题目要求六位，这里取八位，保险一点)
    {
        double mid = (r + l) / 2;
        
        if(mid * mid * mid >= x)
            r = mid; //范围大了，缩小范围
        else 
            l = mid;  //范围小了扩大范围
    }
    
    printf("%.6lf", l);
    
    return 0;
}

整数二分算法模版

向上取整二分模版

一般，可用来求最小值中的最大值或者最大值

// 每次注意找出二分的范围
//向上取整的区间为 [l, mid - 1]  [mid, r]

int l = 0, r = n;
while(l < r)
{
	int mid = l + r + 1 >> 1;
 	if(check(mid)) //mid数据合法，扩大范围，看看有没有更大的
 		l = mid; 
 	else //mid数据不合法，缩小范围
 		r = mid - 1
}

//结束循环的条件 l == r

当我们将区间[l, r]划分成[l, mid - 1]和[mid, r]时，其更新操作是r = mid - 1或者l = mid;，此时为了防止死循环，计算mid时需要加1。

向下取整二分模版

一般，可用来求最大值中的最小值或者最小值

//向下取整的区间范围
//[l, mid] [mid + 1, r]

int l = 0, r = n;
while(l < r)
{
	int mid = l + r >> 1;
	
	if(check(mid)) //mid数据合法 缩小区间看看有没有更小的
		r = mid;
	else     //mid数据不合法，扩大区间   
		l = mid + 1; 
}

当我们将区间[l, r]划分成[l, mid]和[mid + 1, r]时，其更新操作是r = mid或者l = mid + 1;，计算mid时不需要加1

二分模版的注意点

二分模版有很多，选择自己适合的背就行

这个整数二分的注意点
1.循环条件都是 while(l < r) 都没有取等
2.向上取整的算法模版中 mid 还有多加1， 不加1的话会陷入死循环
3.二分使用的时候，是对一个有序的区间进行二分，如果这个区间无序，要对这个区间=进行排序

二分模版中check函数的实现

.check()函数的实现
check()函数，是二分模版中，最难的一部分。
作用就是判断二分的数据是否合法，满足题意
或者是找具有二段性的临界的判断条件
不同题的check函数都是不一样的，这只有靠自己做题，多积累，多体会和总结

能够使用二分的条件

能够使用二分解决问题，一般是具有单调性或者是二分性，或者是求一个区间的最大值或者最小值等