BCR 2023, Theorem 11 — $\Omega(\log^2 k)$ lower bound for small set chasing on $k+1$ points

Initializing...

BCR 2023, Theorem 11 — $\Omega(\log^2 k)$ lower bound for small set chasing on $k+1$ points · Prove2Me