判断链表是否有环？并返回环入口点。

---

前言

做王道的数据结构课后习题，碰到一个问题：设计一个算法完成以下功能，判断一个链表是否有环，如果有，找出环的入口点并返回，否则返回null。一开始还没思路，后来看了看答案，霍，老师好像上课的时候讲过。汗颜，全还给老师了，特此做个记录。

---

一、算法基本设计思想？

设置两个快慢指针fast和last，初始化时都指向链表头部，快指针fast每次走两步，慢指针last每次走一步。若存在环，则两指针进入环后，经过若干次操作后必然相遇。
这里必然相遇的合理性简单讲下，因为好像有些人不是很清楚。两指针都进入环后，因为快指针比慢指针速度快上一个单位，所以两者的相对距离其实在以一个节点一个节点的缩减，所以他们必然相遇。
接下来求解的环的入口位置：
这里需要关注一点，当slow刚进入环时，fast早已进入环。因为fast每次比slow多走一步，且fast与slow的距离小于环的长度，所以fast与slow相遇时，slow所走的距离不超过环的长度。
如上图所示，设头节点到环的入口点的距离为a，环的入口点沿着换的方向到相遇点的距离为x，环长r，相遇时fast绕过了n圈。fast的速度是slow速度的两倍，则有2(a+x) = a+nr+x，则a=nr-x。显然从头节点到环的入口点的距离等于n倍的环长减去换的入口点到相遇的距离。因此可以设置两个指针，一个指向head，一个指向相遇点，两个同步移动（均为一次走一步），相遇点即为环的入口点。

二、代码

	LNode* FindLoopStart(LNode *head){
		//快慢指针
		LNode *fast=head, *slow=head;
		//快指针走两步，慢指针走一步
		while(slow!=NULL && fast->next!=NULL){
			slow = slow->next;
			fast = fast->next->next;
			if(slow==fast) break;
		}
		//链表无环
		if(slow==NULL || fast==NULL)
			return NULL;
		//链表有环，找环入口
		LNode *p1=head, *p2=slow;
		while(p1!=p2){
			p1=p1->next;
			p2=p2->next;
		}
		//返回环入口
		return p1;
	}

总结

这里判断链表是否存在环的思想很有参考意义，以及找到环入口位置的idea中包含的数学思想。