Cantitate/Preț
Produs
Total produse
Vezi coșul
Computational Complexity de Sanjeev Arora

Computational Complexity

Autor Sanjeev Arora, Boaz Barak
en Limba Engleză Hardback – mai 2009

Considerăm că lucrarea semnată de Sanjeev Arora și Boaz Barak reprezintă un reper fundamental pentru literatura academică dedicată informaticii teoretice. Sanjeev Arora, profesor la Princeton, este recunoscut pentru contribuțiile sale de pionierat în teorema PCP, expertiză care fundamentează rigoarea științifică a acestui manual. Această lucrare reușește să sintetizeze două decenii de progrese în teoria complexității, oferind un echilibru între rezultatele clasice și cercetările contemporane. Ne-a atras atenția modul în care autorii au structurat materialul pentru a fi accesibil oricărui cercetător cu maturitate matematică, fără a solicita cunoștințe prealabile vaste în domeniu. Cartea este organizată în trei părți progresive. Prima parte introduce clasele de bază (NP-completitudine, mașini Turing, complexitate spațială) și fundamentele calculului cuantic și al criptografiei. A doua parte se concentrează pe limitele inferioare pentru modele de calcul concrete, precum arborii de decizie și circuitele booleene, în timp ce secțiunea finală abordează teme avansate precum amplificarea durității (hardness amplification) și construcțiile pseudorandomizate. Comparabil cu Computability and Complexity Theory de Steven Homer în ceea ce privește rigoarea definițiilor, volumul de față este actualizat pentru peisajul tehnologic modern, acordând o atenție sporită algoritmilor probabilistici și complexității medii. Față de lucrările anterioare ale lui Sanjeev Arora, precum Approximation, Randomization, and Combinatorial Optimization, acest titlu extinde focusul de la algoritmi specifici către o viziune de ansamblu asupra resurselor necesare pentru rezolvarea problemelor algoritmice. Prezența celor peste 300 de exerciții și a diagramelor explicative transformă acest [Hardback](format) într-un instrument pedagogic esențial pentru seminarele de masterat și doctorat.

Citește tot Restrânge

Preț: 44693 lei

Preț vechi: 48579 lei
-8%

Puncte Express: 670

Carte tipărită la comandă

Livrare economică 15-29 iunie
Livrare express 08-14 mai pentru 7984 lei

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9780521424264
ISBN-10: 0521424267
Pagini: 594
Ilustrații: 72 line figures, 1 halftone, 6 tables, 307 exercises
Dimensiuni: 182 x 257 x 37 mm
Greutate: 1.32 kg
Editura: Cambridge University Pr.
Locul publicării:New York, United States

De ce să citești această carte

Recomandăm această carte studenților și cercetătorilor care doresc o înțelegere profundă a limitelor calculabilității. Veți câștiga o perspectivă clară asupra celor mai recente descoperiri din ultimele două decenii, inclusiv teorema PCP și calculul cuantic. Este un manual care nu se mulțumește doar cu teoria, ci oferă peste 300 de exerciții practice pentru a consolida conceptele de criptografie și complexitate computațională.

Despre autor

Sanjeev Arora este profesor în cadrul departamentului de informatică de la Universitatea Princeton. Deține un doctorat la University of California, Berkeley și a desfășurat cercetări fundamentale în teoria complexității, dovezi verificabile probabilistic (PCP) și algoritmi de aproximare. Contribuțiile sale au fost recunoscute la nivel internațional, fiind unul dintre cei mai citați autori în domeniul informaticii teoretice. Alături de Boaz Barak, a reușit să creeze un curriculum modern care reflectă stadiul actual al cercetării în complexitatea computațională, integrând perspective teoretice cu aplicații în criptografia modernă.

Descriere scurtă

This beginning graduate textbook describes both recent achievements and classical results of computational complexity theory. Requiring essentially no background apart from mathematical maturity, the book can be used as a reference for self-study for anyone interested in complexity, including physicists, mathematicians, and other scientists, as well as a textbook for a variety of courses and seminars. More than 300 exercises are included with a selected hint set. The book starts with a broad introduction to the field and progresses to advanced results. Contents include: definition of Turing machines and basic time and space complexity classes, probabilistic algorithms, interactive proofs, cryptography, quantum computation, lower bounds for concrete computational models (decision trees, communication complexity, constant depth, algebraic and monotone circuits, proof complexity), average-case complexity and hardness amplification, derandomization and pseudorandom constructions, and the PCP theorem.

Cuprins

Part I. Basic Complexity Classes: 1. The computational model - and why it doesn't matter; 2. NP and NP completeness; 3. Diagonalization; 4. Space complexity; 5. The polynomial hierarchy and alternations; 6. Boolean circuits; 7. Randomized computation; 8. Interactive proofs; 9. Cryptography; 10. Quantum computation; 11. PCP theorem and hardness of approximation: an introduction; Part II. Lower Bounds for Concrete Computational Models: 12. Decision trees; 13. Communication complexity; 14. Circuit lower bounds; 15. Proof complexity; 16. Algebraic computation models; Part III. Advanced Topics: 17. Complexity of counting; 18. Average case complexity: Levin's theory; 19. Hardness amplification and error correcting codes; 20. Derandomization; 21. Pseudorandom constructions: expanders and extractors; 22. Proofs of PCP theorems and the Fourier transform technique; 23. Why are circuit lower bounds so difficult?; Appendix A: mathematical background.

Recenzii

'This book by two leading theoretical computer scientists provides a comprehensive, insightful and mathematically precise overview of computational complexity theory, ranging from early foundational work to emerging areas such as quantum computation and hardness of approximation. It will serve the needs of a wide audience, ranging from experienced researchers to graduate students and ambitious undergraduates seeking an introduction to the mathematical foundations of computer science. I will keep it at my side as a useful reference for my own teaching and research.' Richard M. Karp, University of California at Berkeley
'This text is a major achievement that brings together all of the important developments in complexity theory. Student and researchers alike will find it to be an immensely useful resource.' Michael Sipser, author of Introduction to the Theory of Computation
'Computational complexity theory is at the core of theoretical computer science research. This book contains essentially all of the (many) exciting developments of the last two decades, with high level intuition and detailed technical proofs. It is a must for everyone interested in this field.' Avi Wigderson, Professor, Institute for Advanced Study, Princeton

Descriere

New and classical results in computational complexity, including interactive proofs, PCP, derandomization, and quantum computation. Ideal for graduate students.