[leetcode]142.环形链表(ii)

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

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

思路：
基本思路同[leetcode]141.环形链表，设置快慢指针，快指针每次比慢指针多跳一步，则最后如果存在环，一定会相遇。
步骤：
1.定义p1 p2两个指针，初始化为头节点，设头节点到进入环之前有a个节点，环中有b个节点，共a+b个节点。
2.p1每次向前跳两步，p2每次向前跳一步，则如果存在环，p1与p2一定会相遇（第一次），设相遇时p1一共跳了f次，p2跳了s次，则f=2*s，又由于两指针在圈内绕到重合，则p1比p2多走了圈中节点的整数倍个节点，即f-s=n*b，联立可以得到s=n*b，f=2*（n*b），即快慢指针向前跳的次数都为圈中节点的整数倍。
3.令p2不动，p1指向链表头节点，之后每轮p1与p2都向前走一步，直到相遇（第二次），此时p1走了a个节点，p2走了a+n*b个节点，由于p2在走了a+n*b个节点之后也会到a，所以第二次两指针重合的地点即为a，即环形链表的入口节点，返回该节点。

AC代码：(C++)

class Solution {
   public:
    ListNode *detectCycle(ListNode *head) {
        ListNode *p1{head}, *p2{head};
        if (head == NULL) return NULL;
        while (p1) {
            p1 = p1->next;
            p2 = p2->next;
            if (p1)
                p1 = p1->next;
            else
                break;
            if (p1 == p2) {
                p1 = head;
                while (p1 != p2) {
                    p1 = p1->next;
                    p2 = p2->next;
                }
                return p1;
            }
        }
        return NULL;
    }
};