Regarding the author’s notes for chapter 32: I assume the complexity class you’re looking for at the end there would be something like PromiseNP? Also, the trick really is more general than that, seeing as you can actually use it to do anything in PSPACE.
Regarding the author’s notes for chapter 32: I assume the complexity class you’re looking for at the end there would be something like PromiseNP? Also, the trick really is more general than that, seeing as you can actually use it to do anything in PSPACE.