Optimal Algorithmic Approach
Floyd's Tortoise and Hare — two-phase: detect then locate entry point.
Core Invariants & Edge Cases
- Floyd's slow (1 step) and fast (2 steps) pointers meet inside the cycle
- Move one pointer back to head; advance both one step at a time
- They meet again exactly at the cycle start