二分法的边界问题

最近做题发现二分法边界搞不明白,经常挑不出while循环,这里集中琢磨一下.

二分法边界分两种:1.左闭右闭2.左闭右开

1.左闭右闭

左边界指向数组第一个元素,右边界指向数组最后一个元素,此时两个边界都指向了数组内的元素,因此left<=right也是需要进入循环并判断的。

int BinarySearch(vector<int> vecc, int target)
{
	int left = 0, right = vecc.size() - 1;
	while (left <= right)
	{
		int mid = left + (right - left) / 2;//既可以防止溢出,也可以将mid始终指向left-侧
		if (vecc[mid] > target)
		{
			right = mid - 1;
			continue;
		}
		else if (vecc[mid] < target)
		{
			left = mid + 1;
			continue;
		}
		return mid;
	}
	return -1;
}

这里我的理解就是主要对mid进行判断,从而找到,因此在调整范围的过程中,下一次的范围都不会包含mid

2.左闭右开

左闭右开指的是,左边界指向数组第一个元素,而右边界指向数组最后一个元素之后的位置,由于右边界不在数组范围内,因此while循环的条件变为left<right,不考虑等于的情况,而在循环过程中边界值的调整依然是向下取整,因为向上取整可能会取到右边界,也就是数组之外的索引,因此为了保证向下取整我们在设置mid时依然采取

mid = left + ( right -1-left)/2 即可

int binarySearch(vector<int> vecc, int target)
{
	int left = 0, right = vecc.size();
	while (left < right)
	{
		int mid = left + (right - left - 1) / 2;//这里要多减一个1,因为right是在数组范围外,不多减一就会向上取整
		if (vecc[mid] < target)
		{
			right = mid;
			continue;
		}
		else if (vecc[mid] > target)
		{
			left = mid + 1;
			continue;
		}
		return mid;
	}
	return -1;
}

其实理解起来很简单,就是二分法整个过程都是在判断mid和target的目标关系,上一个方法是右闭,则右边界不能等于mid,当前方法是右开,包括更新边界重新计算mid时,也会从右边界减一开始考虑,因此右边界在更新的时候可以直接等于mid.

总的来说二分法的边界值在于这个mid怎么取,不一定永远都往下取,想往上取就在/2那个地方多加个1,具体情况具体分析,简单来说就是考虑最后,也就是左右边界一前,一后相邻.此时mid计算之后必然是左边界或者右边界(这取决于你想往上取还是往下取),而接下来,如果mid往下取,则你的左边界迭代规则不应该left=mid.相反,如果mid往上取,则你的右边界迭代规则不应该right = mid,不然很容易死循环,而你的循环跳出判断规则由你的边界和数组的实际范围决定.