LeetCode287. 寻找重复数(环形链表，二分，好难啊）

287. 寻找重复数

给定一个包含 n + 1 个整数的数组 nums ，其数字都在 1 到 n 之间（包括 1 和 n），可知至少存在一个重复的整数。

假设 nums 只有 一个重复的整数 ，找出 这个重复的数 。

你设计的解决方案必须不修改数组 nums 且只用常量级 O(1) 的额外空间。

示例 1：

输入：nums = [1,3,4,2,2]
输出：2
示例 2：

输入：nums = [3,1,3,4,2]
输出：3
示例 3：

输入：nums = [1,1]
输出：1
示例 4：

输入：nums = [1,1,2]
输出：1

提示：

1 <= n <= 105
nums.length == n + 1
1 <= nums[i] <= n
nums 中 只有一个整数 出现 两次或多次 ，其余整数均只出现 一次

快慢指针：和LeetCode141. 环形链表相似。
但此处的环是两个互相指的例如：1->2,2->1这种。所以他们最多差一步，在找到环入口时，只需要每次让快慢指针走一步即可。

这里的环是通过下标的对应关系来建立的，是基于下标建立的，而要寻找的答案是下标对应的值。所以在找到环的起点后还要去寻找值。

class Solution {
    public int findDuplicate(int[] nums) {
        int slow = 0;
        int fast = 0;
        slow = nums[slow];
        fast = nums[nums[fast]];
        //找到环的入口
        while(slow != fast){
            slow = nums[slow];
            fast = nums[nums[fast]];
        }
        int pre1 = 0;
        int pre2 = slow;
        while(pre1 != pre2){
            pre1 = nums[pre1];
            pre2 = nums[pre2];
        }
        return pre1;
    }
}

二分：

因为题中的输入是1-n的。所以其基本为连续的，

这里改变left和right与数组的下标无关，left默认是从最小值1开始，因为其right默认就是理想最大了，因为输入是1-n之间的数，而初始化right为nums.length-1，默认是最大的了(以例子1：left=1，right=5-1=4）。然后根据上面的cnt原则，小于arget的cnt是等于其本身的值 的，而大于或等于target的cnt是大于其本身的。这里改变left或者right的值，只是为了改变其mid的大小，从而继续进行判断。

用 [1,3,4,2,2]为例子：
初始化：left=1,right=4，mid=2.
发现2的cnt=3.是大于2的（大于因为出现了重复数，重复数小于或等于2），故target<=2.要减小mid，改变其rigtht=mid=2，
新的mid=1，发现1的cnt=1（等于是因为在小于或等于1的数中没出现重复数.故要增大mid，left=mid+1=2，此时right也是等于2的。不满足while的循环条件（left < right），退出循环输出答案、

  public static int findDuplicate(int[] nums) {
        int len = nums.length;
        int left = 1;
        int right = len - 1;
        while (left < right) {
            int mid = left + (right - left) / 2;

            int cnt = 0;
            for (int num : nums) {
                if (num <= mid) {
                    cnt += 1;
                }
            }

            // 根据抽屉原理，小于等于 4 的个数如果严格大于 4 个，此时重复元素一定出现在 [1..4] 区间里
            if (cnt > mid) {
                // 重复元素位于区间 [left..mid]
                //这里的分析正确是指，重复的数肯定是比当前的mid小的，所以要将mid减小，就将right减小即可。

                right = mid;
            } else {
                // if 分析正确了以后，else 搜索的区间就是 if 的反面区间 [mid + 1..right]
                //这里的分析正确是指，重复的数肯定是比当前的mid大的，所以要将mid增大，就将left增加即可。
                left = mid + 1;
            }
        }
        return left;
    }