二分查找小结

leecode经典二分查找题目和二分法变形问题总结

二分查找原理很简单，但是想要写出没有bug的二分查找并不容易。
废话不多说，先上题目：
Leecode：33. 搜索旋转排序数组

注：代码中的end是可以取得到的索引值。

1. 先从简单的二分查找开始吧，有序数组中不存在重复元素，则我们在给定数组nums中查找目标 target，若存在，返回索引；若不存在，返回-1。(python)

def bisearch(nums, start, end, target):
        l, r = start, end
        while l <= r:
            mid = l + (r-l)>>1 #防止 l + r 的和过大使得内存溢出
            if nums[mid] == target:
                return mid
            elif nums[mid] < target:
                l = mid + 1
            else:
                r = mid - 1
        return -1

2. 有序数组中存在重复元素，则我们在给定数组nums中查找第一个目标值等于 target 的元素，若存在，返回索引；若不存在，返回-1。(python)

def bisearch(nums, start, end, target):
    l, r = start, end
    while l <= r:
        mid = l + (r-l)>>1
        if nums[mid] > target:
            r = mid - 1
        elif nums[mid] < target:
            l = mid + 1
        else:
            if mid == 0 or nums[mid-1] < target: # 如果mid是在首位，或者mid左边的值不再是目标值即可返回
                return mid
            else:
                r = mid - 1
    return -1

这种思想虽然不是最简洁的，但是好在逻辑清晰，思路简单明了。

3. 有序数组中存在重复元素，则我们在给定数组nums中查找最后一个目标值等于 target 的元素，若存在，返回索引；若不存在，返回-1。(python)

def bisearch(nums, start, end, target):
    l, r = start, end
    while l <= r:
        mid = l + (r-l)>>1
        if nums[mid] > target:
            r = mid - 1
        elif nums[mid] < target:
            l = mid + 1
        else:
            if mid == end or nums[mid+1] > target: #在这里改变输出条件，与上一种的区别
                return mid
            else:
                l = mid + 1 # 相对于上一种方法，此处调整了二分方向
    return -1

4. 有序数组中存在重复元素，则我们在给定数组nums中查找第一个目标值大于等于 target 的元素，若存在，返回索引；若不存在，返回-1。(python)

def bisearch(nums, start, end, target):
    l, r = start, end
    while l <= r:
        mid = l + (r-l)>>1
        if nums[mid] >= target:
            if mid == 0 or nums[mid-1] < target:
                return mid
            else:
                r = mid - 1
        else:
            l = mid + 1
    return -1

5. 有序数组中存在重复元素，则我们在给定数组nums中查找最后一个目标值小于等于 target 的元素，若存在，返回索引；若不存在，返回-1。(python)

def bisearch(nums, start, end, target):
    l, r = start, end
    while l <= r:
        mid = l + (r-l)>>1
        if nums[mid] >= target:
            r = mid - 1
        else:
            if mid == end or nums[mid+1] > target:
                return mid
            else:
                l = mid + 1
    return -1

原谅我没有给出太多解释，因为python本身就是一门解释型语言，并且代码的条件逻辑非常清晰，大家有兴趣的话可以接着看，如果觉得简单可直接看题目。

回到原始题目 33. 搜索旋转排序数组：
假设按照升序排序的数组在预先未知的某个点上进行了旋转。( 例如，数组 [0,1,2,4,5,6,7] 可能变为 [4,5,6,7,0,1,2] )。搜索一个给定的目标值，如果数组中存在这个目标值，则返回它的索引，否则返回 -1 。你可以假设数组中不存在重复的元素。
示例 1:
输入: nums = [4,5,6,7,0,1,2], target = 0
输出: 4
示例 2:
输入: nums = [4,5,6,7,0,1,2], target = 3
输出: -1
方法一：先找出有序数组的分隔点，这个就像找出两座山峰相邻的山脚位置。用二分查找，时间是Log（n），然后对两个排序数组分别使用二分查找即可。

class Solution(object):
    def search(self, nums, target):
        """
        :type nums: List[int]
        :type target: int
        :rtype: int
        """
        if not nums:
            return -1
        l, r = 0, len(nums)-1
        while l < r and nums[l] > nums[r]:
            if l == r -1:
                break
            mid = (l+r)>>1
            if nums[l] < nums[mid]:
                l = mid
            if nums[r] > nums[mid]:
                r = mid
        left = self.bisearch(nums, 0, l, target)
        right = self.bisearch(nums, l+1, len(nums)-1,target)
        return right if left == -1 else left  
    
    def bisearch(self, nums, start, end, target):
        l, r = start, end
        while l <= r:
            mid = (l+r)>>1
            if nums[mid] == target:
                return mid
            elif nums[mid] < target:
                l = mid + 1
            else:
                r = mid - 1
        return -1

方法二：
直接使用二分查找，将数组分为有序和无序的两部分。有序部分使用二分查找，如果目标值不在这个有序部分，就直接cut。

class Solution(object):
    def search(self, nums, target):
        """
        :type nums: List[int]
        :type target: int
        :rtype: int
        """
        l, r =0, len(nums)-1
        while l <= r:
            mid = (l+r)>>1
            if nums[mid] == target:
                return mid
            elif nums[mid] < nums[r]: # 说明右边数组有序
                if nums[mid] < target and nums[r] >= target:
                    l = mid + 1
                else:
                    r = mid - 1
            else: # 说明左边数组有序
                if nums[l] <= target and nums[mid] > target:
                    r = mid - 1
                else:
                    l = mid + 1
        return -1

时间效率基本一样。
后续接着补充二分查找的题目。未完待续。。。