a cute little puzzle -- the tortoise and hare algorithm is an algorithm that detects cycles in a linked list --
en.wikipedia.org/wiki/Cycle_detection. All the explanations I ever found for the correctness of the algorithm (including the proof on Wikipedia) were total overkills. Prove the algorithm works -- i.e., prove the algorithm does in fact detect a cycle in a linked list, should one exist.