二分查找算法是一种高效的搜索算法，适用于已排序的数组。通过将搜索范围一分为二，每次迭代都能将搜索范围减半，快速定位目标元素。它的时间复杂度为 O(log n)，空间复杂度为 O(1)。