Proof Complexity Generators
Format: Paperback
ISBN13: 9781009611701
Paperback|9781009611701
✨ Featured Offer
Brand New
$44.66
List Price: $60.00
🚚
See all 6 offers from $37.40 FREE standard delivery by: 25 Mar 2026
Overview
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.
| ISBN-13 | 9781009611701 |
|---|---|
| ISBN-10 | 1009611704 |
| Weight | 0.46 Pounds |
| Dimensions | 6.25 x 0.50 x 9.25 In |
| List Price | $60.00 |
| Format | Paperback |
|---|---|
| Language | English |
| Publisher | Cambridge University Press |
| Published On | 2025-06-26 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Like New
Seller details
Books From California
Simi Valley, CA, USA
As New Condition-Over 500, 000 Internet Orders Shipped.
Free delivery by: 28 Mar 2026
✨ Brand New
Seller details
Apex_media🍏
Free delivery by: 25 Mar 2026
Brand New
Seller details
Alibris
Sparks, NV, USA
Trade paperback (US). Contains: Unspecified. London Mathematical Society Lecture Note Series . Inc...
Free delivery by: 28 Mar 2026
Brand New
Seller details
GreatBookPrices-
Columbia, MD, USA
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
Free delivery by: 28 Mar 2026
Brand New
Seller details
Paperbackshop
Bensenville, IL, USA
New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot of...
Free delivery by: 28 Mar 2026
Used, Like New
Seller details
GreatBookPrices-
Columbia, MD, USA
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
Free delivery by: 28 Mar 2026