整数二分
整数二分通常用于在有序整数序列中查找特定元素或满足条件的边界值。其核心在于通过调整左右边界逐步缩小搜索范围,直到找到目标。
模板示例(查找左边界):
cpp
int binary_search_left(int l, int r) {
while (l < r) {
int mid = l + (r - l) / 2;
if (check(mid)) r = mid;
else l = mid + 1;
}
return l;
}
模板示例(查找右边界):
cpp
int binary_search_right(int l, int r) {
while (l < r) {
int mid = l + (r - l + 1) / 2;
if (check(mid)) l = mid;
else r = mid - 1;
}
return l;
}
关键点:
- 循环条件通常为
l < r
,退出时l == r
。 - 计算
mid
时需注意整数溢出问题,建议使用l + (r - l) / 2
。 - 左边界模板中,
mid
不加1,且r = mid
、l = mid + 1
。 - 右边界模板中,
mid
加1防止死循环,且l = mid
、r = mid - 1
。
实数二分
实数二分用于求解连续函数或浮点数问题,通过设置精度要求逐步逼近答案。与整数二分的主要区别在于终止条件和步进方式。
模板示例:
cpp
double binary_search_real(double l, double r) {
const double eps = 1e-6; // 精度根据需求调整
while (r - l > eps) {
double mid = (l + r) / 2;
if (check(mid)) r = mid;
else l = mid;
}
return l;
}
关键点:
- 循环条件为区间长度大于精度阈值(如
eps = 1e-6
)。 mid
计算无需考虑整数问题,直接取平均值。- 调整边界时直接赋值
l = mid
或r = mid
,无需加减步长。 - 若问题要求更高精度,可调整
eps
或改用固定迭代次数(如循环100次)。
注意事项:
- 整数二分需特别注意边界条件,避免死循环或漏查。
- 实数二分的精度选择需平衡效率与准确性,过高精度可能导致超时。
- 两种二分均要求问题具有单调性(或局部单调性),否则无法直接应用。