Linked List Cycle II

Problem

Given the head of a linked list, return the node where the cycle begins. If there is no cycle, return null.

There is a cycle in a linked list if there is some node in the list that can be reached again by continuously following the next pointer. Internally, pos is used to denote the index of the node that tail’s next pointer is connected to (0-indexed). It is -1 if there is no cycle. Note that pos is not passed as a parameter.

Do not modify the linked list.

Example 1:

Input: head = [3,2,0,-4], pos = 1
Output: tail connects to node index 1
Explanation: There is a cycle in the linked list, where tail connects to the second node.

Example 2:

Input: head = [1,2], pos = 0
Output: tail connects to node index 0
Explanation: There is a cycle in the linked list, where tail connects to the first node.

Example 3:

Input: head = [1], pos = -1
Output: no cycle
Explanation: There is no cycle in the linked list.

Constraints:

  • The number of the nodes in the list is in the range [0, 104].
  • -105 <= Node.val <= 105
  • pos is -1 or a valid index in the linked-list.

Follow up: Can you solve it using O(1) (i.e. constant) memory?

Solution

https://en.wikipedia.org/wiki/Cycle_detection#Floyd’s_tortoise_and_hare

  1. Determine the length of the cycle.
    • Use a fast/slow pointer
    • Wait until they meet
  2. Reset fast to the head
  3. Wait until they meet

It’s a bit tricky to get the exact correct conditions when checking if fast/fast.next/fast.next.next is null.

/**
 * Definition for singly-linked list.
 * class ListNode {
 *     int val;
 *     ListNode next;
 *     ListNode(int x) {
 *         val = x;
 *         next = null;
 *     }
 * }
 */
public class Solution {
    public ListNode detectCycle(ListNode head) {
        var fast = head;
        var slow = head;

        while (fast != null && fast.next != null) {
            fast = fast.next.next;
            slow = slow.next;

            if (fast == slow) {
                break;
            }
        }

        // no cycle
        if (fast == null || fast.next == null) {
            return null;
        }

        fast = head;

        while (fast != slow) {
            fast = fast.next;
            slow = slow.next;
        }

        return slow;
    }
}

Recent posts from blogs that I like

Inglorious mud: 1 On the move

How the rich paid to walk on planks to cross muddy streets, and hussars helped ladies over mud ruts, children at play, roads in London and Leeds, and a cheeky ploughboy.

via The Eclectic Light Company

The case for sans-io

via fasterthanlime

Using pip to install a Large Language Model that's under 100MB

via Simon Willison