【leetcode C语言实现】141.环形链表

题目描述

给定一个链表，判断链表中是否有环。

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

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

进阶：

你能用 O(1)（即，常量）内存解决此问题吗？

示例 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 或者链表中的一个 有效索引 。

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/linked-list-cycle
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

解题思路

设置快慢两个指针，快指针每次走两步，慢指针每次走一步，如链表没有环，则快指针会优先到达链表尾部；若链表有环，当两个指针没有到达环时，快慢指针之间的距离越来越大，但进去环后，沿着前进方向快慢指针之间的距离越来越大，但是沿着相反方向则两个指针之间的距离越来越小，这就类似于在环形操场跑步，两个人顺着一个方向跑，跑得快的和跑得慢的在这个方向上的距离越来越大，但是从反方向来看，两个人的距离会越来越小，如果一直跑下去，则跑得快的会再次赶上跑得慢的。

代码

bool hasCycle(struct ListNode* head)
{
	struct ListNode* fast = head;
	struct ListNode* slow = head;

	while (fast && fast->next)
	{
		fast = fast->next->next;
		slow = slow->next;

		if (fast == slow)
		{
			return true;
		}
	}

	return false;
}

测试代码及结果

int main()
{
	// =======功能测试=========
	// 1. 链表中有环
	struct ListNode node1_1, node1_2, node1_3, node1_4;
	node1_1.val = 3;
	node1_1.next = &node1_2;
	node1_2.val = 2;
	node1_2.next = &node1_3;
	node1_3.val = 0;
	node1_3.next = &node1_4;
	node1_4.val = -4;
	node1_4.next = &node1_2;
	printf("test1是否有环：%s\n", hasCycle(&node1_1) ? "yes" : "no");

	// 2. 链表中没有环
	struct ListNode node2_1, node2_2, node2_3, node2_4;
	node2_1.val = 3;
	node2_1.next = &node2_2;
	node2_2.val = 2;
	node2_2.next = &node2_3;
	node2_3.val = 0;
	node2_3.next = &node2_4;
	node2_4.val = -4;
	node2_4.next = NULL;
	printf("test2是否有环：%s\n", hasCycle(&node2_1) ? "yes" : "no");

	// ======特殊输入测试=======
	// 链表为空
	struct ListNode* head = NULL;
	printf("test3是否有环：%s\n", hasCycle(head) ? "yes" : "no");
	return 0;
}

执行结果

时间复杂度：O(n)，若链表不存在环，则快指针遍历一遍链表到达尾部；若链表存在环，进入环后，快指针和慢指针之间的距离每次减小1，最终两个指针相遇。
空间复杂度：O(1)，原地遍历链表，没有使用多余的空间。