Ding-Zhu Du

Ker-I Ko

This book contains a collection of survey papers in the areas of algorithms, lan guages and complexity, the three areas in which Professor Ronald V. Book has made significant contributions. As a fonner student and a co-author who have been influenced by him directly, we would like to dedicate this book to Professor Ronald V. Book to honor and celebrate his sixtieth birthday. Professor Book initiated his brilliant academic career in 1958, graduating from Grinnell College with a Bachelor of Arts degree. He obtained a Master of Arts in Teaching degree in 1960 and a Master of Arts degree in 1964 both from Wesleyan University, and a Doctor of Philosophy degree from Harvard University in 1969, under the guidance of Professor Sheila A. Greibach. Professor Book's research in discrete mathematics and theoretical com puter science is reflected in more than 150 scientific publications. These works have made a strong impact on the development of several areas of theoretical computer science. A more detailed summary of his scientific research appears in this volume separately.

Advances in Algorithms, Languages, and Complexity

A complete treatment of fundamentals and recent advances in complexity theory Complexity theory studies the inherent difficulties of solving algorithmic problems by digital computers. This comprehensive work discusses the major topics in complexity theory, including fundamental topics as well as recent breakthroughs not previously available in book form. Theory of Computational Complexity offers a thorough presentation of the fundamentals of complexity theory, including NP-completeness theory, the polynomial-time hierarchy, relativization, and the application to cryptography. It also examines the theory of nonuniform computational complexity, including the computational models of decision trees and Boolean circuits, and the notion of polynomial-time isomorphism. The theory of probabilistic complexity, which studies complexity issues related to randomized computation as well as interactive proof systems and probabilistically checkable proofs, is also covered. Extraordinary in both its breadth and depth, this volume: * Provides complete proofs of recent breakthroughs in complexity theory * Presents results in well-defined form with complete proofs and numerous exercises * Includes scores of graphs and figures to clarify difficult material An invaluable resource for researchers as well as an important guide for graduate and advanced undergraduate students, Theory of Computational Complexity is destined to become the standard reference in the field.

Theory of Computational Complexity

Praise for the First Edition "...complete, up-to-date coverage of computational complexitytheory...the book promises to become the standard reference oncomputational complexity." -Zentralblatt MATH A thorough revision based on advances in the field ofcomputational complexity and readers’ feedback, the SecondEdition of Theory of Computational Complexity presentsupdates to the principles and applications essential tounderstanding modern computational complexity theory. The newedition continues to serve as a comprehensive resource on the useof software and computational approaches for solving algorithmicproblems and the related difficulties that can be encountered. Maintaining extensive and detailed coverage, Theory ofComputational Complexity, Second Edition, examines the theoryand methods behind complexity theory, such as computational models,decision tree complexity, circuit complexity, and probabilisticcomplexity. The Second Edition also features recentdevelopments on areas such as NP-completeness theory, as wellas: A new combinatorial proof of the PCP theorem based on thenotion of expander graphs, a research area in the field of computerscience Additional exercises at varying levels of difficulty to furthertest comprehension of the presented material End-of-chapter literature reviews that summarize each topic andoffer additional sources for further study Theory of Computational Complexity, Second Edition, is anexcellent textbook for courses on computational theory andcomplexity at the graduate level. The book is also a usefulreference for practitioners in the fields of computer science,engineering, and mathematics who utilize state-of-the-art softwareand computational methods to conduct research. Athorough revision based on advances in the field of computationalcomplexity and readers’feedback,the Second Edition of Theory of Computational Complexity presentsupdates to theprinciplesand applications essential to understanding modern computationalcomplexitytheory.The new edition continues to serve as a comprehensive resource onthe use of softwareandcomputational approaches for solving algorithmic problems and therelated difficulties thatcanbe encountered.Maintainingextensive and detailed coverage, Theory of ComputationalComplexity, SecondEdition,examines the theory and methods behind complexity theory, such ascomputationalmodels,decision tree complexity, circuit complexity, and probabilisticcomplexity. The SecondEditionalso features recent developments on areas such as NP-completenesstheory, as well as:•A new combinatorial proof of the PCP theorem based on the notion ofexpandergraphs,a research area in the field of computer science•Additional exercises at varying levels of difficulty to furthertest comprehension ofthepresented material•End-of-chapter literature reviews that summarize each topic andoffer additionalsourcesfor further studyTheoryof Computational Complexity, Second Edition, is an excellenttextbook for courses oncomputationaltheory and complexity at the graduate level. The book is also auseful referenceforpractitioners in the fields of computer science, engineering, andmathematics who utilizestate-of-the-artsoftware and computational methods to conduct research.

Ronald V. Book

This book contains a collection of sixteen survey papers on recent developments in algorithms, formal languages, and computational complexity. These are the three areas in which Professor Ronald V. Book has made significant contributions, and the objective of the editors and the contributors is to honor Professor Book on his sixtieth birthday. Audience: Researchers and graduate students with interests in design and analysis of algorithms, in language theory, and in computational complexity.

Ker-I Ko

About

Books

Join the club