面试题3：数组中重复的数字

剑指 Offer 03. 数组中重复的数字

题目：

找出数组中重复的数字。

在一个长度为 n 的数组 nums 里的所有数字都在 0～n-1 的范围内。数组中某些数字是重复的，但不知道有几个数字重复了，也不知道每个数字重复了几次。请找出数组中任意一个重复的数字。

示例 1：

输入：
[2, 3, 1, 0, 2, 5, 3]
输出：2 或 3 

2 <= n <= 100000

解题：

首先分析好题目，长度为n，范围为0~n-1，也就是不重复的情况下刚刚好有所有数字，但是重复的情况下肯定有数字不存在，而题目要求是找到任意的一个重复数字即可

理解题意之后，创建几个测试用例

[0,0] 0
[1,1] 1
[3,3,3,3,3] 3
[2,3,1,0,2,5,3] 2或3

确定好解法：

暴力解法应该是最不行的，但是可以确定出空间复杂度和时间复杂度的区间，比如这里的暴力解法就是遍历两遍，时间复杂度为O(n*n)，空间复杂度为O(1)，所以时间复杂度应该比O(n*n)小，最小应该遍历一遍，也就是O(n)，空间复杂度暂时不确定，但是可以向O(1)努力。

解法一：

创建一个大小为n的数组，遍历给的数组，每个数字作为下标对应的值+1，如果值大于1即重复

时间复杂度为O(n)，空间复杂度为O(n)

class Solution(object):
    def findRepeatNumber(self, nums):
        """
        :type nums: List[int]
        :rtype: int
        """
        list_temp = [0 for i in range(len(nums))]
        for n in nums:
            list_temp[n] = list_temp[n] + 1
            if list_temp[n] > 1:
                return n

用空间换时间的做法，降低了时间增大了空间

解法二：

重排之后遍历相邻的两个元素的值，相等就是重复的

class Solution(object):
    def findRepeatNumber(self, nums):
        """
        :type nums: List[int]
        :rtype: int
        """
        nums.sort()
        for i in range(len(nums)-1):
            if nums[i] == nums[i+1]:
                return nums[i]

这种解法空间复杂度可以下降到O(1)，但是会破坏原有的nums，而且时间复杂度取决于timsort排序算法，但是时间复杂度肯定会大于O(n)，所以可能还有更优解。

解法三：

估计这种解法一般想不到，背过吧，是剑指offer中作者给出的最优解法。

需要对这个nums进行重排，但是不用timsort这种直接从小到大排序，而是“数字归位”，最开始分析的时候，有说到如果没有重复数字，那么这个list就是[0:n-1]，每个值都有自己的位置，就是遍历每个值，找到这个值的位置，如果这个值在它的位置就继续找下一个，如果不在，就交换这两个值，继续找下一个，如果找的时候发现两个值相等了，就返回这个值。这样时间复杂度可以压到O(n)，空间复杂度可以压到O(1)

class Solution(object):
    def findRepeatNumber(self, nums):
        """
        :type nums: List[int]
        :rtype: int
        """
        n = 0
        while(True):
            if nums[n] != n:
                    if nums[n] == nums[nums[n]]:
                        return nums[n]
                    temp = nums[n]
                    nums[n],nums[temp] = nums[temp],nums[n]
            else:
                n = n + 1

看着简单，可能会因为n，nums[n]，nums[nums[n]]这三个数代表的含义搞蒙了，最好不要在心里算，找根笔，写写画画最好。

同时剑指offer中也出了这道题的改编题，就是不该变数组的情况下仍然有O(1)的空间复杂度和最小的时间复杂度。

解法有点像二分法的思想：