AcWing 14. 不修改数组找出重复的数字

题目描述

给定一个长度为 n+1 的数组nums，数组中所有的数均在 1∼n 的范围内，其中 n≥1。
请找出数组中任意一个重复的数，但不能修改输入的数组。
样例
给定 nums = [2, 3, 5, 4, 3, 2, 6, 7]。
返回 2 或 3。
思考题：如果只能使用 O(1) 的额外空间，该怎么做呢？

题解

抽屉原理：n+1 个苹果放在 n 个抽屉里，那么至少有一个抽屉中会放两个苹果。
按数的取值范围将区间[1, n]划分成[1, n/2]和[n/2+1, n]两个子区间，然后分别统计两个区间中数的个数。由抽屉原理可知：必然有一个区间的个数大于区间长度，那么这个区间一定有一个数字重复。

int duplicateInArray(vector<int>& nums) {
        int l = 1, r = nums.size() - 1;
        
        while(l < r)
        {
            int mid = l + r >> 1;  // 划分的区间：[l, mid], [mid + 1, r]
            int s = 0;
            for(int x : nums) s += x >= l && x <= mid;
            if(s > mid - l + 1) r = mid;
            else l = mid + 1;
        }
        
        return l;
    }