P, Np, and Np-Completeness: The Basics of Computational Complexity

P, Np, and Np-Completeness: The Basics of Computational Complexity book cover

P, Np, and Np-Completeness: The Basics of Computational Complexity

Author(s): Oded Goldreich (Author)

  • Publisher: Cambridge University Press
  • Publication Date: 21 Oct. 2010
  • Edition: Illustrated
  • Language: English
  • Print length: 214 pages
  • ISBN-10: 0521122546
  • ISBN-13: 9780521122542

Book Description

The focus of this book is the P versus NP Question and the theory of NP-completeness. It also provides adequate preliminaries regarding computational problems and computational models. The P versus NP Question asks whether or not finding solutions is harder than checking the correctness of solutions. An alternative formulation asks whether or not discovering proofs is harder than verifying their correctness. It is widely believed that the answer to these equivalent formulations is positive, and this is captured by saying that P is different from NP. Although the P versus NP Question remains unresolved, the theory of NP-completeness offers evidence for the intractability of specific problems in NP by showing that they are universal for the entire class. Amazingly enough, NP-complete problems exist, and furthermore hundreds of natural computational problems arising in many different areas of mathematics and science are NP-complete.

Editorial Reviews

Review

‘The author is a well-known expert in the field of complexity theory and so is well-qualified to bring out this book which will serve as a very good introductory textbook. The focus on search problems and promise problems in this book is to be appreciated since many books neglect these topics.’ S. V. Naaraj, SIGACT News

Book Description

Starting from the basics of computability, this undergraduate introduction focuses on the P versus NP Question and the theory of NP-completeness.

View on Amazon

电子书代发PDF格式价格30我要求助
未经允许不得转载:Wow! eBook » P, Np, and Np-Completeness: The Basics of Computational Complexity