判断单链表是否有环

判断单链表中是否有环的存在

• 快慢指针：两个指针fast和slow，开始的时候两个指针都指向链表头head，然后在每一步操作中slow向前走一步即：slow = slow->next，而fast每一步向前两步即：fast = fast->next->next。

  如果有环，fast一定会先进入环，而slow后进入环。当两个指针都进入环之后，经过一定步的操作之后二者一定能够在环上相遇，并且此时slow还没有绕环一圈，也就是说一定是在slow走完第一圈之前相遇。

  也就是说，slow每次向前走一步，fast向前追了两步，因此每一步操作后fast到slow的距离缩短了1步，这样继续下去就会使得两者之间的距离逐渐缩小：…、5、4、3、2、1、0 相遇。又因为在同一个环中fast和slow之间的距离不会大于环的长度，因此到二者相遇的时候slow一定还没有走完一周（或者正好走完以后，这种情况出现在开始的时候fast和slow都在环的入口处）。

typedef struct node{
	char data ;
	node * next ;
}Node;
bool exitLoop(Node *head){
	Node *fast, *slow ;
	slow = fast = head ;

	while (slow != NULL && fast -> next != NULL){
		slow = slow -> next ;
		fast = fast -> next -> next ;
		if (slow == fast)
			return true ;
	}
	return false ;
}

找出环的入口点

• 当fast和slow相遇时，slow还没有走完链表，假设fast已经在环内循环了n(1<= n)圈。假设slow走了s步，则fast走了2s步，又由于fast走过的步数 = s + n·r（s + 在环上多走的n圈），则有下面的等式：2·s = s + n· r ; 可知s = n·r；如果假设整个链表的长度是L，入口和相遇点的距离是x，起点到入口点的距离是a，则有：a + x = s = n·r; 推出a + x = (n - 1) · r + r = (n - 1)· r + (L - a)由环的长度 = 链表总长度 - 起点到入口点的距离求出a = (n - 1) · r + (L -a -x) 。我们可以看出，从链表起点head开始到入口点的距离a,与从slow和fast的相遇点（如图）到入口点的距离相等。

  分别用一个指针（ptr1, prt2），同时从head与slow和fast的相遇点出发，每一次操作走一步，直到ptr1 == ptr2，此时的位置也就是入口点。

Node* findLoopStart(Node *head){
	Node *fast, *slow ;
	slow = fast = head ;

	while (slow != NULL && fast -> next != NULL){
		slow = slow -> next ;
		fast = fast -> next -> next ;
		if (slow == fast) break ;
	}
	if (slow == NULL || fast -> next == NULL) return NULL ; //没有环，返回NULL值

	Node * ptr1 = head ; //链表开始点
	Node * ptr2 = slow ; //相遇点
	while (ptr1 != ptr2) {
		ptr1 = ptr1 -> next ;
		ptr2 = ptr2 -> next ;
	}
	return ptr1 ; //找到入口点
}

求出环上节点的个数

• 记录下相遇节点存入临时变量tempPtr，然后让slow(或者fast，都一样)继续向前走slow = slow -> next；一直到slow == tempPtr; 此时经过的步数就是环上节点的个数；

• 从相遇点开始slow和fast继续按照原来的方式向前走slow = slow -> next; fast = fast -> next -> next；直到二者再次项目，此时经过的步数就是环上节点的个数 。

  fast和slow没一次操作都会使得两者之间的距离较少1。我们可以把两者相遇的时候看做两者之间的距离正好是整个环的长度r。因此，当再次相遇的时候所经过的步数正好是环上节点的数目。

对于第二种思路，我们可以这样想，结合上面的分析，

由于这两种思路都比较简单，代码也很容易实现，这里就不给出了。

求出链表的长度

• 链表长度L = 起点到入口点的距离 + 环的长度r;

求出环上距离任意一个节点最远的点

• 对于环上任意的一个点ptr0, 同样使用上面的快慢指针的方法，让slow和fast都指向ptr0，每一步都执行与上面相同的操作，当fast = ptr0或者fast = prt0->next的时候slow所指向的节点就是ptr0的”对面节点“。

  把环从ptro处展开，展开后可以是无限长的，由于slow移动的距离永远是fast的一般，因此当fast遍历玩整个环长度r个节点的时候slow正好遍历了r/2个节点，也就是说，此时正好指向距离ptr0最远的点。

如何判断两个无环链表是否相交，如果相交，求出第一个相交的节点

• 假设有连个链表listA和listB，如果两个链表都无环，并且有交点，那么我们可以让其中一个链表（不妨设是listA）的尾节点连接到其头部，这样在listB中就一定会出现一个环。