二分搜索初步总结

什么是二分查找

二分查找是计算机科学中最基本、最有用的算法之一。 它描述了在有序集合中搜索特定值的过程。
在最简单的形式中，二分查找对具有指定左索引和右索引的连续序列进行操作。这就是所谓的查找空间。二分查找维护查找空间的左、右和中间指示符，并比较查找目标或将查找条件应用于集合的中间值；如果条件不满足或值不相等，则清除目标不可能存在的那一半，并在剩下的一半上继续查找，直到成功为止。如果查以空的一半结束，则无法满足条件，并且无法找到目标。

---

关键变量

在二分查找中，有几个变量是我们着重关注的：

1. 目标值（target）:即根据题目要求我们想要定位到的值。
2. 索引（index）：即当前循环指定到的位置。
3. 左右边界的值（low，high）：我们用来维持查找空间的值。
4. 中间指示符（mid）：我们用来应用条件来确定应该向左或者向右查找的索引。

---

四个模板

二分搜索的思路其实很简单，但是有一句用来形容二分搜索的话是“思路很简单，细节是魔鬼”，二分法对于几个变量的控制上会因为细小的区别而对应不同的模板，这里根据做题经验和别的总结找到四种模板。

1. 基础模板，直接定位target值。
2. 定位target的左边界值/查找元素及其右邻居的值。
3. 定位target的右边界值/查找元素及其左邻居的值。
4. 查找元素的左右邻居的值。

接下来将对这四种模板进行分析和举例。

---

模板一

模板一也就是最基本的二分搜索的模板，是二分法最基础的模板，有了这个基础模板的掌握，也就会更好地理解剩下的三个模板。

代码

//基础模板
    public static int find1(int[] nums,int target){
   
        if(nums == null || nums.length == 0)
            return -1;
        int low = 0;
        int high = nums.length-1;
        int mid;
        while(low<=high){
   
            mid = low+((high-low)>>1);
            if(nums[mid] == target)
                return mid;
            else if(nums[mid]>target){
   
                high = mid-1;
            }else {
   
                low = mid+1;
            }
        }
        return -1;
    }

关键属性

• 二分查找最基本的形式。
• 查找条件可以在不与元素的两侧进行比较的情况下确定。（或者使用它周围的元素）
• 不需要后处理，因为在每一步中，都在检测是否找到了元素。如果到达末尾，则知道未找到该元素。

区分语法

• 初始条件：low = 0；high = nums.length-1；
• 终止：low>high
• 向左查找：high = mid-1;
• 向右查找：low = mid+1;

例题

class Solution {
   
    public int search(int[] nums, int target) {
   
        int low = 0;
        int high = nums.length-1;
        int mid;
        while(low<=high){
   
            mid = low+((high-low)>>1);
            if(nums[mid] == target)
                return mid;
            if(nums[mid]>target){
   
                if(target<=nums[high] && nums[mid]>nums[high]){
   
                    low = mid + 1;
                }else{
   
                    high = mid -1;
                }
            }else {
   
                if(target>=nums[low] && nums[mid]<nums[low]){
   
                    high = mid - 1;
                }else{
   
                    low = mid + 1