原题链接:
添加链接描述
思路分析:
设置快慢指针,都从链表头出发,快指针每次走两步,慢指针一次走一步,假如有环,一定相遇于环中某点(结论1)。接着让两个指针分别从相遇点和链表头出发,两者都改为每次走一步,最终相遇于环入口(结论2)。以下是两个结论证明:
**结论1:**设置快慢指针,假如有环,他们最后一定相遇。
**结论2:*两个指针分别从链表头和相遇点继续出发,每次走一步,最后一定相遇与环入口。
证明结论1:设置快慢指针fast和low,fast每次走两步,low每次走一步。假如有环,两者一定会相遇(因为low一旦进环,可看作fast在后面追赶low的过程,每次两者都接近一步,最后一定能追上)。
证明结论2:
设链表头节点到环形入口节点的距离为a,环形入口节点到相遇点的距离为b,相遇节点到环形入口节点的距离为c,如下图所示。
从头结点走到第一次相遇点有:
慢指针走的距离为a+b,快指针走的距离为a+k(b+c)+b,(k>=1,相当于是快指针比慢指针多走了几圈,k不能等于0,否则快慢指针走的距离一样)。
因为快指针每次走两个节点,所以快指针的距离是慢指针的距离的两倍。
因此2(a+b)=a+k(b+c)+b,化简得a=(k-1)(b+c)+c。(k>=1,所以k-1>=0,b+c=环的长度,相当于a的距离是c的距离加n个环的距离)快指针从头结点出发,慢指针从相遇点出发,两个指针速度一样的情况下,两个指针必定会在环入口相遇,因为不管n等于多少,慢指针始终会转回相遇点,最终停下的位置一定是环入口
/*
struct ListNode {
int val;
struct ListNode *next;
ListNode(int x) :
val(x), next(NULL) {
}
};
*/
//不带头节点
#include <cmath>
class Solution {
public:
ListNode* EntryNodeOfLoop(ListNode* pHead) {
ListNode *fast,*slow;
ListNode *meet = nullptr;
ListNode *entrance = nullptr;
fast = pHead;
slow = pHead;
bool isloop = false;
//先找到相遇的节点
while(fast->next!=nullptr&&fast->next->next!=nullptr) //不为空节点才可以移动
{
fast = fast->next->next; //快指针每次移动两个节点
slow = slow->next; //慢指针每次移动一个节点
if(fast==slow)//找到了相遇的节点
{
meet = fast;
isloop = true;
break;
}
}
//如果存在环,则快慢快慢指针速度都调整为1,且一个指针起点为链表头节点,另一节点从相遇点出发
if(isloop)
{
fast = pHead;
slow = meet;
while(fast!=slow) //两个节点一定会相遇,且第一次相遇的点就是链表入口
{
fast = fast->next;
slow = slow->next;
}
entrance = fast;
return entrance;
}
else //说明是因为有一个指针走到了空指针而跳出的循环,那这样都不存在环
{
return entrance;
}
}
};