Karp–Lipton theorem (source code)

= Karp–Lipton theorem
{c}
{wiki}

The Karp–Lipton theorem states that $\mathbf{NP}\subseteq\mathbf P/\mathrm{poly}$ implies that the <polynomial hierarchy> collapses to its second level.