二分查找有没有用分治策略

### 二分查找算法确实使用了分治法策略

#### 分析二分查找中的分治特性

在探讨二分查找是否采用分治法时，可以观察到该算法的核心机制完全契合分治的思想。具体来说，在每次迭代过程中，通过比较目标值 `target` 和当前区间中间位置的元素 `array[mid]` 来决定下一步操作：

- 如果 `target == array[mid]`，则找到目标值并返回其索引；
- 若 `target > array[mid]`，则仅需考虑右半边子数组，并调整左边界至 `mid + 1`；
- 反之当 `target < array[mid]` 时，则只需关注左半边子数组，并将右边界设为 `mid - 1`。

这种处理方法有效地将原始问题分解成更小规模的相同类型的问题来解决，正是典型的分治思路[^2]。

#### Python代码示例展示基于分治思想的二分查找实现

下面给出一段Python代码片段用于说明如何利用递归来体现分治原则下的二分查找过程：

def binary_search_divide_conquer(array, target, low=None, high=None):
    if not isinstance(low, int): 
        low = 0
    if not isinstance(high, int):  
        high = len(array) - 1
    
    while low <= high:
        mid = (low + high) // 2
        
        if target == array[mid]:
            return mid
        elif target > array[mid]:
            low = mid + 1
        else:
            high = mid - 1
            
    return -1

此版本虽然采用了循环结构而非显式的函数调用形式来进行递归分割，但从逻辑上依然严格遵循着分而治之的原则——不断缩小待查范围直至定位目标项或确认不存在于列表之中[^1]。