Disjoint NP-Pairs


We study the question of whether the class DisNP of disjoint pairs (A,B) of NP-sets contains a complete pair. The question relates to the question of whether optimal proof systems exist, and we relate it to the previously studied question of whether there exists a disjoint pair of NP-sets that is NP-hard. We show under reasonable hypotheses that… (More)
DOI: 10.1109/CCC.2003.1214430


1 Figure or Table

Slides referencing similar topics