Splitting NP-Complete Sets

We show that a set is m-autoreducible if and only if it is m-mitotic. This solves a long-standing open question in a surprising way. As a consequence of this unconditional result and recent work by Glaßer et al., complete sets for all of the following complexity classes are m-mitotic: $\mathrm{NP}$,...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:SIAM journal on computing Jg. 37; H. 5; S. 1517 - 1535
Hauptverfasser: Glaßer, Christian, Pavan, A., Selman, Alan L., Zhang, Liyu
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Philadelphia, PA Society for Industrial and Applied Mathematics 01.01.2008
Schlagworte:
Algorithmics. Computability. Computer arithmetics
Applied sciences
Computer science
Computer science; control theory; systems
Exact sciences and technology
Logic and foundations
Mathematical logic, foundations, set theory
Mathematics
Miscellaneous
Recursion theory
Sciences and techniques of general use
Theoretical computing
Polynomial
68Q15
NP-complete sets
mitoticity; 68Q17
Complexity class
autoreducibility
Reducibility
Redundancy
Complexity
Polynomial time
computational and structural complexity
Splitting
Equivalence
Sparse set
ISSN:0097-5397, 1095-7111
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We show that a set is m-autoreducible if and only if it is m-mitotic. This solves a long-standing open question in a surprising way. As a consequence of this unconditional result and recent work by Glaßer et al., complete sets for all of the following complexity classes are m-mitotic: $\mathrm{NP}$, $\mathrm{coNP}$, $\oplus\mathrm{P}$, $\mathrm{PSPACE}$, and $\mathrm{NEXP}$, as well as all levels of $\mathrm{PH}$, $\mathrm{MODPH}$, and the Boolean hierarchy over $\mathrm{NP}$. In the cases of $\mathrm{NP}$, $\mathrm{PSPACE}$, $\mathrm{NEXP}$, and $\mathrm{PH}$, this at once answers several well-studied open questions. These results tell us that complete sets share a redundancy that was not known before. In particular, every $\mathrm{NP}$-complete set $A$ splits into two $\mathrm{NP}$-complete sets $A_1$ and $A_2$. We disprove the equivalence between autoreducibility and mitoticity for all polynomial-time-bounded reducibilities between 3-tt-reducibility and Turing-reducibility: There exists a sparse set in $\mathrm{EXP}$ that is polynomial-time 3-tt-autoreducible, but not weakly polynomial-time T-mitotic. In particular, polynomial-time T-autoreducibility does not imply polynomial-time weak T-mitoticity, which solves an open question by Buhrman and Torenvliet.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
content type line 14
ISSN:0097-5397
1095-7111
DOI:10.1137/060673886