LeetCode 有序数组的单一元素

n的数据量要求，O(logn)的时间复杂度，一眼二分。

二分思路如下

当我们取mid时nums[mid]左侧（含nums[mid]）的有序数组有两种可能（奇数个A/偶数个B）

nums[mid]和下一项的关系也有两种可能性，（相等C/不等D）

当AC同时发生时，则左侧必然不存在单独的数字

当BC同时发生时，则可称左侧必定存在单独的数字

当AD同时发生时，则左侧存在单独的数字

当BD同时发生时，则左侧不存在单独的数字

证明：

1.当为A时

        有C，则nums[mid]不为结果，则mid左侧（不含mid）为偶数个，偶数个必定无单独数字（反证法自己推吧）

        有D，则nums[mid]和上一项有两种可能性，一个是相等，则左侧需要检索的结果又是奇数个，奇数个必定有单独数字。一个是不相等，那么nuns[mid]就是答案本身。

2.当为B时

        有C，则nums[mid]左侧（不含nums[mid])必然是奇数个,则必有单独数字

        有D，nums[mid]==nums[mid-1],左侧需要判断的还是偶数个，无单独数字

                  nums[mid]!=nums[mid-1]这种情况压根不存在，左侧必无单独数字因为是偶数个

class Solution:
    def singleNonDuplicate(self, nums: List[int]) -> int:
        if len(nums) == 1:
            return nums[0]
        left = 0
        right = len(nums)-1
        while left <= right:
            mid = (left + right) // 2
            if mid % 2 == 0 and mid + 1 < len(nums):
                if nums[mid] == nums[mid+1]:
                    left = mid + 1
                else:
                    right = mid - 1
            elif mid % 2 != 0 and mid + 1 < len(nums):
                if nums[mid] == nums[mid+1]:
                    right = mid - 1
                else:
                    left = mid + 1
            else:
                return nums[mid]
        return nums[left]