二分查找模板

二分查找可以解决在有序（或部分有序）序列中查找的问题。

一、首先给出一个二分查找的最基础和最基本的模板，主要注意以下四点

1. 初始条件：left = 0, right = length-1
2. 终止：left > right
3. 向左查找：right = mid-1
4. 向右查找：left = mid+1

int binarySearch(vector<int>& nums, int target){
	if(nums.size() == 0)
    	return -1;

  	int left = 0, right = nums.size() - 1;
  	while(left <= right){
		// Prevent (left + right) overflow
    	int mid = left + (right - left) / 2;
    	if(nums[mid] == target){ return mid; }
    	else if(nums[mid] < target) { left = mid + 1; }
    	else { right = mid - 1; }
 	}

	// End Condition: left > right
	return -1;
}

二、第二个模板是二分查找的高级模板，用于查找需要访问数组中当前索引及其直接右邻居索引的元素或条件。

1. 初始条件：left = 0, right = length
2. 终止：left == right
3. 向左查找：right = mid
4. 向右查找：left = mid+1

第一种写法，我们定义 target 是在一个在左闭右闭的区间里，也就是[left, right] （这个很重要非常重要）。而第二种写法定义 target 是在一个在左闭右开的区间里，也就是[left, right) ，这种方法二分法的边界处理方式则截然不同。

int binarySearch(vector<int>& nums, int target){
	if(nums.size() == 0)
	  	return -1;

	int left = 0, right = nums.size();
	while(left < right){
		// Prevent (left + right) overflow
    	int mid = left + (right - left) / 2;
    	if(nums[mid] == target){ return mid; }
    	else if(nums[mid] < target) { left = mid + 1; }
    	else { right = mid; }
 	}

	// Post-processing:
	// End Condition: left == right
	if(left != nums.size() && nums[left] == target) return left;
	return -1;
}

三、第三个模板是二分查找的另一种独特形式。 它用于搜索需要访问当前索引及其在数组中的直接左右邻居索引的元素或条件。

1. 初始条件：left = 0, right = length-1
2. 终止：left + 1 == right
3. 向左查找：right = mid
4. 向右查找：left = mid

int binarySearch(vector<int>& nums, int target){
    if (nums.size() == 0)
        return -1;

    int left = 0, right = nums.size() - 1;
    while (left + 1 < right){
        // Prevent (left + right) overflow
        int mid = left + (right - left) / 2;
        if (nums[mid] == target) {
            return mid;
        } else if (nums[mid] < target) {
            left = mid;
        } else {
            right = mid;
        }
    }

    // Post-processing:
    // End Condition: left + 1 == right
    if(nums[left] == target) return left;
    if(nums[right] == target) return right;
    return -1;
}

三种模板对比如下：