8、算法中的二分查找与基础分析

算法中的二分查找与基础分析

1. 二分查找概述

二分查找是一种在有序元素集合中进行查找的非常有用的技术。在最简单的场景下，给定一个包含两两不同元素的有序数组 a[1..n] （即 a[1] < a[2] < ... < a[n] ）和一个元素 x ，我们要找到索引 k ，使得 a[k−1] < x ≤ a[k] 。这里， a[0] 和 a[n+1] 被视为虚拟元素，值分别为 -∞ 和 +∞ ，它们可用于不变式和证明，但在程序中不能直接访问。

二分查找基于分治原则，具体步骤如下：
1. 选择一个索引 m ∈ [1..n] ，将 x 与 a[m] 进行比较。
2. 如果 x = a[m] ，则查找结束，返回 k = m 。
3. 如果 x < a[m] ，则将搜索范围缩小到数组中 a[m] 之前的部分。
4. 如果 x > a[m] ，则将搜索范围缩小到数组中 a[m] 之后的部分。

为了更清晰地描述搜索范围的缩小，我们使用两个索引 ℓ 和