libcats.org
Главная

Complexity Classifications of Boolean Constraint Satisfaction Problems (Monographs on Discrete Mathematics and Applications)

Обложка книги Complexity Classifications of Boolean Constraint Satisfaction Problems (Monographs on Discrete Mathematics and Applications)

Complexity Classifications of Boolean Constraint Satisfaction Problems (Monographs on Discrete Mathematics and Applications)

, ,
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.

Популярные книги за неделю:

Издание 'Сделай сам'. 1999 № 02 (DjVU)

Автор:
Размер книги: 3.94 Mb

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Технология солода и пива

Автор:
Категория: Tech
Размер книги: 113.31 Mb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Как обставить квартиру

Автор:
Категория: color, graph, house, home
Размер книги: 4.92 Mb
Только что пользователи скачали эти книги:

Хорарная астрология

Автор:
Категория: Астрология
Размер книги: 110 Kb

Свобода с баяном

Автор:
Размер книги: 12 Kb

The Light and the Shadow: How Breakthrough Innovation is Shaping European Business

Автор: , Автор: , Автор:
Категория: Бизнес
Размер книги: 1.61 Mb

Wie es uns gefallt

Автор:
Размер книги: 726 Kb

Автор: , Автор:
Размер книги: 5.73 Mb

The Apocalypse

Автор:
Категория: fiction
Размер книги: 275 Kb