PH = PSPACE

EasyChair Preprint 7481, version history

Version	Date	Pages	Version notes
1	February 19, 2022	5
2	October 3, 2022	6	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.
3	October 3, 2022	6	Overcoming mistypes
4	October 26, 2022	6	Chapter P versus NP about Millennium Prize Problem was added!
5	November 2, 2022	6	Details about exponential complexity classes are provided.

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

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 7481},
  year      = {EasyChair, 2022}}