一道美团算法题，据说Don Knuth花了24小时才解答出来

给定一个包含 n + 1 个整数的数组 nums ，其数字都在 [1, n] 范围内（包括 1 和 n），可知至少存在一个重复的整数。

假设 nums 只有一个重复的整数，这个数可能出现两次或者多次，返回这个重复的数。

题目要求我们必须不修改数组 nums ，并且只用常量级 O(1) 的额外空间。

一眼扫过去，题目很好理解，思路也很容易理清，最直观的想法就是使用哈希表不就能马上查找出重复的整数么？

但再看一眼条件，只能用常量级 O(1) 的额外空间，于是哈希表的思路走不通。
一般的解法是采取二分查找的思路来解决，这里简单给大家介绍一下操作：

1、原始数组 nums 中总共包含了 n + 1 个整数，并且这些整数都在 [1, n] 范围内，那么如果设置 n 个抽屉，1 号抽屉存放 1 号整数、2 号抽屉存放 2 号整数、以此类推，那么总是有一个抽屉会至少存放两个数，这个数就是重复的数。

2、接下来，设置两个指针， left 指向最小值 1，right 指向最大值 nums.length - 1，以上图为例，此时 left = 1 ，right = 4 。

3、取 left 和 right 的中间值 mid = ( left + right ) / 2 ，所有的抽屉被划分为两块区间，[ left , mid ] 和 [ mid + 1 , right ]，如果我们知道重复数字会出现在其中一块区间，那么另外一块区间根本不需要去管，不用再去存放数字。

4、统计原始数组 nums 中小于等于 mid 元素的个数 count，此时发现 count = 3，而 [ left , mid ] 只包含了两个抽屉，那么根据抽屉原理，必然会出现两个数挤在相同的抽屉里面。

7、接下来，继续将 left 和 right 的区间划分为两块区间，[ 1 , 1 ] 和 [ 2 , 2 ]，此时，mid = 1 ，统计原始数组 nums 中小于等于 mid 元素的个数 count，发现 count = 1，说明 [ 1 , 1 ]这个区间只有一个抽屉一个整数，那么肯定不存在重复的数，重复的数在 [ 2 , 2 ] 这个区间。

8、此时，抽屉的范围发生了变化，由原来的 [ 1 , 2 ] 变成了 [ 2 , 2 ]，即 right 不变，left 变成了 2。

9、当前区间只有一个抽屉，也就说明是这个抽屉存放了重复的数，抽屉的编号是 2，说明重复的数字就是 2，找到答案了。

代码如下：

class Solution {
    public int findDuplicate(int[] nums) {

        int left = 1 ;

        int right = nums.length - 1 ;

        while ( left < right ) {

            int mid = ( left + right ) / 2 ;

            int count = 0;

            for ( int num : nums) {

                if ( num <= mid ){

                    count++ ;

                }
            }

            if ( count > mid) {

                right = mid ;

            }else{

                left = mid + 1;

            }
        }

        return left;

    }
}

更多信息：微信公众号 吴师兄学算法