查找算法：二分查找

1. 什么是二分查找？

二分查找（Binary Search）是一种高效的查找算法，适用于有序数组或序列。它通过将查找范围逐步折半，迅速缩小查找范围，从而找到目标元素的位置。每次查找时，比较目标元素与当前范围的中间元素，根据大小关系决定在左半部分或右半部分继续查找。

2. 二分查找的特点和关键核心

特点：

• 有序数据：二分查找只能用于已经排序的数据结构（如升序数组）。
• 折半查找：每次比较后都会将查找范围缩小一半，极大地提高了查找效率。
• 递归或迭代：可以通过递归或循环来实现。

核心：

• 计算中间点：每次查找通过 mid = (left + right) // 2 找到当前范围的中间元素。
• 范围缩小：比较中间元素与目标值：
  • 如果目标值小于中间元素，继续在左半部分查找；
  • 如果目标值大于中间元素，继续在右半部分查找。
  • 如果找到，则返回该位置。

3. 二分查找的代码案例

普通版本（迭代实现）

def binary_search(arr, target):
    left, right = 0, len(arr) - 1  # 初始化左右指针

    while left <= right:
        mid = (left + right) // 2  # 计算中间点

        # 如果中间元素正好是目标值
        if arr[mid] == target:
            return mid
        # 如果目标值小于中间元素，在左半部分继续查找
        elif arr[mid] > target:
            right = mid - 1
        # 如果目标值大于中间元素，在右半部分继续查找
        else:
            left = mid + 1

    return -1  # 如果未找到，返回-1

# 测试用例
arr = [1, 3, 5, 7, 9, 11, 13]
print(binary_search(arr, 7))  # 输出 3

优化版本（递归实现）

优化思路：

• 通过递归调用，将问题逐步分解为更小的子问题。
• 优化的递归方式更符合算法的本质思想，有助于理解和处理递归问题，但要注意递归深度限制。

def binary_search_recursive(arr, target, left, right):
    # 递归终止条件：当左右边界交错时，表示查找区间无效
    if left > right:
        return -1

    mid = (left + right) // 2  # 计算中间点

    if arr[mid] == target:
        return mid  # 找到目标值，返回其索引
    elif arr[mid] > target:
        # 递归查找左半部分
        return binary_search_recursive(arr, target, left, mid - 1)
    else:
        # 递归查找右半部分
        return binary_search_recursive(arr, target, mid + 1, right)

# 测试用例
arr = [1, 3, 5, 7, 9, 11, 13]
print(binary_search_recursive(arr, 7, 0, len(arr) - 1))  # 输出 3

优化思路：

• 二分查找本身已经是比较高效的查找算法，针对大规模数据可以使用并行化或多线程优化。
• 若递归版本可能遇到栈溢出问题，可以优化为尾递归（某些语言支持）。

4. 时间复杂度和空间复杂度

时间复杂度：

每次查找都将搜索范围缩小一半，时间复杂度为O(log n)，其中 n 是数组的长度。这意味着，随着数据量的增加，查找时间的增长相对较慢。

• 最优：
• 最差

空间复杂度：

• 迭代版本：只需要常数空间来存储左右指针，空间复杂度为O(1)。
• 递归版本：递归调用会消耗栈空间，空间复杂度为O(log n)，因为递归的深度与二分查找的层数成正比。

5. 优缺点

优点：

• 高效：二分查找的时间复杂度为 O(log n)，大大优于线性查找的 O(n)，尤其适合大规模数据。
• 简单实现：无论是迭代还是递归版本，代码都相对简洁。

缺点：

• 数据必须有序：二分查找只能用于已排序的数据，如果数据无序，需要先进行排序，排序的时间复杂度通常为 O(n log n)。
• 数据结构限制：二分查找主要适用于数组或顺序存储的结构，不适用于链表或动态数据结构。
• 递归深度限制：递归实现可能会受到栈空间的限制，如果递归层次过多，可能会发生栈溢出问题。

其他相关知识

1. 二分查找的变种：

• 变种 1：查找第一个等于目标值的位置。
• 变种 2：查找最后一个等于目标值的位置。
• 变种 3：查找第一个大于等于目标值的位置。

这些变种适用于寻找重复元素或查找特殊边界的情况。

2. 三分查找：

• 与二分查找类似，但将数组分成三部分，可以进一步加速查找，但复杂度和实现比二分查找要高。