链表的环
什么是链表里的环?
一个节点的后继指针(next 指针)指向在它之前的节点,而不是像普通链表那样指向后面的节点。这样的环形结构可能出现在单链表或双向链表中。
如何判断链表是否有环?
判断链表是否有环可以通过使用两个指针来实现,通常被称为快慢指针法(Floyd’s Cycle Detection Algorithm)。该算法使用两个指针,一个快指针和一个慢指针,从链表的头部开始遍历链表,如果链表存在环,快指针最终会在环中追上慢指针。
以下是判断链表是否有环的具体步骤:
初始化两个指针:一个快指针(fast)和一个慢指针(slow),初始时都指向链表的头节点。
进行循环遍历:在每次循环中,快指针向前移动两步,慢指针向前移动一步。
检查是否存在环:在每次循环后,检查快指针和慢指针是否指向了同一个节点。如果是,说明链表中存在环;如果不是,继续循环直到快指针到达链表尾部(即快指针的下一个节点为空)。
结束条件:如果快指针到达链表尾部(快指针的下一个节点为空),则说明链表中没有环。
快慢指针法是一种高效且常用的判断链表是否有环的方法,时间复杂度为 O(n),其中 n 是链表中节点的数量。
怎么找到环的第一个节点呢?
首先,通过快慢指针法找到环中的相遇节点,即快指针追上慢指针的节点。此时,我们将慢指针重新指向链表的头节点,而保持快指针在相遇节点的位置。
接下来,同时移动慢指针和快指针,但此时它们都只前进一步,直到它们再次相遇。此时相遇的节点就是环的入口节点。
为什么这样可以找到环的入口节点呢?我们可以根据以下事实进行推理:
假设链表的头节点到环的入口节点的距离为 a,环的入口节点到相遇节点的距离为 b,相遇节点再绕环走到入口节点的距离为 c。
在快慢指针相遇时,慢指针走过的距离为 a + b,而快指针走过的距离为 a + b + n(c + b),其中 n 表示快指针绕环走的圈数。
由于快指针的速度是慢指针的两倍,所以有 a + b + n(c + b) = 2(a + b)
。整理后可得 a = (n - 1)(c + b) + c。
这意味着从链表的头节点出发一个新的指针(slow2),同时从相遇节点开始一个指针(slow1),并且两者都以相同的速度前进,它们将在环的入口节点相遇。
因此,我们可以根据上述方法找到环的入口节点。