Autoreducibility, mitoticity, and immunity

  • Authors:
  • Christian Glaßer;Mitsunori Ogihara;A. Pavan;Alan L. Selman;Liyu Zhang

  • Affiliations:
  • Lehrstuhl für Theoretische Informatik, Universität Würzburg, Germany;Department of Computer Science, University of Rochester, USA;Department of Computer Science, Iowa State University, USA;Department of Computer Science and Engineering, University at Buffalo, USA;Department of Computer Science, University at Buffalo, USA

  • Venue:
  • Journal of Computer and System Sciences
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show the following results regarding complete sets.*NP-complete sets and PSPACE-complete sets are polynomial-time many-one autoreducible. *Complete sets of any level of PH, MODPH, or the Boolean hierarchy over NP are polynomial-time many-one autoreducible. *EXP-complete sets are polynomial-time many-one mitotic. *If there is a tally language in NP@?coNP-P, then, for every @e0, NP-complete sets are not 2^n^(^1^+^@e^)-immune. These results solve several of the open questions raised by Buhrman and Torenvliet in their 1994 survey paper on the structure of complete sets.