LeetCode 287. Find the Duplicate Number (时间复杂度O(n)) + 链表判断环

    xiaoxiao2025-01-25  69

    LeetCode 287. Find the Duplicate Number

    暴力解法

    时间 O(nlog(n)),空间O(n),按题目中Note“只用O(1)的空间”,照理是过不了的,但是可能判题并没有卡空间复杂度,所以也能AC。

    class Solution: # 基本思路为,将第一次出现的数字 def findDuplicate(self, nums: List[int]) -> int: s = set() for i in nums: a = i in s if a == True: return i else: s.add(i)

    双指针判断环

    时间O(n),空间O(1),思路十分巧妙,但是使用条件比较苛刻。根据题目给出的条件,恰好能用这种解法,这应该也是出题人推荐的解法。

    题意分析:

    输入的序列有n+1个数字,每个数字在1~n之间取,这为构成数字环创造了条件。只有一个数字有重复,所以只可能构成一个环。

    注:上面所说的环是指1->2->3->1

    以样例1为例:[1,3,4,2,2]

    0123413422

    如下图所示,其中2->4->2构成环,入环点为2

    解题思路

    由题意分析可知,每个样例都可以画成这样一张图,我们只需要找出图中的环,并找出入环点,即为所求的重复数字key,下面都用key表示所求的重复数字。

    为什么必定存在环

    以样例1为例,图中出现了5个点0-4,图中存在5根指针线,5个点5根线,必定存在环。 n个点,点的范围去0~n-1,n根线,必定存在环。(n-1根线是恰好无环的情况,自己画图可知)

    找环的方法

    设置一个慢指针slow,一个快指针fast。slow每次走一步,fast每次走两步,如果slow与fast能相遇,说明图中存在环,并且相遇点一定存在于环中。

    为什么key一定为入环点?

    有题意分析中的表可知,key的入度一定大于1,即不止一个点可以直接到key。而key一定存在于环中,所以key一定为入环点。样例1中3,4都可到达2,2的入度2,2为入环点,即为所求的key。

    怎么找入环点key?

    slow和fast相交的点记为相遇点P。 slow和fast从起点0到相遇点P运行步骤如下:

    这个相遇点P与起点0到达入环点key的步数 差距为环L的整数倍,故设置slow2从起点0开始,每次走一步,slow从相遇点P开始,每次走一步,slow和slow2一定会相遇在入环点key。

    我们可以有一个小小的证明,如下图

    设起点0到达入环点key的步数为x,相遇点P到达入环点key的步数为y。 设slow指针走到相遇点P的步数为t,fast走到相遇点P的步数为2*t。 设走完环一圈的步数为L

    2 * t - x + y = M * L(一) t - x + y = N * L (二) fast指针在环中走的步数2t-x,此时到达相遇点P,key->P->key步数为2t-x+y = M * L,正好为L的M倍,M为常数。(一)式 slow指针在环中走的步数t-x,此时到达相遇点P,key->P->key步数为t-x+y = N * L,正好为L的N倍,N为常数。(二)式

    2倍(二)式 减 (一)式 y-x = (2N-M) * L 所以y与x的步数差距为L倍的环。 得证。

    如何确定起点0一定会进入包含key的环?

    假设存在不包含key的环,起点0在不包含key的环中绕圈。

    0a1a2a3a4a5a6b1b2b3b4b5b6b7

    按题意不包含环,b[i]与b[j]一定不相等(i != j) 由于b1~b7从1开始,所以b[i]只能从a[j]中取(1<=i<=7,1<=j<=6) 从6个数字的集合a中取7个数字,所以假设不成立,必定存在相同数字b[k],即为key。

    代码如下

    class Solution: def findDuplicate(self, nums: List[int]) -> int: # 如果只有两个元素,第一个元素一定是重复元素 if len(nums) == 2: return nums[0] # fast每次走两步,slow每次走一步,起始点可以为任意位置 fast = 0 slow = 0 # python没有do while,所以在循环外写了一遍 slow = nums[slow] fast = nums[nums[fast]] while slow != fast: slow = nums[slow] fast = nums[nums[fast]] # fast从起点每次走一步,一定会与slow相遇,此时slow可能在环中走了多倍的L步。 # L为环一圈的步数 fast = 0 while fast != slow: slow = nums[slow] fast = nums[fast] return fast
    最新回复(0)