Proof Complexity Generators - Krajíek, Jan; - Prospero Internet Bookshop

 
Product details:

ISBN13:9781009611701
ISBN10:1009611704
Binding:Paperback
No. of pages:143 pages
Language:English
700
Category:

Proof Complexity Generators

 
Publisher: Cambridge University Press
Date of Publication:
 
Normal price:

Publisher's listprice:
GBP 45.00
Estimated price in HUF:
22 774 HUF (21 690 HUF + 5% VAT)
Why estimated?
 
Your price:

20 497 (19 521 HUF + 5% VAT )
discount is: 10% (approx 2 277 HUF off)
The discount is only available for 'Alert of Favourite Topics' newsletter recipients.
Click here to subscribe.
 
Availability:

Not yet published.
 
  Piece(s)

 
Short description:

Discover a state-of-the-art theory aiming to construct hard propositional tautologies needed to solve the NP vs. coNP problem.

Long description:
The P vs. NP problem is one of the fundamental problems of mathematics. It asks whether propositional tautologies can be recognized by a polynomial-time algorithm. The problem would be solved in the negative if one could show that there are propositional tautologies that are very hard to prove, no matter how powerful the proof system you use. This is the foundational problem (the NP vs. coNP problem) of proof complexity, an area linking mathematical logic and computational complexity theory. Written by a leading expert in the field, this book presents a theory for constructing such hard tautologies. It introduces the theory step by step, starting with the historic background and a motivational problem in bounded arithmetic, before taking the reader on a tour of various vistas of the field. Finally, it formulates several research problems to highlight new avenues of research.
Table of Contents:
1. Introduction; 2. The dWPHP problem; 3. &&&964;-formulas and generators; 4. The stretch; 5. Nisan-Wigderson generator; 6. Gadget generator; 7. The case of ER; 8. Consistency results; 9. Contexts; 10. Further research; Special symbols; References; Index.