题目

标题和出处

标题：寻找重复数

出处：287. 寻找重复数

难度

6 级

题目描述

要求

给定一个包含 $\text{n}+\text{1}$ 个整数的数组 $\text{nums}$，每个整数都在范围 $\text{[1, n]}$ 内（包括 $\text{1}$ 和 $\text{n}$）。

数组 $\text{nums}$ 只有一个重复的整数，返回这个重复的数。

要求不修改数组 $\text{nums}$ 且只用常量级的额外空间。

示例

示例 1：

输入：$\text{nums = [1,3,4,2,2]}$
输出：$\text{2}$

示例 2：

输入：$\text{nums = [3,1,3,4,2]}$
输出：$\text{3}$

示例 3：

输入：$\text{nums = [3,3,3,3,3]}$
输出：$\text{3}$

数据范围

• $\text{1}\le \text{n}\le {\text{10}}^{\text{5}}$
• $\text{nums.length}=\text{n}+\text{1}$
• $\text{1}\le \text{nums[i]}\le \text{n}$
• $\text{nums}$ 中的所有整数都只出现一次，除了一个整数出现两次或多次

进阶

• 如何证明 $\text{nums}$ 中至少存在一个重复的数字？
• 你可以设计一个线性级时间复杂度的解决方案吗？

前言

由于数组的长度是 $n+1$，且最多包含 $n$ 个不同的整数。根据抽屉原理（或鸽笼原理）可知，将数组的 $n+1$ 个位置分配到 $n$ 个不同的整数，至少有两个位置分配到同一个整数，即该整数在数组中重复。因此数组中至少存在一个重复的数字。

由于这道题要求不修改数组且空间复杂度是 $O(1)$，因此排序、哈希表等解法都是不允许的，需要使用其他解法寻找重复的数字。

解法一

思路和算法

每个正整数的二进制表示中至少有一位是 $1$。对于二进制表示的每一位，分别考虑数组 $\text{nums}$ 中的所有整数在该位的 $1$ 的次数 $\text{countArr}$ 和范围 $[1,n]$ 中的所有整数在该位的 $1$ 的次数 $\text{countNum}$。假设整数 $x$ 在数组 $\text{nums}$ 中出现超过一次，则 $x$ 的二进制表示的每个 $1$ 所在的位都满足 $\text{countArr}>\text{countNum}$。理由如下。

• 如果 $x$ 出现两次，则范围 $[1,n]$ 中的所有整数都在数组 $\text{nums}$ 中出现，因此对于 $x$ 中等于 $1$ 的每一位都有 $\text{countArr}>\text{countNum}$。

• 如果 $x$ 出现超过两次，则范围 $[1,n]$ 中的部分整数不在数组 $\text{nums}$ 中出现，可以看成 $x$ 替代了这部分整数。对于 $x$ 中等于 $1$ 的每一位，被替代的整数在相应位的值等于 $0$ 或 $1$。替代之前有 $\text{countArr}>\text{countNum}$，替代之后同样有 $\text{countArr}>\text{countNum}$。

除了 $x$ 的二进制表示的每个 $1$ 所在的位以外，其余位都不满足 $\text{countArr}>\text{countNum}$。因此上述结论的逆命题也成立：假设所有满足 $\text{countArr}>\text{countNum}$ 的位组成的整数是 $x$，则 $x$ 在数组 $\text{nums}$ 中出现超过一次。

根据上述分析，可以使用位运算寻找重复数。首先找到 $n$ 的二进制表示的最高有效位，即最高位 $1$ 所在的位数，然后依次遍历最低有效位到最高有效位，对于每一位计算 $\text{countArr}$ 和 $\text{countNum}$，如果 $\text{countArr}>\text{countNum}$ 则将该位加到重复数中。遍历结束之后即可得到重复数。

代码

class Solution {public int findDuplicate(int[] nums) {int n = nums.length - 1;int highBit = 0;int temp = n;while (temp != 0) {highBit = temp & (-temp);temp -= highBit;}int duplicate = 0;for (int i = 1; i <= highBit; i <<= 1) {int countArr = 0, countNum = 0;for (int num : nums) {int bit = num & i;if (bit != 0) {countArr++;}}for (int j = 1; j <= n; j++) {int bit = j & i;if (bit != 0) {countNum++;}}if (countArr > countNum) {duplicate += i;}}return duplicate;}
}

复杂度分析

• 时间复杂度：$O(n\log n)$，其中 $n$ 是数组 $\text{nums}$ 的长度减 $1$。需要遍历的二进制表示位数是 $O(\log n)$，对于每一位都需要 $O(n)$ 的时间计算该位在重复数中是否等于 $1$，时间复杂度是 $O(n\log n)$。

• 空间复杂度：$O(1)$。

解法二

思路和算法

假设有一个长度为 $n+1$ 的数组 $\text{counts}$，其中 $\text{counts}[i]$ 表示数组 $\text{nums}$ 中的不超过 $i$ 的整数个数。以下用 $x$ 表示重复数。

