问题描述:在单向链表中,每个结点都包含一个指向下一个结点的指针,最后一个结点的这个指针被设置为空。但如果把最后一个结点的指针指向链表中存在的某个结点,就会形成一个环,在顺序遍历链表的时候,程序就会陷入死循环。我们的问题就是,如何检测一个链表中是否有环,如果检测到环,如何确定环的入口点(即求出环长,环前面的链长)。
一种比较耗空间的做法是,从头开始遍历链表,把每次访问到的结点(或其地址)存入一个集合(hashset)或字典(dictionary),如果发现某个结点已经被访问过了,就表示这个链表存在环,并且这个结点就是环的入口点。这需要O(N)空间和O(N)时间,其中N是链表中结点的数目。(这里,如果是将已经访问过的节点放入一个集合,访问下一个节点时,先在这个集合中找是否有匹配,这种方法的时间复杂度是O(N^2);对算法进行改进,类似于DFS,每遍历一个节点,给它增加一个标记位,当访问下一个节点时,先检查标记位,以此判断是否有环,这种方法的时间复杂度是O(N))
如果要求只是用O(1)空间、O(N)时间,应该怎么处理呢?
其实很简单,想象一下在跑道上跑步:两个速度不同的人在操场跑道上一圈一圈地跑,他们总会有相遇的时候。因此我们只需要准备两个指针,同时从链表头出发,一个每次往前走一步,另一个每次往前走两步。如果链表没有环,那么经过一段时间,第二个(速度较快的)指针就会到达终点;但如果链表中有环,两个指针就会在环里转圈,并会在某个时刻相遇。
如果队列中含有圆环,那么对队列的遍历会有什么影响呢。试想有一个圆形跑道,甲乙两人同时在跑道的起点,如果甲的速度是乙的两倍,那么当乙跑完半圈时,甲跑完一圈回到起点,乙跑完一圈回到起点时,甲跑完两圈也回到起点,这样的话,甲乙重新在起点相遇。
采用上面的思路,如果我们使用两个指针分别从队列的起点出发,一个指针前进一次遍历1个节点,另一个指针前进一次,遍历2个节点,如果队列中有环,那么我们可以确信,前进若干次之后,两个指针会相遇,于是算法就是让两个指针同时前进,如果两个指针能相遇的话,那么可以断定链表中有环。还是以上图为例,假设两个指针h1, h2同时处于队列头节点,h1前进一次经过一个节点,h2前进一次,经过两个节点,我们用stepCount来统计节点前进的次数,当两个节点前进3次,也就是stepCount= 3 的时候,两个指针同时进入到链表的环中:
![](https://i-blog.csdnimg.cn/blog_migrate/c082724973e840efc684e99a08569d6a.webp?x-image-process=image/format,png)
依照顺时针次序,指针h2与h1间的距离就是2,我们用d来表示,如果h2要追上h1的话,也就是说,前进指定次数后,h2和h1重合,那么h2经历过的节点数,等于h1经过的节点数加上环的长度,再加上当前距离d,如果用circleLength来表示环的长度,那么以下的公式成立:
H2StepCount = H1StepCount+d+k*circleLength
k是正整数,当k = 1 时,两个指针第一次相遇,当k = 2时两个指针第二次相遇,以此类推。由此,如果我们让两个指针不停的前进,那么两个指针将不停的相遇。
假设使得两指针第一次相遇需要前进的次数用t1来表示,于是有:
2t1 - (t1 + d ) = 1circleLength (1)
如果两指针第二次相遇需要前进的次数用t2来表示,于是有:
2t2 - (t2 + d) = 2circleLenth (2)
用(2) 减去 (1) 有:
t2 - t1 = circleLength
也就是说,只要我们记录第一次相遇时前进的次数,还有第2次相遇时前进的总次数,把两个次数相减,就能得到队列中,环的长度了。
具体代码实现如下:
/**
* Definition for singly-linked list.
* struct ListNode {
* int val;
* struct ListNode *next;
* };
*/
bool hasCycle(struct ListNode *head) {
struct ListNode* fast = head;
struct ListNode* slow = head;
while(fast != NULL && slow != NULL && fast->next != NULL) {
fast = (fast->next)->next;
slow = slow->next;
if(fast == slow) {
return true;
}
}
return false;
}