单向链表判断是否有环

如何最有效的检查单向链表中是否包含了环。请避免使用额外的内存。

先给出答案吧：

定义两个指针。指针A从链表开始处每次向后移动一个节点。指针B从链表开始处每次向后移动两个节点。问题的关键是一个单项链表中只可能有一个环，并且指针一旦进入环中就无法离开。因此我们可以预期经过一段时间后，A刚好指向环的第一个节点，而B指向环中的某个节点。

假设B和A的距离是K。因为B的速度比A要快一个节点，所以移动K次之后两个指针必定重合。此时即可认定链表中包含一个环。

时间复杂度小于O(N)
空间复杂度O(1)

这个算法称作Floyd’s Cycle-Finding Algorithm

实现如下：

Struct LinkedList {
　　Int data；
　　Struct LinkedList *pNext;
}
Struct LinkedList *IsCyclicList(struct LinkedList *pHead)
{
　　Struct LinkedList *pCur, *pStart;
　　If （！pHead）
　　　　Return NULL；
　　Else if（！pHead->pNext）
　　　　Return NULL;
　　pCur=pHead;
　　pStart=pHead->pNext;
　　While(pStart&&pCur!=pStart){
　　　　If(pStart->pNext)
　　　　　　pStart=pStart->pNext->pNext;
　　　　else
　　　　　　pStart=NULL;
　　　　pCur=pCur->next;
　　}
　　Return pStart;
}

补充：找出交点（环路的入口）及证明第一次相遇后，

接下来，让p2回到链表的头部，重新走，每次步长不是走2了，而是走1，那么当p1和p2再次
相遇的时候，就是环路的入口了。

这点可以证明的：

在p2和p1第一次相遇的时候，假定p1走了n步骤，环路的入口是在p步的时候经过的，那么有

p1走的路径： p+c ＝ n； c为p1和p2相交点，距离环路入口的距离

p2走的路径： p+c+k*L = 2*N； L为环路的周长，k是整数

显然，如果从p+c点开始，p1再走n步骤的话，还可以回到p+c这个点

同时p2从头开始走的话，经过n不，也会达到p+c这点

显然在这个步骤当中p1和p2只有前p步骤走的路径不同，所以当p1和p2再次重合的时候，必
然是在链表的环路入口点上。

转自：http://hi.baidu.com/dyiuneg/blog/item/eff265528b6f28040cf3e33a.html