解leetcode题: 141. 环形链表（有原理解释）

目录

1.题目

 2.结论

3.代码

4.解释结论

---

1.题目

给你一个链表的头节点 head ，判断链表中是否有环。

如果链表中有某个节点，可以通过连续跟踪 next 指针再次到达，则链表中存在环。 为了表示给定链表中的环，评测系统内部使用整数 pos 来表示链表尾连接到链表中的位置（索引从 0 开始）。注意：pos 不作为参数进行传递 。仅仅是为了标识链表的实际情况。

如果链表中存在环 ，则返回 true 。 否则，返回 false 。

 

 

 2.结论

用一个慢指针和一个快指针分别指向头节点（快慢指针），慢指针一次走一步，快指针一次走两步，当它们相遇时就说明有环，如果快指针走到NULL或者快指针的next指向NULL,则说明不存在环。可能有人会问：如果存在环，那么在环里快指针一定可以追上慢指针吗，有没有可能会错过，或者永远不会追上呢？结论是：不会错过（后面会解释）！

3.代码

bool hasCycle(struct ListNode* head)
{
	struct ListNode* slow = head;//慢指针
	struct ListNode* fast = head;//快指针
 
    //如果快指针的next指向NULL或者快指针走到NULL,则说明不存在环，跳出循环
    //注意：fast && fast->next， fast 与 fast->next的的位置不能互换
    //因为如果fast走到NULL, 如果先判断fast->next则会形成越界
	while (fast && fast->next)
	{
		fast = fast->next->next;//快指针一次走两步
		slow = slow->next;//慢指针一次走一步
 
		if (fast == slow)//相遇---fast追上slow
		{
			return true;
		}
	}
	return false;
}

4.解释结论

如果有环，假设当慢指针slow到入环点时，快指针fast走到如图所示的位置，fast与slow的距离为n,如图1，现在开始进行fast对slow的追击，每当while循环每运行一次则代表fast走两步slow走一步，它们之间的距离就缩小1，它们之间的距离关系如图2，当它们之间的距离为0时代表它们相遇，因为fast与slow在每一次追击中距离都缩小1，最终会减为0，所以不会错过，一定会相遇（如果fast一次走三步，slow一次走一步，第一次追击就会错过，下一次追击会不会相遇就要看环的长度了，如果环长为奇数则永远不会相遇，如果环长为偶数则下一次会相遇）。

 

 完结！