【LeetCode刷题记录】142. 环形链表 II

142 环形链表 II

给定一个链表的头节点 head ，返回链表开始入环的第一个节点。 如果链表无环，则返回 null。
如果链表中有某个节点，可以通过连续跟踪 next 指针再次到达，则链表中存在环。 为了表示给定链表中的环，评测系统内部使用整数 pos 来表示链表尾连接到链表中的位置（索引从 0 开始）。如果 pos 是 -1，则在该链表中没有环。注意：pos 不作为参数进行传递，仅仅是为了标识链表的实际情况。
不允许修改 链表。

示例 1：

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

示例 2：

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

示例 3：

输入：head = [1], pos = -1
输出：返回 null
解释：链表中没有环。

提示：
链表中节点的数目范围在范围 $[0,10^4]$ 内
$-10^5<=Node.val<=10^5$
pos 的值为 -1 或者链表中的一个有效索引

进阶：你是否可以使用 O(1) 空间解决此题？

思路

（1）哈希表:
与【LeetCode刷题记录】141. 环形链表一致，只不过需要返回链表开始入环的第一个节点。
（2）快慢指针：（力扣官方题解）
设置快慢指针fast和slow，快指针fast每次走2步，慢指针slow每次走1步。如果存在环，快慢指针一定会相遇。求链表开始入环的第一个节点即求图中红框位置，即求长度为a的末节点。
假设slow、fast相遇在某个点，此时fast已经比slow多走了n圈
slow路程：a+b
fast路程：a+n(b+c)
由于fast走过的路程是slow的2倍，则可列出等式：
2(a+b) = a+n(b+c)
要求a的表达式，整理上述等式可得到：
a=(n-1)*(b+c)+c
即a=c+(n-1)圈
需要额外设置一个指针p，和slow一样。第二次相遇位置就是入环点。（不是很懂这里，有时间看一下下面的视频讲解）
B站视频讲解：环形链表II【基础算法精讲 07】

代码

法一：

/**
 * Definition for singly-linked list.
 * struct ListNode {
 *     int val;
 *     ListNode *next;
 *     ListNode(int x) : val(x), next(NULL) {}
 * };
 */
class Solution {
public:
    ListNode* detectCycle(ListNode* head) {
        set<ListNode*> seen;
        while (head != nullptr) {
            if (seen.count(head)) {
                return head;
            }
            seen.insert(head);
            head = head->next;
        }
        return nullptr;
    }
};

法二：

/**
 * Definition for singly-linked list.
 * struct ListNode {
 *     int val;
 *     ListNode *next;
 *     ListNode(int x) : val(x), next(NULL) {}
 * };
 */
// 快慢指针
class Solution {
public:
    ListNode* detectCycle(ListNode* head) {
        ListNode*slow=head,*fast=head;
        while(fast!=nullptr){
            slow=slow->next;
            if(fast->next==nullptr){
                return nullptr;
            }
            fast=fast->next->next;
            if(fast==slow){
                ListNode *p = head;
                while(p!=slow){
                    p=p->next;
                    slow=slow->next;
                }
                return p;
            }
        }
        return nullptr;
    }
};