MathematicsLong Cycles Get Sharp Far-Apart Erdős–Pósa BoundsThe proof uses BFS spans and metric balls to obtain O(ℓ k log k) hitting sets with O(d) deletion radius.math.COJul 28, 20264 min2607.12136