剑指 Offer II 022. 链表中环的入口节点

剑指 Offer II 022. 链表中环的入口节点

难度中等

给定一个链表，返回链表开始入环的第一个节点。 从链表的头节点开始沿着 next 指针进入环的第一个节点为环的入口节点。如果链表无环，则返回 null。

为了表示给定链表中的环，我们使用整数 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, 104] 内
• -105 <= Node.val <= 105
• pos 的值为 -1 或者链表中的一个有效索引

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

分析：首先看判环。判环可以选择使用哈希或者快慢指针。

思路1：使用哈希表，那么如果存在环的话，遍历到一个元素就将其入哈希表，如果当前节点已经在哈希表内，则就是那个入环节点。

思路2：快慢指针。快慢指针的思路如下，快指针一次走两步，慢指针一次走一步，当快慢指针相遇的时候，将快指针指回头节点，此时快慢指针都向后移动，并且一次都只移动一步，会在入环节点相遇。

/**
 * 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) {
        if(!head) return NULL;
        ListNode *fast = head, *slow = head;
        while(fast != NULL){
            slow = slow -> next;
            if(fast -> next == NULL){
                return NULL;
            }
            fast = fast -> next -> next;
            if(fast == slow){ // 快慢指针相遇
                fast = head;
                while(fast != slow){
                    fast = fast -> next;
                    slow = slow -> next;
                }
                return fast;
            }
        }

        return NULL;
    }
};

证明：假设环外长度为a，二者在距离入环节点距离b处相遇，环内剩余部分长度为c。

fast指针走过的距离：a + (b + c) * n + b [快指针多走n圈，并不会改变最终停下的位置]

slow指针走过的距离：a + b

因为快指针每次走两步，慢指针每次走一步，因此快指针走的距离是慢指针的两倍，因此有如下公式：

2* ( a + b ) = a + (b + c) * n + b => a = c + (n - 1)*(b + c)，也就是说a等价于n-1圈(b+c)加一段b。此时很明显了，当一个指针一步一步走了a的距离，而另一个指针在b位置也走了a的距离后，两者最终会在入环节点处碰头。