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 ( l o g n ) O(log n) O(logn)。计算中使用了常数级别的变量存储中间值,所以它的空间复杂度是 O ( 1 ) O(1) O(1),符合题目要求。