P
Initializing...
Lemma 2.1 — at most $|\mathcal C_{OPT}|(\log_2 m+2)$ weight augmentations · Prove2Me