leetcode二分法704.二分查找（python）

二分法

题目来源：

leetcode704. 二分查找

题目链接：

https://leetcode.cn/problems/binary-search/

题目描述：

给定一个 n 个元素有序的（升序）整型数组 nums 和一个目标值 target ，写一个函数搜索 nums 中的 target，如果目标值存在返回下标，否则返回 -1。
示例 1:

输入: nums = [-1,0,3,5,9,12], target = 9
输出: 4
解释: 9 出现在 nums 中并且下标为 4

解题思路

第一次做二分法的算法题，记录一下。
1、这道题目的前提是数组为有序数组，同时题目还强调数组中无重复元素，因为一旦有重复元素，使用二分查找法返回的元素下标可能不是唯一的，这些都是使用二分法的前提条件
2、要在二分查找的过程中，保持不变量，就是在while寻找中每一次边界的处理都要坚持根据区间的定义来操作，这就是循环不变量规则。
3、我们定义 target 是在一个在左闭右闭的区间里，也就是[left, right]。

while (left <= right) 要使用 <= ，因为left == right是有意义的，所以使用 <=

if (nums[middle] > target) right 要赋值为 middle - 1，因为当前这个nums[middle]一定不是target，那么接下来要查找的左区间结束下标位置就是 middle - 1

python代码

def search_1(nums,target):
    left, right = 0, len(nums) - 1            #下标比长度少1

    while left <= right:                      #left==right是有意义的，即mid=right=left，nums[mid]==target
        middle = (left + right) // 2          #除以2取整

        if nums[middle] < target:             #目标在右半区间，不包含当前middle
            left = middle + 1                 #因为当前nums[middle]<target,所以令left=middle+1，目标值的下标在闭区间[middle+1,right]之中
        elif nums[middle] > target:           #目标在左半区间，不包含当前middle
            right = middle - 1                #因为当前nums[middle]>target,所以令right=middle-1，目标值的下标在闭区间[left,middle-1]之中
        else:
            return middle
    return -1