二分查找_难点详解

最近再刷力扣的题，对二分查找的边界值做下解释

二分查找的原理很容易理解，不做详细介绍了。

难点是①长度的边界值是否减一，②判断条件left 是否等于right，③循环中right=midle是否-1。

这三点如果不搞懂的话，二分查找应用起来就会很懵懂。

下面开始解释，举个例子

nums = [-1,0,3,5,9,12]

lenn = len(nums)
left, right = 0, lenn???
while left ??? right:
    midle = (left + right) / 2
    print left,midle,right
    if nums[midle] > target:
        right = midle???
    elif nums[midle] < target:
        left = midle + 1
    elif nums[midle] == target:
        return midle
    else:
        pass

当target = 13时，

列表中不存在且大于列表里的最大值，每一次比较都会走nums[midle] < target这个分支，left永远是midle+1。当left不断加1时，left就会接近right，此时问题来了：

如果right最开始没减1，当left=right的时，midle的值就等于right了，会超过数组边界，导致报错。

要得到正确的结果有两种情况

 right = len  and  left < right    此时循环判断条件，left必须小于right，才能保证midle的索引不越界
 right = len -1  and   left <= right   如果最开始right减1了，left就可以等于right了，midle的索引也不会越界了，当right = len -1，为啥left不能是<right？因为如果left不等于right，就比较不了数组里最后一个元素。

当target = -5时

列表中不存在且小于列表里的最小值，每一次比较，都会走nums[midle] > target:right = midle这个分支，那此时right = midle到底减不减1呢，减不减1取决于循环判断条件left和right

每次循环，索引right在接近left，当判断条件为left <= right时，最后的情况会是right=left=0，判断条件依然成立，此时如果right = midle 但是midle不减1，就会永远在elif nums[midle] > target: right = midle在这个分支循环下去。所以当判断条件是left <= right时，right=midle必须减1

当判断条件为left < right，即使right=midle不减1，当right=0时，循环也会停止

有三种情况可以解决target=-5时的场景

    left < right  and  midle or midle -1
    left <= right  midle -1 

综合target=13和target=-5

则得到三种情况，这三种情况是不是都是正确的呢？

right=len -1  and  left <= right  and  right=midle -1  
right=len     and  left < right   and  right=midle 
right=len     and  left < right   and  right=midle -1

当target=9且right=len时，判断条件必须是left < right  。nums = [-1,0,3,5,9,12]

第一次循环，left=0  right=6  midle=3   target>nums[midle]：left = midle + 1

第二次循环，left=4  right=6  midle=5   target<nums[midle] 这一轮循环下来，left=4，如果此时right=mildle-1，那left就等于right了，循环就停止了。

所以   right=len     and  left < right   and  right=midle -1 这种组合是错误的

此时只剩下两种场景，这两种场景是正确的场景，left = midle + 1这个是固定的

right=len -1  and  left <= right  and  right=midle -1  
right=len     and  left < right   and  right=midle 

要真正的理解，不要死记硬背，面试写题的时候一紧张就完蛋了。我研究了快一个小时才弄懂这个，写这个帖子差不多又一个小时。

共勉一下。天道酬勤，IT行业只要是有付出就会有回报，时间会验证这些东西。

祝看到这篇帖子的人，生活开心，工作顺利 ^-^