141.环形链表
题目描述:
给你一个链表的头节点 head
,判断链表中是否有环。
如果链表中有某个节点,可以通过连续跟踪 next
指针再次到达,则链表中存在环。 为了表示给定链表中的环,评测系统内部使用整数 pos
来表示链表尾连接到链表中的位置(索引从 0 开始)。注意:pos
不作为参数进行传递 。仅仅是为了标识链表的实际情况。
如果链表中存在环 ,则返回 true
。 否则,返回 false
。
示例 1:
输入:head = [3,2,0,-4], pos = 1 输出:true 解释:链表中有一个环,其尾部连接到第二个节点。
示例 2:
输入:head = [1,2], pos = 0 输出:true 解释:链表中有一个环,其尾部连接到第一个节点。
示例 3:
输入:head = [1], pos = -1 输出:false 解释:链表中没有环。
提示:
- 链表中节点的数目范围是
[0, 104]
-105 <= Node.val <= 105
pos
为-1
或者链表中的一个 有效索引 。
思路分析:
首先,环形链表就是链表的尾结点的 next 不再指向NULL,它可能指向链表的任意一个结点。
因为链表带环,所以for循环、while循环等等拍脑袋能想到的循环方式要么是停不下来,要么是找不到比较的结点。
所以这里可以试试使用快慢指针。
快慢指针,即慢指针一次走一步,快指针一次走两步,两个指针从链表的起始位置开始运行。
如果链表带环,那么快慢指针一定会在环中相遇;链表不带环,则快指针率先走到链表的末尾。
可以参考1000米体测被套圈,且对方向你打了个招呼……
参考代码:
typedef struct ListNode ListNode;
bool hasCycle(struct ListNode *head) {
ListNode* slow = head;
ListNode* fast = head;
while(fast && fast->next)
{
slow = slow->next;
fast = fast->next->next;
if(slow == fast)
return true;
}
return false;
}
快指针走两步一定可以追上吗?
假设慢指针每次走1步,快指针每次走2步,此时的快指针肯定是先进入环,等到慢指针进入环,设此时 fast 和 slow 的距离是 N。
由图可知,两个指针每移动一次,它们之间的距离就缩小了一步,当距离减少到0时,fast 和 slow 重合。
快指针一次走3步,4步……可以吗?
假设慢指针每次走1步,快指针每次走3步,此时的快指针肯定是先进入环。
由图可知,两个指针每移动一次,它们之间的距离就缩小了两步,注意!N不一定减到0!
如果N是偶数,那么N可以减到0;
如果N是奇数,那么N会跳过0,即N = -1,也就是不打招呼的套圈。
所以只有快指针走2步,慢指针周1步才可以,即使套圈,两个指针也在相同的位置。
更加进阶的一题 142. 环形链表
接下来解决环的入口在哪?
假设:H为链表的起始点,E为环的入口,M为上一步说的相遇点。
假设:H到E的距离为L,E到M的距离为X,环的总长为R。
如图:
在前面判断是否有环的时候,两个指针直到相遇所走的长度是:
fast:L + X + nR
slow:L + X
又因为快指针的速度是慢指针的两倍,所以有:
化简得到:
在优化一下得到:
结合图可知,一个指针从链表的起始位置运行,一个指针从相遇点位置绕环,每次走一步,两个指针最终会在入口点相遇。
示例代码:
typedef struct ListNode ListNode;
struct ListNode *detectCycle(struct ListNode *head) {
ListNode* slow = head;
ListNode* fast = head;
while(fast && fast->next)
{
slow = slow->next;
fast = fast->next->next;
if(slow == fast)
{
//带环,开始求入口
ListNode* meet = slow;
while(meet != head)
{
meet = meet->next;
head = head->next;
}
return meet;
}
}
return NULL;
}