Complexity Classifications of Boolean Constraint Satisfaction Problems FROM THE PUBLISHER
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. It also provides a complete classification of all problems that arise in restricted versions of central complexity classes such as NP, NPO, NC, PSPACE, and #P.
Audience
This volume will be of interest to both researchers and practitioners working in combinatorial optimization and complexity theory. It is suitable for use as a supplementary text in courses on approximation and computational complexity.
FROM THE CRITICS
Booknews
For researchers in optimization and computer science, complexity theory and discrete mathematics who have studied theories of computation. Creignou (computer science, U. de la Mditerrane), Sanjeev Khanna (computer and information science, U. of Pennsylvania) and Madhu Sudan (electrical engineering and computer science, Massachusetts Institute of Technology) present a nearly complete classification of various restricted classes of computational problems whose instances describe a collection of simple constraints on Boolean variables. Annotation c. Book News, Inc., Portland, OR (booknews.com)
ACCREDITATION
Nadia Creignou is a Professor in the Computer Science Laboratory of Marseille at the Universit� de la M�diterran�e, France. Sanjeev Khanna is an Assistant Professor in the Department of Computer and Information Science at the University of Pennsylvania, USA. Madhu Sudan is an Associate Professor in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology, USA.
Home
