عنوان

The P=NP question and Geodel's lost letter

شابک

9781441971548

کد کشور

IR

شماره

EN-54221

زبان متن نوشتاري يا گفتاري و مانند آن

انگلیسی

کشور محل نشر

IR

عنوان اصلي

The P=NP question and Geodel's lost letter

نام عام مواد

[Book]

نام نخستين پديدآور

/ Richard J. Lipton

محل نشرو پخش و غیره

New York.

نام ناشر، پخش کننده و غيره

: Springer,

تاریخ نشرو بخش و غیره

, c2010.

نام خاص و کميت اثر

xiii, 239 p. , ill. , 24 cm.

متن يادداشت

Electronic

متن يادداشت

Includes bibliographical references (p. 229-233) and index.

متن يادداشت

The P=NP question is one of the greatest problems of science, which has intrigued computer scientists and mathematicians for decades. Despite the abundant research in theoretical computer science regarding the P=NP question, it has not been solved. This book covers historical developments (including the Geodel's lost letter), the importance of P=NP and the future of P=NP. This guide is also based on a new blog by the author, located at: http://rjlipton.wordpress.com -- Back cover.

متن يادداشت

Part I. A prologue. -- A walk in the snow -- Part II. On the P=NP question. -- Algorithms: tiny yet powerful -- Is P=NP posed? -- What would you bet? -- What happens when P=NP is resolved? -- NP too big or P too small? -- How to solve P=NP ? -- Why believe P not equal to NP? -- A nightmare about SAT -- Bait and switch -- Who's afraid of natural proofs? -- An approach to P=NP -- Is SAT easy? -- SAT is not too easy -- Ramsey's Theorem and NP -- Can they do that? --Rabin flips a coin -- A proof we all missed -- Barrington gets simple -- Exponential algorithms -- An EXPSPACE lower bound -- Randomness has unbounded power -- Counting cycles and logspace -- Ron Graham gives a talk -- An approximate counting method -- Easy and hard sums -- How to avoid O-Abuse -- How good is the worst case model? -- Savitch's Theorem -- Adaptive sampling and timed adversaries -- On the intersection of finite automata -- Where are the movies? -- Part III. On integer factoring. -- Factoring and factorials -- BDD's -- Factoring and Fermat -- Part IV. On mathematics. -- A curious logorithm -- Edit distance -- Protocols -- Erdos and the Quantum Method -- Amplifiers -- Amplifying on the PCR amplifier -- Mathematical embarrassments -- Mathematical diseases -- Mathematical surprises -- Erratum A. Geodel lost letter.

عنوان گونه گون

P equals NP question and Geodel's lost letter

موضوع مستند نشده

Geodel's theorem

موضوع مستند نشده

Computational complexity

موضوع مستند نشده

Computer algorithms

موضوع مستند نشده

Logic, Symbolic and mathematical

شماره رده

مستند نام اشخاص تاييد نشده

Lipton, Richard J.

مستند نام اشخاص تاييد نشده

Geodel, Kurt

کشور

ایران

نام ميزبان

9781441971548.pdf

شماره دسترسي

عادی

اطلاعات مختصر

عادی

تاريخ و ساعت مذاکره و دسترسي

9781441971548.pdf

نوع فرمت الکترونيکي

متن

وضعیت فهرست نویسی

old catalog

فرمت انتشار

e

نوع ماده

BL

پیشوند ISBD اعمال شده است

1

سطح دسترسي

a

تكميل شده

Y