Long Cycles Get Sharp Far-Apart Erdős–Pósa Bounds
The proof uses BFS spans and metric balls to obtain O(ℓ k log k) hitting sets with O(d) deletion radius.
Jul 28, 20264 min2607.12136
2 articles on SOTA Papers
The proof uses BFS spans and metric balls to obtain O(ℓ k log k) hitting sets with O(d) deletion radius.
A structural proof shows that every poset with a planar diagram has dimension at most 96 se(P) + 672.