Autoreducibility of NP-Complete Sets
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 , there is a -T-complete set for NP that is -T autoreducible, but is not -tt autoreducible or -T autoreducible. - For every , there is a -tt-complete set for NP that is -tt autoreducible, but is not -tt autoreducible or -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 coNP, we show: - For every , there is a -tt-complete set for NP that is -tt autoreducible, but is not -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}
}