Complexity Dichotomies for Counting Problems: Volume 1, Boolean Domain

Nonfiction, Science & Nature, Mathematics, Number Theory, Computers, General Computing
Cover of the book Complexity Dichotomies for Counting Problems: Volume 1, Boolean Domain by Jin-Yi Cai, Xi Chen, Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Jin-Yi Cai, Xi Chen ISBN: 9781108505840
Publisher: Cambridge University Press Publication: November 16, 2017
Imprint: Cambridge University Press Language: English
Author: Jin-Yi Cai, Xi Chen
ISBN: 9781108505840
Publisher: Cambridge University Press
Publication: November 16, 2017
Imprint: Cambridge University Press
Language: English

Complexity theory aims to understand and classify computational problems, especially decision problems, according to their inherent complexity. This book uses new techniques to expand the theory for use with counting problems. The authors present dichotomy classifications for broad classes of counting problems in the realm of P and NP. Classifications are proved for partition functions of spin systems, graph homomorphisms, constraint satisfaction problems, and Holant problems. The book assumes minimal prior knowledge of computational complexity theory, developing proof techniques as needed and gradually increasing the generality and abstraction of the theory. This volume presents the theory on the Boolean domain, and includes a thorough presentation of holographic algorithms, culminating in classifications of computational problems studied in exactly solvable models from statistical mechanics.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Complexity theory aims to understand and classify computational problems, especially decision problems, according to their inherent complexity. This book uses new techniques to expand the theory for use with counting problems. The authors present dichotomy classifications for broad classes of counting problems in the realm of P and NP. Classifications are proved for partition functions of spin systems, graph homomorphisms, constraint satisfaction problems, and Holant problems. The book assumes minimal prior knowledge of computational complexity theory, developing proof techniques as needed and gradually increasing the generality and abstraction of the theory. This volume presents the theory on the Boolean domain, and includes a thorough presentation of holographic algorithms, culminating in classifications of computational problems studied in exactly solvable models from statistical mechanics.

More books from Cambridge University Press

Cover of the book Freedom and the Construction of Europe: Volume 1, Religious Freedom and Civil Liberty by Jin-Yi Cai, Xi Chen
Cover of the book Labor and the Class Idea in the United States and Canada by Jin-Yi Cai, Xi Chen
Cover of the book Democratization from Above by Jin-Yi Cai, Xi Chen
Cover of the book Introducing Syntax by Jin-Yi Cai, Xi Chen
Cover of the book Managing Extreme Climate Change Risks through Insurance by Jin-Yi Cai, Xi Chen
Cover of the book The Cambridge Introduction to British Romantic Poetry by Jin-Yi Cai, Xi Chen
Cover of the book China and Maritime Europe, 1500–1800 by Jin-Yi Cai, Xi Chen
Cover of the book Church Building and Society in the Later Middle Ages by Jin-Yi Cai, Xi Chen
Cover of the book The African American Theatrical Body by Jin-Yi Cai, Xi Chen
Cover of the book Language Diversity in the USA by Jin-Yi Cai, Xi Chen
Cover of the book Modal Logic by Jin-Yi Cai, Xi Chen
Cover of the book Changing Societies, Changing Party Systems by Jin-Yi Cai, Xi Chen
Cover of the book Henry James in Context by Jin-Yi Cai, Xi Chen
Cover of the book Fundamentals of Geophysics by Jin-Yi Cai, Xi Chen
Cover of the book Strategies for Managing Uncertainty by Jin-Yi Cai, Xi Chen
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy