Theorem 2.3 — the unweighted algorithm covers $X'$ with $|\mathcal C|\le\lceil 4\ln n\rceil\,|\mathcal C_{OPT}|(\log_2 m+2)$

Initializing...

Theorem 2.3 — the unweighted algorithm covers $X'$ with $|\mathcal C|\le\lceil 4\ln n\rceil\,|\mathcal C_{OPT}|(\log_2 m+2)$ · Prove2Me