如果 $x$ 出现两次，则当 $i<x$ 时 $\text{counts}[i]=i$，当 $i\ge x$ 时 $\text{counts}[i]=i+1>i$。

如果 $x$ 出现超过两次，则范围 $[1,n]$ 中的部分整数不在数组 $\text{nums}$ 中出现，可以看成 $x$ 替代了这部分整数，假设只有一个整数被替代，用 $j$ 表示被替代的整数，分别考虑 $j<x$ 和 $j>x$ 的情况。

• 如果 $j<x$，则对于 $i<x$，不超过 $i$ 的整数个数不变或减少，因此 $\text{counts}[i]\le i$，对于 $i\ge x$，不超过 $i$ 的整数个数不变，因此 $\text{counts}[i]>i$。

• 如果 $j>x$，则对于 $i<x$，不超过 $i$ 的整数个数不变，因此 $\text{counts}[i]=i$，对于 $i\ge x$，不超过 $i$ 的整数个数不变或增加，因此 $\text{counts}[i]>i$。

因此当 $i<x$ 时 $\text{counts}[i]\le i$，当 $i\ge x$ 时 $\text{counts}[i]>i$。如果被替代的整数有多个，该结论仍成立。

重复数 $x$ 是使得 $\text{counts}[x]>x$ 成立的最小整数 $x$，可以使用二分查找的方法寻找重复数。

用 $\text{low}$ 和 $\text{high}$ 分别表示二分查找的下界和上界。由于 $x$ 在范围 $[1,n]$ 中，因此初始时 $\text{low}=1$，$\text{high}=n$。

每次查找时，取 $\text{mid}$ 为 $\text{low}$ 和 $\text{high}$ 的平均数向下取整，计算数组 $\text{nums}$ 中的不超过 $\text{mid}$ 的整数个数 $\text{counts}[\text{mid}]$，执行如下操作。

• 如果 $\text{counts}[\text{mid}]\le \text{mid}$，则重复数 $x$ 小于等于 $\text{mid}$，因此在 $[\text{low},\text{mid}]$ 中继续查找。

• 如果 $\text{counts}[\text{mid}]>\text{mid}$，则重复数 $x$ 大于 $\text{mid}$，因此在 $[\text{mid}+1,\text{high}]$ 中继续查找。

当 $\text{low}=\text{high}$ 时，查找结束，此时 $\text{low}$ 即为重复数 $x$。

实现方面，并不需要显性创建数组 $\text{counts}$，而是可以在二分查找的过程中根据当前的 $\text{mid}$ 遍历数组 $\text{nums}$ 计算不超过 $\text{mid}$ 的整数个数，因此空间复杂度是 $O(1)$。

代码

class Solution {public int findDuplicate(int[] nums) {int n = nums.length - 1;int low = 1, high = n;while (low < high) {int mid = low + (high - low) / 2;int count = 0;for (int num : nums) {if (num <= mid) {count++;}}if (count > mid) {high = mid;} else {low = mid + 1;}}return low;}
}

复杂度分析

• 时间复杂度：$O(n\log n)$，其中 $n$ 是数组 $\text{nums}$ 的长度减 $1$。需要执行 $O(\log n)$ 次二分查找，每次二分查找需要 $O(n)$ 的时间遍历数组 $\text{nums}$ 计算不超过特定值的整数个数，时间复杂度是 $O(n\log n)$。

• 空间复杂度：$O(1)$。

解法三

思路和算法

将数组看成有向图，范围 $[0,n]$ 中的每个整数是一个结点，对于 $0\le i\le n$ 的每个下标 $i$，存在一条从 $i$ 指向 $\text{nums}[i]$ 的有向边。对于重复数 $x$，存在至少两条指向 $x$ 的边，因此有向图中存在环。

这道题可以看成在有向图中寻找环的入口，可以使用「环形链表 II」的快慢指针做法。以下只说明使用快慢指针寻找重复数的做法，正确性证明见「环形链表 II 的题解」。

寻找重复数分成两步。

第一步是使用快慢指针遍历有向图寻找相遇点。

初始时，快指针和慢指针都位于整数 $0$。每次将快指针移动两步，慢指针移动一步，在至少移动一次的情况下，当快指针和慢指针相遇时，相遇的位置为相遇点。

第二步是将两个指针分别从起点和相遇点开始遍历有向图寻找重复数。

初始时，两个指针分别位于整数 $0$ 和相遇点。每次将两个指针各移动一步，两个指针相遇的整数即为重复数。

代码

class Solution {public int findDuplicate(int[] nums) {int fast = 0, slow = 0;int meet = -1;while (meet < 0) {fast = nums[nums[fast]];slow = nums[slow];if (fast == slow) {meet = fast;}}int pointer1 = 0, pointer2 = meet;while (pointer1 != pointer2) {pointer1 = nums[pointer1];pointer2 = nums[pointer2];}return pointer1;}
}

复杂度分析

• 时间复杂度：$O(n)$，其中 $n$ 是数组 $\text{nums}$ 的长度减 $1$。快慢指针的时间复杂度是 $O(n)$。

• 空间复杂度：$O(1)$。