Abstract:Subclasses of TFNP (total functional NP) are usually defined by specifying a complete problem, which is necessarily in TFNP, and including all problems many-one reducible to it. We study two notions of how a TFNP problem can be reducible to an object, such as a complexity class, outside TFNP. This gives rise to subclasses of TFNP which capture some properties of that outside object. We show that well-known subclasses can arise in this way, for example PPA from reducibility to parity P and PLS from reducibility to P^NP.
We study subclasses arising from PSPACE and the polynomial hierarchy, and show that they are characterized by the propositional proof systems Frege and constant-depth Frege, extending the known pairings between natural TFNP subclasses and proof systems.
We study approximate counting from this point of view, and look for a subclass of TFNP that gives a natural home to combinatorial principles such as Ramsey which can be proved using approximate counting. We relate this to the recently-studied Long choice and Short choice problems.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: how to embed certain properties of complexity classes (such as PSPACE and the polynomial hierarchy) into subclasses of TFNP (total function NP). Specifically, the author studies two methods of reducing TFNP problems to complexity - class objects and explores the resulting TFNP subclasses. These subclasses capture some characteristics of external objects, for example, the PPA class is obtained from the reduction to ⊕P, and the PLS class is obtained from the reduction to PNP.
### Main content overview
1. **Introduction of background**:
- TFNP is a subclass of NP search problems, in which every instance has a solution.
- TFNP subclasses are usually defined by specifying a complete problem and including all problems that are polynomially - time reducible to this problem.
2. **Research methods**:
- The author studies two methods of reducing TFNP problems to complexity - class objects:
- The first method starts from complexity classes (such as ⊕P, PSPACE, etc.), and defines an almost - canonical TFNP subclass. The problems in this subclass are solved by polynomial - time interaction with an untrusted adversary.
- The second method starts from TFΣp₂ problems, defines the concept of counter - example reduction, and thus generates TFNP subclasses.
3. **Main results**:
- The subclass starting from ⊕P is exactly the standard PPA class.
- The subclass starting from NP is exactly the standard PLS class.
- The subclasses obtained from different axiomatizations of PSPACE (based on QBF or PSPACE computation) contain the standard PLS, PPA, and PPP classes, and are characterized by the Frege proof system.
- The subclasses starting from the polynomial hierarchy are consistent with previously studied classes defined by natural combinatorial problems, and are characterized by the proof system of the constant - depth Frege hierarchy.
4. **Further discussion**:
- The author also studies approximate counting problems, and gives the natural positions of Ramsey's theorem and other combinatorial principles in TFNP.
- The decision - tree TFNP model is introduced, and the characteristics of certain problems under this model are shown.
### Formula representation
To ensure formula correctness and readability, the following are examples of some formulas represented in Markdown format:
- **Reduction relation**:
\[
Q \leq R
\]
which means that problem \( Q \) can be polynomially - time reduced to problem \( R \).
- **Existential quantifier**:
\[
\exists \vec{y} R(\vec{s}, \vec{y}; A)
\]
which means that there exists a string \(\vec{y}\) such that the formula \( R(\vec{s}, \vec{y}; A) \) is true under the given partial oracle \(\alpha\).
- **Universal quantifier**:
\[
\forall C, \text{inp}(C) = \emptyset \rightarrow A(C) = \text{eval}(C)
\]
which means that for all circuits \( C \) with empty input, the output of oracle \( A \) is equal to the evaluation result of circuit \( C \).
Through these methods, the author not only expands the understanding of TFNP subclasses, but also reveals the deep - seated connections between them and complexity classes.