二分法找出整数有序数组中唯一出现一次的数

Python 实现 力扣原题：一个仅由整数组成的有序数组，其中每个元素都会出现两次，唯有一个数只会出现一次，找出并返回只出现一次的那个数，设计的解决方案必须满足 O(log n) 时间复杂度和 O(1) 空间复杂度。

这个问题可以使用二分法解决。先假设有序列表为nums，查找的目标元素的下标为x，每次查找的中间点下标为mid。

由于给定数组是有序的，除了查找的目标元素之外，其他元素总是成对出现并且相等。那么以下结论成立：

• 在x左边，成对元素中的第一个所对应的下标必然是偶数，第二个所对应的下标必然是奇数。
• 在x右边，成对元素中的第一个所对应的下标必然是奇数，第二个所对应的下标必然是偶数。

根据以上结论，将查找的范围分为两段，两段的长度差值为 1，那么mid就表示它们的中间分割点。下面对中间点mid的奇偶性进行分析：

• mid为偶数下标：
  如果nums[mid]==nums[mid+1]，则x在mid的右边，需要调整左边界；如果nums[mid] !=nums[mid+1]，则x在mid的左边，需要调整右边界。
• mid为奇数下标:
  如果nums[mid-1]==nums[mid]，则x在mid的右边，需要调整左边界；如果nums[mid-1] !=nums[mid]，则x在mid的左边，需要调整右边界。

利用按位异或的性质，可以将简化以上过程，简化后的的过程如下：

• 当nums[mid] == nums[mid ^ 1]时，调整左边界。
• 当nums[mid] != nums[mid ^ 1]时，调整右边界。

在查找中，当左边界等于右边界时，查找结束，此时左边界对应的值即为只出现一次的数。

下面是根据以上推导过程实现的代码示例：

# 查找只出现一次的元素
def single_non_duplicate(nums: list):
    low = 0
    high = len(nums) - 1

    while low < high:
        mid = low + high >> 1
        if nums[mid] == nums[mid ^ 1]:
            low = mid + 1
        else:
            high = mid
    return nums[low]


# 测试
nums = [1, 1, 3]
print(single_non_duplicate(nums))

以上示例代码实现了在一个有序数组中找到只出现一次的数字，通过位运算来实现缩小查找范围的目的，最后返回nums[low]，即为只出现一次的数。

上述代码每次循环查找的计算量会减半，因此它的时间复杂度是 $O(logn)$。计算中使用了常数级别的变量存储中间值，所以它的空间复杂度是 $O(1)$，符合题目要求。