Sciweavers

TAMC
2010
Springer

Optimal Acceptors and Optimal Proof Systems

13 years 8 months ago
Optimal Acceptors and Optimal Proof Systems
Unless we resolve the P vs NP question, we are unable to say whether there is an algorithm (acceptor) that accepts Boolean tautologies in polynomial time and does not accept non-tautologies (with no time restriction). Unless we resolve the co -NP vs NP question, we are unable to say whether there is a proof system that has a polynomial-size proof for every tautology. In such a situation, it is typical for complexity theorists to search for “universal” objects; here, it could be the “fastest” acceptor (called optimal acceptor) and a proof system that has the “shortest” proof (called optimal proof system) for every tautology. Neither of these objects is known to the date. In this survey we review the connections between these questions and generalizations of acceptors and proof systems that lead or may lead to universal objects.
Edward A. Hirsch
Added 11 Jul 2010
Updated 11 Jul 2010
Type Conference
Year 2010
Where TAMC
Authors Edward A. Hirsch
Comments (0)