142. 环形链表 II

文|Seraph

01 | 问题

给定一个链表，返回链表开始入环的第一个节点。 如果链表无环，则返回 null。
为了表示给定链表中的环，我们使用整数 pos 来表示链表尾连接到链表中的位置（索引从 0 开始）。 如果 pos 是 -1，则在该链表中没有环。
说明：不允许修改给定的链表。

示例 1：

输入：head = [3,2,0,-4], pos = 1
输出：tail connects to node index 1
解释：链表中有一个环，其尾部连接到第二个节点。

示例 2：

输入：head = [1,2], pos = 0
输出：tail connects to node index 0
解释：链表中有一个环，其尾部连接到第一个节点。

示例 3：

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

进阶：
你是否可以不用额外空间解决此题？

02 |解题

初解：

这题类似Leetcode No.141 环形链表，可以利用额外set来处理，只不过返回的是该入环节点指针。

/**
 * 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 *> setlist;
        ListNode *p = head;
        while(p)
        {
            auto itr = setlist.insert(p);
            if(!itr.second)
            {
                return *itr.first;
            }
            p = p->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 *fast = head;
        ListNode *slow = head;
        bool bFirst = true;
        while(fast && slow && fast->next)
        {
            fast = fast->next->next;
            slow = slow->next;
            if(fast == slow)
            {
                ListNode *p1 = head;
                while(fast!=p1)
                {
                    fast = fast->next;
                    p1 = p1->next;
                }
                return fast;
                
            }
        }
        return nullptr;
    }
};

03 | 积累知识点

1. 当使用STL时，使用auto能省很多输入，但需要熟悉推导的值是什么类型。
2. 当做类似的题时候，记得利用从简单的题得到的结果。以之为基础，扩展当前题目思路。
3. 数学证明有时候会被利用到，快速且简单。只是经常证明会比较难。

官网链接 Leetcode No.142