Structural complexity 1
Complexity classes without machines: on complete languages for UP
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
Some consequences of cryptographical conjectures for S12 and EF
Information and Computation - Special issue: logic and computational complexity
On an optimal propositional proof system and the structure of easy subsets of TAUT
Theoretical Computer Science - Complexity and logic
Proceedings of the Mathematical Foundations of Computer Science 1984
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
CCC '96 Proceedings of the 11th Annual IEEE Conference on Computational Complexity
Feasibly constructive proofs and the propositional calculus (Preliminary Version)
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
Optimal proof systems imply complete sets for promise classes
Information and Computation
SIAM Journal on Computing
Canonical disjoint NP-pairs of propositional proof systems
Theoretical Computer Science
Classes of representable disjoint NP-pairs
Theoretical Computer Science
Nondeterministic Instance Complexity and Proof Systems with Advice
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Nondeterministic functions and the existence of optimal proof systems
Theoretical Computer Science
Reductions between disjoint NP-Pairs
Information and Computation
Survey of disjoint NP-pairs and relations to propositional proof systems
Theoretical Computer Science
On p-optimal proof systems and logics for PTIME
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Proof system representations of degrees of disjoint NP-pairs
Information Processing Letters
Optimal acceptors and optimal proof systems
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Different approaches to proof systems
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Hi-index | 0.00 |
In this paper we investigate the following two questions: Q1: Do there exist optimal proof systems for a given language L ? Q2: Do there exist complete problems for a given promise class C? For concrete languages L (such as TAUT or SAT) and concrete promise classes C (such as NP *** coNP, UP, BPP, disjoint NP-pairs etc.), these questions have been intensively studied during the last years, and a number of characterizations have been obtained. Here we provide new characterizations for Q1 and Q2 that apply to almost all promise classes C and languages L , thus creating a unifying framework for the study of these practically relevant questions. While questions Q1 and Q2 are left open by our results, we show that they receive affirmative answers when a small amount on advice is available in the underlying machine model. This continues a recent line of research on proof systems with advice started by Cook and Krají***ek [6].