剑指 Offer 03. 数组中重复的数字 — 扩展：不修改数组找出重复的数字

剑指 Offer 03. 数组中重复的数字 — 扩展：不修改数组找出重复的数字

难度：简单

题目描述

给定一个长度为 n + 1 的数组 nums，数组中所有的数均在 1 ∼ n 的范围内，其中 n ≥ 1 。

请找出数组中任意一个重复的数，但不能修改输入的数组。

思考题：如果只能使用 $O(1)$ 的额外空间，该怎么做呢？

样例

输入：[2, 3, 5, 4, 3, 2, 6, 7]
输出：2 或 3

限制

• $1\le n\le 1000$

---

算法

法1）分治、二分

• 二分区间，分治思想。
• 首先，我们可以确定的是，如果一个区间中数的个数超过这个区间的长度，那么这个区间一定存在我们要找的答案（这是 check 的依据），而且二分出来的区间中一定有且只有一半区间满足区间中数的个数超过这个区间的长度。
• 每次确定一个答案所在的区间，然后 check 一下，根据 check 返回的结果缩小答案所在的区间，直至区间中只剩下一个数为止。

时间复杂度

• 二分答案一共需要二分 $logn$ 次 。

• 每次二分需要 check 一下， check 的时候需要遍历整个 nums 数组，时间复杂度为 $O(n)$ 。

• 故总的时间复杂度为 $O(n\ast logn)$ 。

空间复杂度

• 额外空间复杂度为 $O(1)$ 。

C++代码

class Solution {
public:
    int duplicateInArray(vector<int>& nums) {
        int l = 1, r = nums.size();		// 最开始我们可以确定，答案在区间[1, n]之间
        while (l < r) {
            int mid = l + r >> 1;
            if (check(l, mid, nums)) r = mid;
            else l = mid + 1;
        }
        return l;
    }
    bool check(int& l, int& mid, vector<int>& nums) {
        int cnt = 0;
        for (auto &x : nums) if (x >= l && x <= mid) ++ cnt;
        //当区间 [l, mid] 区间中的数的个数超过区间长度 mid-l+1，则区间 [l, mid] 中存在要的找答案
        return cnt > mid - l + 1;
    }
};

法2）哈希表

• 遍历整个数组，如果遍历到的数未在哈希表中出现过，则将当前数插入哈希表 。

• 如果当前遍历到的数，哈希表中已经存在了（即之前已经遍历到过一次了），那么当前数是重复的，返回当前数即可。

时间复杂度

• 遍历 nums 数组 $1$ 次，故时间复杂度为 $O(n)$ 。

空间复杂度

• 哈希表最多需要存储 n 个数字，故额外空间复杂度为 $O(n)$ 。

C++代码

class Solution {
public:
    int duplicateInArray(vector<int>& nums) {
        unordered_set<int> hash;
        for (auto x : nums) {
            if (hash.count(x)) return x;
            hash.insert(x);
        }
        return -1;
    }
};

---

混一天和努力一天，一天看不出任何差别，三天看不到任何变化，七天也看不到任何距离……但是一个月后会看到话题不同，三个月后会看到气场不同，半年后会看到距离不同，一年后会看到人生道路截然不同。

————送给每个仍在为梦想努力奋斗的你

---