代码随想录刷题，leetcode704 二分查找

此文为阅读’代码随想录‘的leetcode刷题所写笔记。代码参考作者’程序员Carl‘（代码随想录）

参考链接：代码随想录

二分查找

题目链接：https://leetcode-cn.com/problems/binary-search/

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

示例：

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

提示：

• 你可以假设 nums 中的所有元素是不重复的。
• n 将在 [1, 10000]之间。
• nums 的每个元素都将在 [-9999, 9999]之间。

 二分查找，顾名思义，就是通过对区间进行不断二分，从而收敛到目标．理论依据是数分中的零点存在定理以及闭区间套．

关键词：有序且不重复，可以想象成一个严格单调函数， 那么此函数最多只有一个零点. 当然我们可以用一个时间复杂度为O(n)的for循环对每一个元素进行判定，这个for循环同样适用于无序，有重复的序列，也就是说没有用到这个数组的特性。对于题目中给定的特性，我们要注意到不同特性可以应用一些巧妙的方法。

算法分析

根据代码随想录的分享，二分查找主要分为左闭右闭和左闭右开两种方法．

1. 左闭右闭

[left, right] 表示目标值下标可取区间，left与 right相等时有意义，目标值下标取该值或者不存在。选取区间的方法是比较middle值与target。若middle值<target （由于middle值 不等于target，所以目标值下标不取middle），则选取右边闭区间，将middle + 1 赋值给left。反之亦然。

Python

class Solution:
    def search(self, nums: List[int], target: int) -> int: #输入整数数组，目标值，返回整数值
        left, right = 0, len(nums) -1         # 初始化端点
        while (left <= right):                # 循环，闭区间，左右相等有意义
            middle = (left + right) // 2      # 取整
            if nums[middle] < target:         # 对区间二分
                left = middle +1
            elif nums[middle] >target:
                right = middle -1
            else:
                return middle                 # nums[middle] = target, 结束循环，返回middle                                        
        return -1                             # 并结束函数。
# 当left = right后，nims[middle] != target, 则left+1 或者 right-1 使得left大于right，结束循环

         2.左闭右开

[left, right) 右边不能取值，因此left 不能等于right，此时while循环条件为left<right. 与第一种不同的是，当需要更新右边界（即 nums[middle]>target 时），right一边为开括号已经表示不取，则不需要再-1缩小可取范围，所以right更新为middle。

注：在二分过程中， 返回middle的值又两种情况： 一是区间长度不为1，但是某次二分恰好使得nums[middle] == target；二是当区间缩小到只有一个元素时，再判定这个元素是否满足条件（其实这可以想象为第一种的特殊情况）。那么在左闭右开的区间里，为使middle值的选取有意义， 那么我们应该注意到middle取值时应该向下取整， 否则容易陷入无限循环之中。

class Solution:
    def search(self, nums: List[int], target: int) -> int:
        left, right = 0, len(nums)
        while left < right:
            middle = (left + right) // 2
            if nums[middle] < target:
                left = middle + 1
            elif nums[middle] > target:
                right = middle
            else:
                return middle
        return -1
# right 初始化为len(nums) 记为n，是因为right为开括号不能取，left最多能迭代到n-1即是最后一位。

总结：

两种方法的区别在于right是否能取，若是right能取，即为右闭型，循环条件left <= right确保right能被取值，与此同时right初始值应为可取的n-1. 且当更新right值时，由于nums[middle] > target 表示此时的middle值不可取，所以作为可取的right值应该为middle-1.

若是right不能取，则为右开型，left<right确保right不被取到，初始值也为n，更新时，开括号已表示不可取，所以right更新为middle。而为使middle值取得有意义，middle应该向下取整。

27.移除元素

题目链接：力扣

关键词：原地。意味着一个数组需要同时包含着新旧数组的信息，那么我们可以考虑使用双指针法。快指针遍历原始数组，判定每一个元素，若满足条件，则添入新数组，更新慢指针。

Python3 代码

class Solution:
    def removeElement(self, nums: List[int], val: int) -> int:
        slow = 0
        for fast in range(len(nums)):
            if nums[fast] != val:
                nums[slow] = nums[fast]
                slow += 1
        return slow

这里的条件是元素是否为一个特定值。当然我们可以更换条件，比如移除所有在给定列表里的元素。此时val就是一个数组，那么条件就可以改为 nums[fast] not in val。