The P=NP Question and Gödel’s Lost Letter (eBook)

eBook Download: PDF
2010 | 2010
XIII, 239 Seiten
Springer US (Verlag)
978-1-4419-7155-5 (ISBN)

Lese- und Medienproben

The P=NP Question and Gödel’s Lost Letter - Richard J. Lipton
Systemvoraussetzungen
96,29 inkl. MwSt
  • Download sofort lieferbar
  • Zahlungsarten anzeigen
? DoesP=NP. In just ?ve symbols Dick Karp -in 1972-captured one of the deepest and most important questions of all time. When he ?rst wrote his famous paper, I think it's fair to say he did not know the depth and importance of his question. Now over three decades later, we know P=NP is central to our understanding of compu- tion, it is a very hard problem, and its resolution will have potentially tremendous consequences. This book is a collection of some of the most popular posts from my blog- Godel ¨ Lost Letter andP=NP-which I started in early 2009. The main thrust of the blog, especially when I started, was to explore various aspects of computational complexity around the famousP=NP question. As I published posts I branched out and covered additional material, sometimes a timely event, sometimes a fun idea, sometimes a new result, and sometimes an old result. I have always tried to make the posts readable by a wide audience, and I believe I have succeeded in doing this.

Richard Lipton is the Storey Professor of Computer Science at Georgia Institute of Technology. Previously he held faculty positions at Yale University, the University of California at Berkeley, and Princeton University. His research is focused primarily, but not exclusively, on theory of computation. He has made seminal contributions to many areas of computing from software engineering and program testing, to computer security and cryptography, to DNA and molecular computation, and to other areas of computer science. He is a member of The National Academy of Engineering, an ACM Fellow, and a Guggenheim fellow.
? DoesP=NP. In just ?ve symbols Dick Karp -in 1972-captured one of the deepest and most important questions of all time. When he ?rst wrote his famous paper, I think it's fair to say he did not know the depth and importance of his question. Now over three decades later, we know P=NP is central to our understanding of compu- tion, it is a very hard problem, and its resolution will have potentially tremendous consequences. This book is a collection of some of the most popular posts from my blog- Godel * Lost Letter andP=NP-which I started in early 2009. The main thrust of the blog, especially when I started, was to explore various aspects of computational complexity around the famousP=NP question. As I published posts I branched out and covered additional material, sometimes a timely event, sometimes a fun idea, sometimes a new result, and sometimes an old result. I have always tried to make the posts readable by a wide audience, and I believe I have succeeded in doing this.

Richard Lipton is the Storey Professor of Computer Science at Georgia Institute of Technology. Previously he held faculty positions at Yale University, the University of California at Berkeley, and Princeton University. His research is focused primarily, but not exclusively, on theory of computation. He has made seminal contributions to many areas of computing from software engineering and program testing, to computer security and cryptography, to DNA and molecular computation, and to other areas of computer science. He is a member of The National Academy of Engineering, an ACM Fellow, and a Guggenheim fellow.

Preface 6
Acknowledgements 8
Contents 9
A Prologue 12
A Walk In the Snow 13
On the P=NP Question 16
Algorithms: Tiny Yet Powerful 17
Is P=NPWell Posed? 20
What Would You Bet? 25
What Happens When P= NP Is Resolved? 28
NP Too Big or P Too Small? 32
How To Solve P=NP? 34
Why Believe P Not Equal To NP? 37
A Nightmare About SAT 41
Bait and Switch 43
Who’s Afraid of Natural Proofs? 46
An Approach To P= NP 52
Is SAT Easy? 57
SAT is Not Too Easy 63
Ramsey’s Theorem and NP 68
Can They Do That? 72
Rabin Flips a Coin 77
A ProofWe All Missed 81
Barrington Gets Simple 84
Exponential Algorithms 88
An EXPSPACE Lower Bound 91
Randomness has Unbounded Power 97
Counting Cycles and Logspace 102
Ron Graham Gives a Talk 107
An Approximate Counting Method 111
Easy and Hard Sums 115
How To Avoid O-Abuse 122
How Good is The Worst Case Model? 124
Savitch’s Theorem 129
Adaptive Sampling and Timed Adversaries 133
On The Intersection of Finite Automata 139
Where are the Movies? 143
On Integer Factoring 145
Factoring and Factorials 146
BDD’s 150
Factoring and Fermat 157
On Mathematics 162
A Curious Algorithm 163
Edit Distance 169
Protocols 174
Erdös and the Quantum Method 178
Amplifiers 183
Amplifying on the PCR Amplifier 188
Mathematical Embarrassments 195
Mathematical Diseases 200
Mathematical Surprises 204
Gödel Lost Letter 212
Index 219

Erscheint lt. Verlag 20.8.2010
Zusatzinfo XIII, 239 p.
Verlagsort New York
Sprache englisch
Themenwelt Geschichte Teilgebiete der Geschichte Technikgeschichte
Mathematik / Informatik Informatik Programmiersprachen / -werkzeuge
Informatik Theorie / Studium Algorithmen
Mathematik / Informatik Mathematik Allgemeines / Lexika
Mathematik / Informatik Mathematik Analysis
Mathematik / Informatik Mathematik Angewandte Mathematik
Mathematik / Informatik Mathematik Logik / Mengenlehre
Technik
Schlagworte algorithm • Algorithm analysis and problem complexity • Counting • currentjm • Finite • Mathematics • Notation • NP • P=NP • Problem • programming • Proof • Theorem
ISBN-10 1-4419-7155-6 / 1441971556
ISBN-13 978-1-4419-7155-5 / 9781441971555
Haben Sie eine Frage zum Produkt?
PDFPDF (Wasserzeichen)
Größe: 2,0 MB

DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasser­zeichen und ist damit für Sie persona­lisiert. Bei einer missbräuch­lichen Weiter­gabe des eBooks an Dritte ist eine Rück­ver­folgung an die Quelle möglich.

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.

Zusätzliches Feature: Online Lesen
Dieses eBook können Sie zusätzlich zum Download auch online im Webbrowser lesen.

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
Eine Einführung in ihre Konzepte und Forschungsergebnisse

von Wolfgang König

eBook Download (2021)
Franz Steiner Verlag
24,00
Eine Einführung in ihre Geschichte, Theorien, Methoden und aktuellen …

von Rolf-Jürgen Gleitsmann-Topp; Rolf-Ulrich Kunze …

eBook Download (2022)
utb. (Verlag)
46,99