PH = PSPACE

EasyChair Preprint no. 7481, version history

VersionDatePagesVersion notes
1February 19, 20225
2October 3, 20226

More details and consequences were added. Some mistypes have been noticed. Chapter about P versus NP problem and the ATL (Alternating-time Temporal Logic) satisfiability problem appended.

3October 3, 20226

Overcoming mistypes

4October 26, 20226

Chapter P versus NP about Millennium Prize Problem was added!

5November 2, 20226

Details about exponential complexity classes are provided.

Keyphrases: BQP, computational complexity, polynomial hierarchy, PSPACE, QBFs, Quantified Boolean Formula

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@Booklet{EasyChair:7481,
  author = {Valerii Sopin},
  title = {PH = PSPACE},
  howpublished = {EasyChair Preprint no. 7481},

  year = {EasyChair, 2022}}