AcWing 算法基础课笔记【基础算法篇】2.整数二分与浮点数二分

AcWing 算法基础课笔记【基础算法篇】2.整数二分与浮点数二分

整数二分

思想

定义一种性质$check$，把数组分为两个部分（两部分没有交点）

第一类 求右半部分的边界

第一步 定义中间点$mid=(l+r)/2$（向下取整）判断$q[mid]$是否满足$check$条件（这里的$check$条件表示检测$q[mid]$是否处于右半部分）

1. 若满足，则说明右半部分的边界在$[l,mid]$，令$r=mid$
2. 若不满足，则说明右半部分的边界在$[mid+1,r]$，令$l=mid+1$

第二步 重复第一步，直到$l==r$，$q_l$即为答案

第二类 求左半部分的边界

第一步 定义中间点$mid=(l+r+1)/2$（向上取整）判断$q[mid]$是否满足$check$条件（这里的$check$条件表示检测$q[mid]$是否处于左半部分）

1. 若满足，则说明左半部分的边界在$[mid,r]$，令$l=mid$
2. 若不满足，则说明左半部分的边界在$[l,mid-1]$，令$r=mid-1$

$l+r$是否$+1$的判断：

1. 第一类（向下取整）：若改为向上取整，则当$l=r-1$时，$mid=(r+l+1)/2=r$，此时可能出现$r=mid=r$造成死循环
2. 第二类（向上取整）：若改为向下取整，则当$l=r-1$时，$mid=(r+l)/2=l$，此时可能出现$l=mid=l$造成死循环

总结：首先先确定划分左右两部分的条件，再根据条件确定$l、r$，出现$l=mid$（求左半部分边界）则向上取整，出现$r=mid$（求右半部分边界）则向下取整，$mid$的最终确定应当最后判断

模板

第一类 求右半部分边界

int bsearch_1(int l, int r){
	while(l < r){
		int mid = l + r >> 1;
		if(check(mid)) r = 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;
}

浮点数二分

思想

与整数二分大致相同，但浮点数二分不需要考虑+1等问题

第一步 定义中间点$mid=(l+r)/2$，判断其是否满足$check$条件

1. 若满足，则答案在$[l,mid]$中，$r=mid$
2. 若不满足，则答案在$[mid,r]$中，$l=mid$

第二步 重复第一步，直到$l、r$之间的差非常小，则可以输出$l$或$r$

模板

double bsearch(double l, double r){
	while(r - l < 精度){
		double mid = l + r >> 1;
		if(check(mid)) l = mid;
		else r = mid;
	}
	return l;
}