English

Autoreducibility of NP-Complete Sets

Computational Complexity 2016-01-22 v1

Abstract

We study the polynomial-time autoreducibility of NP-complete sets and obtain separations under strong hypotheses for NP. Assuming there is a p-generic set in NP, we show the following: - For every k2k \geq 2, there is a kk-T-complete set for NP that is kk-T autoreducible, but is not kk-tt autoreducible or (k1)(k-1)-T autoreducible. - For every k3k \geq 3, there is a kk-tt-complete set for NP that is kk-tt autoreducible, but is not (k1)(k-1)-tt autoreducible or (k2)(k-2)-T autoreducible. - There is a tt-complete set for NP that is tt-autoreducible, but is not btt-autoreducible. Under the stronger assumption that there is a p-generic set in NP \cap coNP, we show: - For every k2k \geq 2, there is a kk-tt-complete set for NP that is kk-tt autoreducible, but is not (k1)(k-1)-T autoreducible. Our proofs are based on constructions from separating NP-completeness notions. For example, the construction of a 2-T-complete set for NP that is not 2-tt-complete also separates 2-T-autoreducibility from 2-tt-autoreducibility.

Cite

@article{arxiv.1601.05494,
  title  = {Autoreducibility of NP-Complete Sets},
  author = {John M. Hitchcock and Hadi Shafei},
  journal= {arXiv preprint arXiv:1601.05494},
  year   = {2016}
}
R2 v1 2026-06-22T12:33:51.581Z