单链表的环必定是从尾节点发出的。
假如链表形如
其中A是头节点,B是所求节点,C是快慢指针相遇的节点,D是尾节点。
虚线表示两节点之间还有其他节点,实线则是直接相连。
慢指针每次走一步,快指针每次走两步。
首先,快指针与慢指针相遇时,慢指针还没遍历完环,而快指针已经遍历环一遍了(可以证明,此处略)。
慢指针走的距离=AB+BC
快指针走的距离=AB+BD+DC
2*(AB+BC)=AB+BD+DC
得到AB=CD
因此可以让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, * node = head;
while (fast && fast->next && slow) {
fast = fast->next->next;
slow = slow->next;
if (fast == slow) break;
}
//遍历一遍后,如果快指针遇到了NULL,则没有环
if(!fast || !fast->next) return NULL;
while (node && slow && node != slow) {
node = node->next;
slow = slow->next;
}
return slow ? slow : NULL;
}
};