剑指offer-面试题23：链表中环的入口节点

题目描述

给定一个链表，返回链表开始入环的第一个节点。 如果链表无环，则返回 null。 为了表示给定链表中的环，我们使用整数 pos 来表示链表尾连接到链表中的位置（索引从 0 开始）。 如果 pos 是 -1，则在该链表中没有环。注意，pos 仅仅是用于标识环的情况，并不会作为参数传递到函数中。
说明：不允许修改给定的链表。
进阶：
你是否可以使用 O(1) 空间解决此题？
示例 1：

输入：head = [3,2,0,-4], pos = 1
输出：返回索引为 1 的链表节点
解释：链表中有一个环，其尾部连接到第二个节点。
示例 2：

输入：head = [1,2], pos = 0
输出：返回索引为 0 的链表节点
解释：链表中有一个环，其尾部连接到第一个节点。
示例 3：

输入：head = [1], pos = -1
输出：返回 null
解释：链表中没有环。
提示：
链表中节点的数目范围在范围 [0, 104] 内
-105 <= Node.val <= 105
pos 的值为 -1 或者链表中的一个有效索引

方法一（哈希表）

1.解题思路

如果链表中存在环，那么循环遍历的过程中一定会访问到重复节点，找到第一个重复节点就是入口节点。

2.代码实现

public class Solution {
    public boolean hasCycle(ListNode head) {
        Set<ListNode> set=new HashSet<ListNode>();
        while(head!=null){
            if(set.contains(head)) return true;
            set.add(head);
            head=head.next;
        }
        return false;
    }
}

3.复杂度分析

• 时间复杂度：需要遍历一次链表，所以时间复杂度为O(n)
• 空间复杂度：需要额外长度为n的哈希表，所以空间复杂度为O(n)

方法二（快慢指针）

1.解题思路

定义两个指针，一个慢指针记作slow，一个快指针记作fast，快指针速度是慢指针的两倍，如果有环，那么快指针一定会追上慢指针，并且相遇点在环中的某一点。找到环中的相遇点后，再定义一个指针指向头节点，记作p，让p和慢指针以相同速度出发，当p到达环的入口节点时，慢指针一定绕环转了n圈，并且停在了入口节点。
证明：

如上图所示，相遇的时候，慢指针走了a+b的距离，快指针到达b点后，又绕着环转了n圈，所以快指针走过的距离为a+b+n*(b+c)，快指针速度是慢指针的两倍，所以有：
2*(a+b)=a+b+n*(b+c)
化简一下可以得到：
a=(n-1)*(b+c)+c
根据最后的化简式，我们可以得出结论：
当p指针从头节点走到入口节点的过程中，慢指针从相遇点走到了入口节点，并且还绕环转了（n-1）圈

2.代码实现

public class Solution {
    public ListNode detectCycle(ListNode head) {
        if(head==null)
            return null;
        boolean hasCycle=false;        
        ListNode slow=head;
        ListNode fast=head;
        while(fast.next!=null&&fast.next.next!=null){           
            slow=slow.next;
            fast=fast.next.next;
            if(slow==fast){
                hasCycle=true;
                break;
            }
        }
        if(hasCycle){
            ListNode q=head;
            while(slow!=q){
                slow=slow.next;
                q=q.next;
            }
            return q;
        }
        else{
            return null;
        }        
    }
}

3.复杂度分析

• 时间复杂度：最初找相遇点的时候，慢指针走了（a+b）的距离，后面找相遇点的时候，又走了a的距离，而链表总长度的2*(a+b+c)，所以时间复杂度为O(n)
• 空间复杂度：只需要常数级别的空间消耗，所以空间复杂度为O(1)

剑指offer全集入口： 请戳这里