Nonuniform Reductions and NP-Completeness

01/17/2018
by   John M. Hitchcock, et al.
0

Nonuniformity is a central concept in computational complexity with powerful connections to circuit complexity and randomness. Nonuniform reductions have been used to study the isomorphism conjecture for NP and completeness for larger complexity classes. We study the power of nonuniform reductions for NP-completeness, obtaining both separations and upper bounds for nonuniform completeness vs uniform completeness in NP. Under various hypotheses, we obtain the following separations: 1. There is a set complete for NP under nonuniform many-one reductions, but not under uniform many-one reductions. This is true even with a single bit of nonuniform advice. 2. There is a set complete for NP under nonuniform many-one reductions with polynomial-size advice, but not under uniform Turing reductions. That is, polynomial nonuniformity is stronger than a polynomial number of queries. 3. For any fixed polynomial p(n), there is a set complete for NP under uniform 2-truth-table reductions, but not under nonuniform many-one reductions that use p(n) advice. That is, giving a uniform reduction a second query makes it more powerful than a nonuniform reduction with fixed polynomial advice. 4. There is a set complete for NP under nonuniform many-one reductions with polynomial advice, but not under nonuniform many-one reductions with logarithmic advice. This hierarchy theorem also holds for other reducibilities, such as truth-table and Turing. We also consider uniform upper bounds on nonuniform completeness. Hirahara (2015) showed that unconditionally every set that is complete for NP under nonuniform truth-table reductions that use logarithmic advice is also uniformly Turing-complete. We show that under a derandomization hypothesis, the same statement for truth-table reductions and truth-table completeness also holds.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/27/2018

On Basing One-way Permutations on NP-hard Problems under Quantum Reductions

A fundamental pursuit in complexity theory concerns reducing worst-case ...
research
02/14/2021

A note on VNP-completeness and border complexity

In 1979 Valiant introduced the complexity class VNP of p-definable famil...
research
06/02/2021

The Hardest Explicit Construction

We investigate the complexity of explicit construction problems, where t...
research
12/22/2022

A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems

The complexity class NP of decision problems that can be solved nondeter...
research
09/12/2021

Nimber-Preserving Reductions and Homomorphic Sprague-Grundy Game Encodings

The concept of nimbers–a.k.a. Grundy-values or nim-values–is fundamental...
research
07/12/2022

Positivity of the symmetric group characters is as hard as the polynomial time hierarchy

We prove that deciding the vanishing of the character of the symmetric g...
research
01/14/2020

NP-completeness of slope-constrained drawing of complete graphs

We prove the NP-completeness of the following problem. Given a set S of ...

Please sign up or login with your details

Forgot password? Click here to reset