leetcode142.环形链表II

判断是否存在环形链表，题目链接：

https://leetcode-cn.com/problems/linked-list-cycle-ii/

我的代码

public class Solution {
    public ListNode detectCycle(ListNode head) {
        if(head == null || head.next == null) return null;

        ListNode right = head;
        while(right.next != null){
            ListNode left = head;
            right = right.next;
            while(left != right){
                if(right.next == left) return left;
                left = left.next; 
            }
            if(right.next == right) return left;
        }
        return null;
    }
}

思路是两个指针，right指针每右移一次，left指针就从head开始扫到right为止，看节点是否相等，如果相等就存在环，还要判断两种特殊情况，head为空，只有一个head节点，且head.next为空。

这题空间复杂度O(1),只需要right和left两个记录节点的变量，但是时间复杂度O(n^2)因为相等于两个for循环了，看了题解，我完全忘记哈希表也可以存节点了！！！

来个哈希表的，时间和空间复杂度都是O(n)。

public class Solution {
    public ListNode detectCycle(ListNode head) {
        Set<ListNode> set = new HashSet<ListNode>();
        ListNode pos = head;
        while(pos != null){
            if(set.contains(pos)){
                return pos;
            }else{
                set.add(pos);
            }
            pos = pos.next;
        }
        return null;
    }
}

双指针正解链接如下

https://leetcode-cn.com/problems/linked-list-cycle-ii/solution/linked-list-cycle-ii-kuai-man-zhi-zhen-shuang-zhi-/

我自己也去理解实现了一遍，贴一下代码

public class Solution {
    public ListNode detectCycle(ListNode head) {
        
        ListNode fast = head, slow = head;

        while(fast != null){
            if(fast.next == null || fast.next.next == null){return null;}
            fast = fast.next.next;
            slow = slow.next;
            if(fast == slow) break;
        }
        ListNode ans = head;
        while(ans != slow){
            ans = ans.next;
            slow = slow.next;
        }
        return ans;
    }
}

借大佬的图一用，fast指针一次走两步，slow指针一次走一步。然后假设环之前走了a步，环的长度为b。

1.fast指针第一次和slow相遇时 f比s多走了n次环，可得：f = 2s，f = s + nb => s = nb

情况分析：

让一个点从表头走到链表的环入口节点，需要走a+nb步数，n可以为任意正整数，那么由于s=nb，s只需要走a步即可达到入口节点。

从head开始走，也只需要走a步即可。

因此，设置一个ans = head节点，ans与slow一起向前走，直到走了a步（其实条件是ans == slow）那么ans就处于链表的入口节点。

​​​​​​​2.设置ans = head， ans和slow一起向前走，直到ans == slow。

这个思路，牛逼！