要求
给定一个包含 n + 1 个整数的数组 nums ,其数字都在 [1, n] 范围内(包括 1 和 n),可知至少存在一个重复的整数。
假设 nums 只有 一个重复的整数 ,返回 这个重复的数 。
你设计的解决方案必须 不修改 数组 nums 且只用常量级 O(1) 的额外空间。
思路
方法一:二分查找
- n + 1 个整数,放在长度为 n 的数组里,根据「抽屉原理」,至少会有 1 个整数是重复的;
- 首先数字是在1~n之间的乱序,给的数组长度是n+1,所以通过抽屉原理可知:必定有一个数字重复。 因为原数组是无序的,而给的数字是1-n的连续数字,那么原数组排完序后必定也是1~n的顺序。
- 二分之前可以不用进行排序,而是当它就是一个排好序的数组, 直接取left = 1, right = len - 1,然后算mid,其结果相当于排次序再算mid。 (取left = 1, 是因为给的数字是从1开始的,这里我们要根据数字来找,而不是下标)
- 这样就将排好序的数组分成个数大致相同的两部分 然后遍历整个数组的元素,统计出小于等于mid的元素个数 ,因为是隐形排完序的数组,通过统计小于等于mid的元素的个数 count,然后判断它应该处于的位置,如果count 小于等于mid的元素个数,则说明重复元素在[mid,right]区间
public int findDuplicate(int[] nums) {
// 在 [1..n] 查找 nums 中重复的元素
int left = 1;
int right = nums.length - 1;
while (left < right){
//防止left + right整形溢出,向下取整
int mid = left + (right - left)/2;
int count = 0;
//nums数组中小于等于mid的元素个数,连续值
for (int num : nums) {
if (num <= mid){
count++;
}
}
if (count > mid){
right = mid;
}else {
left = mid + 1; //因为向下取整,这里需要+1,才是mid中间元素
}
}
return left;
}
时间复杂度:O(NlogN),二分法的时间复杂度为O(logN),在二分法的内部,执行了一次 for 循环,时间复杂度为 O(N),故时间复杂度为 O(NlogN)。
空间复杂度:O(1)。
方法二:快慢指针
如果数组中没有重复的数,以数组 [1,3,4,2]为例,我们将数组下标 n 和数 nums[n] 建立一个映射关系 f(n), 其映射关系 n->f(n)为:
0->1
1->3
2->4
3->2
我们从下标为 0 出发,根据 f(n) 计算出一个值,以这个值为新的下标,再用这个函数计算,以此类推,直到下标超界。这样可以产生一个类似链表一样的序列。
0->1->3->2->4->null
如果数组中有重复的数,以数组 [1,3,4,2,2] 为例,我们将数组下标 n 和数 nums[n] 建立一个映射关系 f(n),其映射关系 n->f(n) 为:
0->1
1->3
2->4
3->2
4->2
同样的,我们从下标为 0 出发,根据 f(n) 计算出一个值,以这个值为新的下标,再用这个函数计算,以此类推产生一个类似链表一样的序列。
0->1->3->2->4->2->4->2->……
所以综上所述
- 数组中有一个重复的整数 <==> 链表中存在环
- 找到数组中的重复整数 <==> 找到链表的环入口
public int findDuplicate(int[] nums) {
//快慢指针
int slow = nums[0];
int fast = nums[nums[0]];
while (slow != fast){
slow = nums[slow];
fast = nums[nums[fast]];
}
fast = 0;
while (slow != fast){
fast = nums[fast];
slow = nums[slow];
}
return fast;
}