链表 - 单链表中的环

前言

关于单链表，有一些很经典的问题，在这里梳理一下（假设链表头指针为head）

问题

1. 给一个单链表，判断其中是否有环的存在？
2. 如果存在环，找出环的入口点？
3. 如果存在环，求出环上节点的个数？
4. 如果存在环，求出链表的长度？
5. 如果存在环，求出环上距离任意一个节点最远的点（对面节点）？
6. 如何判断两个无环链表是否相交？
7. 如果两个无环链表相交，求出第一个相交的节点？

解答

【问题1】给一个单链表（链表头指针为head），判断其中是否有环的存在？

采用“快慢指针”的方法，即创建两个指针fast和slow，开始的时候两个指针都指向链表头head，然后在每一步操作中slow向前走一步即：

slow = slow->next

而fast每一步向前两步即：

fast = fast->next->next

由于fast要比slow移动的快，如果有环，fast一定会先进入环，而slow后进入环。当两个指针都进入环之后，经过一定步的操作之后二者一定能够在环上相遇，并且此时slow还没有绕环一圈，也就是说一定是在slow走完第一圈之前相遇。证明可以看下图：

 当slow刚进入环时每个指针可能处于上面的情况，接下来slow和fast分别向前走即：

if (slow != NULL && fast->next != NULL)
{
         slow = slow -> next ;
         fast = fast -> next -> next ;
}

说明：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 ;
}

【问题2】如果存在环，找出环的入口点？

设链表长度L，head到相遇点长度s，head到环入口长度a，slow走了x长度后与fast相遇，环的长度r，如下图所示：

从上面的分析知道，当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    =>   a + x = s = n * r =  (n - 1) * r + r  = (n - 1) * r + (L - a)

得出：

a = (n - 1) * r + (L -a -x)

即：从链表起点head开始到入口点的距离a,与从slow和fast的相遇点（如图）到入口点的距离相等（a = L-a-x）。

因此我们就可以分别用一个指针（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 ; //找到入口点
}

【问题3】如果存在环，求出环上节点的个数？

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

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

【问题4】如果存在环，求出链表的长度？

到这里，问题已经简单的多了，因为我们在问题1、2、3中已经做得足够的“准备工作”。

我们可以这样求出整个链表的长度：

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

【问题5】如果存在环，求出环上距离任意一个节点最远的点（对面节点）？

如下图所示，点1和4、点2和5、点3和6分别互为”对面节点“ ，也就是换上最远的点。

对于换上任意的一个点 ptr0, 我们要找到它的“对面点”，可以这样思考：同样使用上面的快慢指针的方法，让 slow 和 fast 都指向 ptr0，每一步都执行与上面相同的操作（slow 每次跳一步，fast 每次跳两步），当 fast = ptr0 或者 fast = prt0->next 的时候 slow 所指向的节点就是 ptr0 的“对面节点”，由于 slow 移动的距离永远是fast的一半，因此当fast遍历玩整个环长度 r 个节点的时候 slow 正好遍历了 r/2 个节点，也就是说，此时正好指向距离ptr0最远的点。

【问题6】如何判断两个无环链表是否相交？

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

那么，解法如【问题1】。

【问题7】如果两个无环链表相交，求出第一个相交的节点？

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

那么，解法如【问题2】。