Bi-Immunity Separates Strong NP-Completeness Notions
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Hi-index | 0.00 |
Abstract: We use hypotheses of structural complexity theory to separate various NP-completeness notions. In particular, we introduce an hypothesis from which we describe a set in NP that is \leq^P_T-complete but not \leq^P_{tt}-complete. We provide fairly thorough analyses of the hypotheses that we introduce.