loading...
Partial Bi-immunity and NP-Completeness
Amherst, Massachusetts June 21-June 24
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CCC.2004.131384219th Annual IEEE Conference on Comput ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
John M. Hitchcock, University of Wyoming
A. Pavan, Iowa State University
N. V. Vinodchandran, University of Nebraska-Lincoln

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.