19th Annual IEEE Conference on Computational Complexity (CCC'04) Partial Bi-immunity and NP-Completeness Amherst, Massachusetts June 21-June 24 ISBN: 0-7695-2120-7
The Turing and many-one completeness notions for NP have been previously separated under measure, genericity, and bi-immunity hypotheses on NP. The proofs of all these results rely on the existence of a language in NP with almost everywhere hardness. In this paper we separate the same NP-completeness notions under a partial bi-immunity hypothesis that is weaker and only yields a language in NP that is hard to solve on most strings. This improves the results of Lutz and Mayordomo [15], Ambos-Spies and Bentzien [1], and Pavan and Selman [18]. The proof of this result is a significant departure from previous work.
Citation:
John M. Hitchcock, A. Pavan, N. V. Vinodchandran, "Partial Bi-immunity and NP-Completeness," ccc, pp.198-203, 19th Annual IEEE Conference on Computational Complexity (CCC'04), 2004 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||