单链表判断是否有环

今天百度实习生面试，面试官问了我这道题，要求时间复杂度：O（n），空间复杂度O（1）.

解决方法：

用两个指针来做，一个指针p1每次向前p1->next访问下一个节点，另一个指针p2每次访问p2->next->next步长为2的访问节点（前提：p2->next != NULL）。

若某一时刻p2==NULL，那么说明这个链表无环，如果某时刻p1==p2，那么说明这个链表有环。

原因分析：

无环时，p2先到达终点，则p2==NULL直接返回0表示无环；

有环时，设链表总长度为n，环在的位置为s，则在第k次循环后，p1所在的位置为 (k-s)%(n-s)+s，p2指针所在的位置为(2*k-s)%(n-s)+s，则当 k = n-s 时两者首次相遇，并在每次n-s的整数倍都会相遇。

代码如下：

int func( list *Head)
{
	list *p1 = Head, *p2 = Head;
	
	while( p2!=NULL && p2->next!=NULL) {
		p1 = p1->next;
		p2 = p2->next->next;
		if( p1==p2) break;
	}

	if( p1==p2) return 0;
	return 1;
} 

类似的，问题“链表倒数第k个元素”也可以用这种方式解决。使用两个指针，一个指针先走k步，然后两个指针同时移动，直到前一个指针为空（注意边界条件，例如：链表的长度小于k）