It detects cycles in a linked list or any iterative sequence by moving one pointer twice as fast as the other. If they meet, there’s a cycle. It runs in O(n) time and O(1) extra space.