二分查找法时间复杂度计算推演

我们知道当一个算法的循环次数每次减少一半时，时间复杂度通常会变成 是 $O(logn)$ ，我们可以用二分查找算法作为示例来推算这个时间复杂度的计算过程。

问题背景

假设我们有一个有序数组，我们要在这个数组中查找一个特定的元素。如果元素存在，我们返回其索引；否则返回 -1。

算法步骤

1. 比较目标值与数组的 中间元素。
2. 如果目标值等于中间元素，返回其索引。
3. 如果目标值小于中间元素，则在左半部分继续查找。
4. 如果目标值大于中间元素，则在右半部分继续查找。
5. 重复上述步骤，直到找到目标值或者子数组为空。

每次查找时，数组的大小减少一半。

时间复杂度分析

• 第一次查找时，数组的大小是 $n$。
• 第二次查找时，数组的大小是 $n/2$。
• 第三次查找时，数组的大小是 $n/4$。

这样下去，每次查找数组的大小都会减半。

假设我们进行了 $K$ 次查找后，数组的长度 length 变为 1。

因此我们可以得到下列等式

$$n\times {\left(\frac{1}{2}\right)}^k=1$$

解这个方程：

$$n\times {\left(\frac{1}{2}\right)}^k=1$$

两边同时 除以 n 得：

$${\left(\frac{1}{2}\right)}^k=\frac{1}{n}$$

然后，对两边取对数（以2为底）：

$${\log }_2\left({\left(\frac{1}{2}\right)}^k\right)={\log }_2\left(\frac{1}{n}\right)$$

根据对数的幂法则 ${\log }_b(a^c)=c{\log }_b(a)$ 我们有下面变式：

$$k{\log }_2\left(\frac{1}{2}\right)={\log }_2\left(\frac{1}{n}\right)$$

因为 ${\log }_2\left(\frac{1}{2}\right)=-1$ 所以：

$$k\times (-1)={\log }_2\left(\frac{1}{n}\right)$$

由于 ${\log }_2\left(\frac{1}{n}\right)=-{\log }_2(n)$, 所以：

$$-k=-{\log }_2(n)$$

$$k={\log }_2(n)$$

因此，二分查找算法在最坏情况下需要 ${\log }_2(n)$次迭代，这就是其时间复杂度为 $O(\log n)$ 的原因