Complexity classes without machines: on complete languages for UP
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
Structural complexity 2
Proceedings of the Mathematical Foundations of Computer Science 1984
On Relativization and the Existence of Complete Sets
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Optimal Proof Systems for Propositional Logic and Complete Sets
STACS '98 Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science
Is the Standard Proof System for SAT P-Optimal?
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
On an Optimal Deterministic Algorithm for SAT
Proceedings of the 12th International Workshop on Computer Science Logic
CCC '96 Proceedings of the 11th Annual IEEE Conference on Computational Complexity
Complete Problems for Promise Classes by Optimal Proof Systems for Test Sets
COCO '98 Proceedings of the Thirteenth Annual IEEE Conference on Computational Complexity
On optimal algorithms and optimal proof systems
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Optimal Proof Systems, Optimal Acceptors and Recursive Presentability
Fundamenta Informaticae
Hi-index | 0.00 |
In this paper we show that the problem of the existence of a p-optimal proof system for SAT can be characterizedin a similar manner as J. Hartmanis andL. Hemachandra characterizedthe problem of the existence of complete languages for UP. Namely, there exists a p-optimal proof system for SAT if andonly if there is a suitable recursive presentation of the class of all easy (polynomial time recognizable) subsets of SAT. Using this characterization we prove that if there does not exist a p-optimal proof system for SAT, then for every theory T there exists an easy subset of SAT which is not T-provably easy.