6
I am trying to understand the proof of the Karp-Lipton theorem as stated in the book "Computational Complexity: A modern approach" (2009).
In particular, this book states the following:
Karp-Lipton theorem
If NP $\subseteq$ $P_{\backslash poly}$, then PH $= \Sigma^p_2$.
Proof:
B...
