Complexity measures for public-key cryptosystems
SIAM Journal on Computing - Special issue on cryptography
Computability and complexity theory
Computability and complexity theory
On reducibility and symmetry of disjoint NP pairs
Theoretical Computer Science - Mathematical foundations of computer science
SIAM Journal on Computing
Canonical disjoint NP-pairs of propositional proof systems
Theoretical Computer Science
Classes of representable disjoint NP-pairs
Theoretical Computer Science
Optimal Proof Systems, Optimal Acceptors and Recursive Presentability
Fundamenta Informaticae
Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes
CSR '09 Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications
On the Existence of Complete Disjoint NP-Pairs
SYNASC '09 Proceedings of the 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Disjoint NP-pairs from propositional proof systems
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Hi-index | 0.89 |
Let D be a set of many-one degrees of disjoint NP-pairs. We define a proof system representation of D to be a set of propositional proof systems P such that each degree in D contains the canonical NP-pair of a corresponding proof system in P and the degree structure of D is reflected by the simulation order among the corresponding proof systems in P. We also define a nesting representation of D to be a set of NP-pairs S such that each degree in D contains a representative NP-pair in S and the degree structure of D is reflected by the inclusion relations among their representative NP-pairs in S. We show that proof system and nesting representations both exist for D if the lower span of each degree in D overlaps with D on a finite set only. In particular, a linear chain of many-one degrees of NP-pairs has both a proof system representation and a nesting representation. This extends a result by Glaszer et al. (2009). We also show that in general D has a proof system representation if it has a nesting representation where all representative NP-pairs share the same set as their first components.