Complexity Classifications of Boolean Constraint Satisfaction Problems - Nadia Creignou, Sanjeev Khanna, Madhu Sudan

Complexity Classifications of Boolean Constraint Satisfaction Problems

Buch | Hardcover
118 Seiten
1987
Society for Industrial & Applied Mathematics,U.S. (Verlag)
978-0-89871-479-1 (ISBN)
109,70 inkl. MwSt
Many fundamental combinatorial problems, arising in such diverse fields as artificial intelligence, logic, graph theory, and linear algebra, can be formulated as Boolean constraint satisfaction problems (CSP). This book is devoted to the study of the complexity of such problems. The authors' goal is to develop a framework for classifying the complexity of Boolean CSP in a uniform way. In doing so, they bring out common themes underlying many concepts and results in both algorithms and complexity theory. The results and techniques presented here show that Boolean CSP provide an excellent framework for discovering and formally validating 'global' inferences about the nature of computation. This book presents a novel and compact form of a compendium that classifies an infinite number of problems by using a rule-based approach. This enables practitioners to determine whether or not a given problem is known to be computationally intractable.

Preface; 1. Introduction; 2. Complexity Classes; 3. Boolean Constraint Satisfaction Problems; 4. Characterizations of Constraint Functions; 5. Implementation of Functions and Reductions; 6. Classification Theorems for Decision, Counting and Quantified Problems; 7. Classification Theorems for Optimization Problems; 8. Input-Restricted Constrained Satisfaction Problems; 9. The Complexity of the Meta-Problems; 10. Concluding Remarks; Bibliography; Index.

Erscheint lt. Verlag 1.1.1987
Reihe/Serie Monographs on Discrete Mathematics and Applications
Verlagsort New York
Sprache englisch
Maße 185 x 261 mm
Gewicht 458 g
Themenwelt Mathematik / Informatik Informatik Theorie / Studium
Mathematik / Informatik Mathematik Angewandte Mathematik
Mathematik / Informatik Mathematik Graphentheorie
Mathematik / Informatik Mathematik Logik / Mengenlehre
ISBN-10 0-89871-479-6 / 0898714796
ISBN-13 978-0-89871-479-1 / 9780898714791
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Grundlagen – Anwendungen – Perspektiven

von Matthias Homeister

Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99