A new framework defines TFNP subclasses by adversarial oracles for complexity classes, and shows PSPACE and the polynomial hierarchy yield classes characterized by Frege and constant-depth Frege.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CC 1years
2024 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
How to fit large complexity classes into TFNP
A new framework defines TFNP subclasses by adversarial oracles for complexity classes, and shows PSPACE and the polynomial hierarchy yield classes characterized by Frege and constant-depth Frege.