On the Existence of Complete Disjoint NP-Pairs

Olaf Beyersdorff
2009 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing  
Disjoint NP-pairs are an interesting model of computation with important applications in cryptography and proof complexity. The question whether there exists a complete disjoint NP-pair was posed by Razborov in 1994 and is one of the most important problems in the field. In this paper we prove that there exists a complete disjoint NP-pair which is computed with access to a very weak oracle (a tally NP-oracle). In addition, we exhibit candidates for complete NP-pairs and apply our results to a
more » ... cent line of research on the construction of hard tautologies from pseudorandom generators.
doi:10.1109/synasc.2009.9 dblp:conf/synasc/Beyersdorff09 fatcat:tpujekk3uvgytiwd4q6ekudd5i