Quantitative relativizations of complexity classes
SIAM Journal on Computing
The monotone circuit complexity of Boolean functions
Combinatorica
Complexity measures for public-key cryptosystems
SIAM Journal on Computing - Special issue on cryptography
The complexity of optimization problems
Journal of Computer and System Sciences - Structure in Complexity Theory Conference, June 2-5, 1986
A taxonomy of complexity classes of functions
Journal of Computer and System Sciences
SIAM Journal on Computing
Some consequences of cryptographical conjectures for S12 and EF
Information and Computation - Special issue: logic and computational complexity
A hierarchy based on output multiplicity
Theoretical Computer Science - Special issue In Memoriam of Ronald V. Book
Structure in Approximation Classes
SIAM Journal on Computing
On Interpolation and Automatization for Frege Systems
SIAM Journal on Computing
On an optimal propositional proof system and the structure of easy subsets of TAUT
Theoretical Computer Science - Complexity and logic
On an Optimal Deterministic Algorithm for SAT
Proceedings of the 12th International Workshop on Computer Science Logic
On an Optimal Quantified Propositional Proof System and a Complete Language for NP cap co-NP
FCT '97 Proceedings of the 11th International Symposium on Fundamentals of Computation Theory
On reducibility and symmetry of disjoint NP pairs
Theoretical Computer Science - Mathematical foundations of computer science
CCC '96 Proceedings of the 11th Annual IEEE Conference on Computational Complexity
Optimal proof systems imply complete sets for promise classes
Information and Computation
Information and Computation
Separability and one-way functions
Computational Complexity
SIAM Journal on Computing
Non-automatizability of bounded-depth frege proofs
Computational Complexity
Reductions between disjoint NP-pairs
Information and Computation
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
Tuples of Disjoint $\mathsf{NP}$-Sets
Theory of Computing Systems
The Informational Content of Canonical Disjoint NP-Pairs
COCOON '07 Proceedings of the 13th Annual international conference on Computing and Combinatorics
Does the Polynomial Hierarchy Collapse if Onto Functions are Invertible?
Theory of Computing Systems - Special Issue: Symposium on Computer Science, Guest Editors: Sergei Artemov, Volker Diekert and Dima Grigoriev
On optimal algorithms and optimal proof systems
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
The Deduction Theorem for Strong Propositional Proof Systems
Theory of Computing Systems - Special Section: Algorithmic Game Theory; Guest Editors: Burkhard Monien and Ulf-Peter Schroeder
DMTCS'03 Proceedings of the 4th international conference on Discrete mathematics and theoretical computer science
Survey of disjoint NP-pairs and relations to propositional proof systems
Theoretical Computer Science
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
Optimal acceptors and optimal proof systems
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Hi-index | 5.23 |
We provide new characterizations of two previously studied questions on nondeterministic function classes: Q1: Do nondeterministic functions admit efficient deterministic refinements? Q2: Do nondeterministic function classes contain complete functions? We show that Q1 for the class NPMV"t is equivalent to the question whether the standard proof system for SAT is p-optimal, and to the assumption that every optimal proof system is p-optimal. Assuming only the existence of a p-optimal proof system for SAT, we show that every set with an optimal proof system has a p-optimal proof system. Under the latter assumption, we also obtain a positive answer to Q2 for the class NPMV"t. An alternative view on nondeterministic functions is provided by disjoint sets and tuples. We pursue this approach for disjoint NP-pairs and its generalizations to tuples of sets from NP and coNP with disjointness conditions of varying strength. In this way, we obtain new characterizations of Q2 for the class NPSV. Question Q1 for NPSV is equivalent to the question of whether every disjoint NP-pair is easy to separate. In addition, we characterize this problem by the question of whether every propositional proof system has the effective interpolation property. Again, these interpolation properties are intimately connected to disjoint NP-pairs, and we show how different interpolation properties can be modeled by NP-pairs associated with the underlying proof system.