Beyond NP-Completeness
摘要
We now move on from the theory of \(\mathrm {NP}\) -completeness and will next study classes between \(\mathrm {NP}\) and \(\mathrm {PSPACE}\) that are defined using the oracle Turing machine model. We will also study complete problems for \(\mathrm {PSPACE}\) .