Walk the list, adding each node to a set. If you ever step onto a node that's already in the set, the list loops back on itself. Reaching a null end means no cycle.