142 环型链表II

题目

给定一个链表，返回链表开始入环的第一个节点。 如果链表无环，则返回 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
解释：链表中没有环。

• 方法一：快慢指针

/**
 * 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;
        //如果fast或fast的后继为空，表示该链表无环，返回空
        while(fast&&fast->next){
            slow = slow->next;
            fast = fast->next->next;
            //当两指针第一次相遇时，定义一个指针从头开始走，两指针相遇的节点就是环的起点
            if(slow == fast){
                ListNode *p = head;
                while(p!=slow){
                    p = p->next;
                    slow = slow->next;
                }
                return slow;
            }
        }
        return NULL;
    }
};

• 时间复杂度O(n)

• 空间复杂度O(1)

• 思路

  • 推导
    • 快指针一次走两步，慢指针一次走一步
    • 链表长度可以分为两部分，一个是链表首节点到环的入口，长度为a，一个是环的长度，长度为b
    • 在两个指针第一次相遇时，慢指针走了s，快指针走了2s，且2s = s + nb，即快指针在到达相遇点后又走了几次环，然后与慢指针相遇。得到s=nb，即慢指针此时走了nb。
    • 而环的入口为a+nb，此时再有一个指针从链表起点与慢指针同时开始走，二者各自都走了a，相遇的地点就是环的入口。
  • 快指针一次走两步，慢指针一次走一步，二者相遇时定义一个指针从链表头开始走，此时慢指针同步走，这两个指针相遇的节点就是环的起点。

• 方法二：哈希

/**
 * 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) {
        unordered_set<ListNode*> hash;//哈希表
        while(head!=NULL){//遍历链表
            if(hash.find(head)!=hash.end()){//第一个重复出现的元素
                return head;
            }
            hash.insert(head);
            head = head->next;
        }
        return NULL;
    }
};

• 时间复杂度O(n)
• 空间复杂度O(n)
• 思路
  • 遍历链表，直到指针为空表示没有环。否则，讲每个第一次出现的节点加入到哈希表中，返回第一个第二次出现的节点。

参考详解：链表双指针法