算法笔记方法论6 二分查找

二分法包括整数二分和实数二分，二分法很好理解，重要的是利用二分思想去应用，比如下面的分巧克力习题。
知识点

• 二分查找原理讲解
• 在单调递增序列 a 中查找 x 或 x 的后继
• 在单调递增序列 a 中查找 x 或 x 的前驱

二分查找算法讲解

枚举查找也就是顺序查找。

实现原理就是逐个比较 a[0:n-1] 中的元素，直到找出元素 x 或搜索遍整个数组后确定 x 不在其中，或者说符合要求的元素在不在数组中。

最坏的情况下需要比较 N 次，时间复杂度是 O(n) 线性阶。

二分查找也就是折半查找。折半查找是将 N 个元素分成大致相同的两部分。选取中间元素与查找的的元素比较，或者与查找条件相比较，找到或者说找到下一次查找的半区。每次都将范围缩小至\frac{1}{2}21 所以时间复杂度是 O(log2n），但是二分查找的前提是有序的，一般是从小到排列。

折半查找的基本思想：

在有序表中（low,high,low<=high），取中间记录即 [(high+low)/2] 作为比较对象。

• 若给定值与中间记录的关键码相等，则查找成功
• 若给定值小于中间记录的关键码，则在中间记录的左半区继续查找
• 若给定值大于中间记录的关键码，则在中间记录的右半区继续查找

不断重复上述过程，直到查找成功，或所查找的区域无记录，查找失败。

二分查找的特征：

1. 答案具有单调性；
2. 二分答案的问题往往有固定的问法，比如：令最大值最小（最小值最大），求满足条件的最大（小）值等。

折半查找一般过程：

Step 1:

假设存在一有序数组：
下标[ 0   1   2   3   4   5   6   7   8    9    10   11   12 ]
数据[ 7   14  18  21  23  29  31  35   38   42   46   49  52 ]
      ↑                                                   ↑
    low=0                                              high=12

                            mid=(low+high)/2
                            mid=(0+12)/2
                            mid=6
                            [mid]=31>14 所以选择左半部分

操作：
    此时令low不变，high=mid-1=5

Step 2:

下标[ 0   1   2   3   4   5   6   7   8    9    10   11   12 ]
数据[ 7   14  18  21  23  29  31  35   38   42   46   49  52 ]
      ↑                   ↑
   low=0                 high=5

            mid=(low+high)/2
            mid=(0+6)/2
            mid=3
            [mid]=21>14 所以选择左半部分

操作：
    此时令low不变，high=mid-1=2

Step 3:

下标[ 0   1   2   3   4   5   6   7   8    9    10   11   12 ]
数据[ 7   14  18  21  23  29  31  35   38   42   46   49  52 ]
      ↑       ↑
   low=0    high=2

            mid=(low+high)/2
            mid=(0+2)/2
            mid=1
            [mid]=14=14  找到答案

操作：
    返回下标   

整数二分法常用算法模板

// 在单调递增序列a中查找>=x的数中最小的一个（即x或x的后继）
while (low < high) {
   

  int mid = (low + high) / 2;

  if (a[mid] >= x)
      high= mid; 

  else 
      low = mid + 1;
}

// 在单调递增序列a中查找<=x的数中最大的一个（即x或x的前驱）
while (low < high) {
   

  int mid = (low + high + 1) / 2;

  if (a[mid] <= x) 
      low = mid;

  else 
      high = mid - 1;

}

此处我们先分整数的二分查找法的常用模版，关于实数的部分，我们后面再讲。