一、题目要求
给你一个链表的头节点 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
或者链表中的一个 有效索引 。
进阶:你能用 O(1)
(即,常量)内存解决此问题吗?
以上内容来自LeetCode
二、解法1-快慢指针 O(N) 进阶
使用两个指针,一个慢指针每次走一步,一个快指针一次走两步,如果有环它们必然会相遇,证明:
假设链表中的环的节点个数是C,头节点到链表有x个节点;
设相遇时距离入口m个节点,fast多转了n圈;
slow走的路程 = x+m;
fast走的路程 = x+nC+m;
因为fast的速度是slow的两倍,所以有:
x+nC+m = 2(x+m);
化简得:(n-1)C+(C-m) = x;
因为 x的取值范围是[0,+∞),而(n-1)C+(C-m)一定是不小于0的整数,则必然存在一个合理的x让等式成立,反证得快慢指针必然相遇。
class Solution {
public:
bool hasCycle(ListNode* head) {
ListNode* slow = head;
ListNode* fast = head;
while (fast) {
fast = fast->next;
if (fast)
fast = fast->next;
else
return false;
slow = slow->next;
if (fast == slow)
return true;
}
return false;
}
};