剑指offer(二)不修改数组找出重复数字
示例分析：
例如：12344
数值上是1到4，那么就设置相应的“抽屉”1，2，3，4；
由于数组长度为5，大于“抽屉”数，所以一定有的“抽屉”里放多个数的，也就是对应的重复数字。
那么就可以用“二分”来求解。
解释：
1. l = 1, r = 4, nums.size()-1数组长度减1就代表“抽屉”数，l~r，代表了“抽屉”，（这里应该是不允许出现12333这种情况），但是求“抽屉”数也可以找到nums中最大的数字，就是抽屉数
2. 求出数值上的中点mid（2）
3. 遍历nums，统计 >=l 并且 <=mid 的数的个数；这里是扫描了整个nums数组里的数得到的统计结果，其实就是在统计数值上小于等于mid的数的个数
4. 如果s大于左边区间长度，说明左边数字比“抽屉”多，那么一定有重复的，如果小于也可能有重复的，这时这个算法检测不出来。
5. 否则就在右边。