Catalog

Record Details

Catalog Search



The P=NP Question and Gödel’s Lost Letter Cover Image E-book E-book

The P=NP Question and Gödel’s Lost Letter [electronic resource] / by Richard J. Lipton.

Record details

  • ISBN: 9781441971555
  • Physical Description: XIII, 239p. 20 illus. online resource.
  • Publisher: Boston, MA : Springer US, 2010.
Subject: Computer science.
Information theory.
Computer software.
Algorithms.
Logic, Symbolic and mathematical.
Computer Science.
Theory of Computation.
Mathematics of Computing.
History of Computing.
Mathematical Logic and Foundations.
Algorithm Analysis and Problem Complexity.
Algorithms.

Electronic resources


Prefacevii
Acknowledgmentsix
Contentsxi
Part I. A Prologue
1. A Walk In the Snow3
Part II. On the P=NP Question
2. Algorithms: Tiny Yet Powerful9
3. Is P=NP Well Posed?13
4. What Would You Bet?19
5. What Happens When P=NP Is Resolved?23
6. NP Too Big or P Too Small?27
7. How To Solve P=NP?29
8. Why Believe P Not Equal To NP?33
9. A Nightmare About SAT37
10. Bait and Switch39
11. Who's Afraid of Natural Proofs?43
12. An Approach To P=NP49
13. Is SAT Easy?55
14. SAT is Not Too Easy61
15. Ramsey's Theorem and NP67
16. Can They Do That?71
17. Rabin Flips a Coin77
18. A Proof We All Missed81
19. Barrington Gets Simple85
20. Exponential Algorithms89
21. An EXPSPACE Lower Bound93
22. Randomness has Unbounded Power99
23. Counting Cycles and Logspace105
24. Ron Graham Gives a Talk111
25. An Approximate Counting Method115
26. Easy and Hard Sums119
27. How To Avoid O-Abuse127
28. How Good is The Worst Case Model?129
29. Savitch's Theorem135
30. Adaptive Sampling and Timed Adversaries139
31. On The Intersection of Finite Automata145
32. Where are the Movies?149
Part III. On Integer Factoring
33. Factoring and Factorials153
34. BDDs157
35. Factoring and Fermat165
Part IV. On Mathematics
36. A Curious Algorithm173
37. Edit Distance179
38. Protocols185
39. Erdos and the Quantum Method189
40. Amplifiers195
41. Amplifying on the PCR Amplifier201
42. Mathematical Embarrassments209
43. Mathematical Diseases215
44. Mathematical Surprises219
A. A Godel Lost Letter227
References229
Index235

Additional Resources