整数二分模板
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;
}
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;
}
详述:
如果在一个数组中找一个可重复的数,用第一个可以找到左端点,判断条件应该是a[mid]>=目标数,因为这样在等于的条件下右边会逐渐收紧。同理用第二个就可以找到右端点。
对于这两个算法的区别,主要是防止无限二分的情况,如果mid取的是l+r那么在只有两个元素的时候会取到左边那个,这个时候如果判断之后取了左端点就会出现无限二分。另一个也是同理。
经典习题
浮点二分查找模板
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;
}