一 定义
二分答案通常用于求解在一个答案区间内的最大边界或者最小边界。主要的思想是通过判断中间点的可行性去更新左右边界直到得到最后的答案。
二 算法的推导
首先我们要了解几个专用的名词
1.left 左边界
2.right 右边界
3.mid 中间点
4.check(int x) check函数,用于检验可行性
1.求解最大边界
在求解最大的边界的过程中,我们很容易知道左右边界的更新方法,
if(check(x)) l = mid; // 如果这一点可行,那么这个left可以被更新为mid
else r = mid -1; // 那一点不可行,那么它的-1位置可能可行
但是我们会发现在 l = x , r = x + 1 l =x,r=x+1 l=x,r=x+1 这种情况下 m i d = x mid = x mid=x
if(check(x)) l = x
此时如果 x x x 可行,那么直接这个程序会陷入到一个死循环中,所以此时我们需要对 m i d mid mid 进行处理。原本的 m i d = ⌊ ( l e f t + m i d ) / 2 ⌋ mid = \lfloor{(left+mid)/2}\rfloor mid=⌊(left+mid)/2⌋而我们需要的是最大的边界,所以应该是向上取整,即 m i d = ⌈ ( l e f t + m i d ) / 2 ⌉ mid = \lceil{(left+mid)/2}\rceil mid=⌈(left+mid)/2⌉
用程序进行表达即
mid = (left + right + 1)/2
2.求解最小的边界
在求解最小边界的过程中,更新左右边界的方法
if(check(x)) r = mid; // 如果这个点可行,那么这个点可能为右边界
else l = mid + 1;// 如果不可行,那么这个点+1的位置,可能为可行
Talk is cheap, show me the code
三 代码实现
1.求最大边界
int max_boundary(int l,int r)
{
while(l < r)
{
int mid = (l + r +1);
if(check(mid)) l = mid;
else r = mid - 1;
}
}
2.求最小边界
int min_boundary(int l,int r)
{
while(l < r)
{
int mid = (l+r)/2;
if(check(mid)) r = mid;
else l = mid + 1;
}
}
四 浮点数二分答案
浮点数上的二分答案通常用于查找在在一定精度下的可行解或者可行的区间
while(r -l > precision)
{
mid直接取(r+l)/2即可,因为不是整数,所以不用去考虑向上或者向下取整的问题
套用上面的最大最小即可,
}
return l;