|
|
libcats.org
Complexity classifications of Boolean constraint satisfaction problemsNadia Creignou, Sanjeev Khanna, Madhu SudanMany 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.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Сам себе волшебникАвтор: Долохов Владимир Афанасьевич, Автор: Гурангов Вадим АлексеевичКатегория: Психология
Размер книги: 661 Kb
Data Mining: Practical Machine Learning Tools and Techniques, Second EditionАвтор: Ian H. Witten, Автор: Eibe Frank
Размер книги: 7.76 Mb
What the Hands Reveal About the Brain (Bradford Books)Автор: Howard Poizner, Автор: Edward Klima, Автор: Ursula Bellugi
Размер книги: 20.03 Mb
The Challenges of Privatization: An International AnalysisАвтор: Bernardo Bortolotti, Автор: Domenico SiniscalcoКатегория: Математика, Анализ
Размер книги: 765 Kb
Advances in Wireless Communications (The Springer International Series in Engineering and Computer Science)Автор: Jack M. Holtzman, Автор: Michele ZorziКатегория: Компьютеры
Размер книги: 3.83 Mb
Being an Expert Professional Practitioner: The Relational Turn in Expertise (Professional and Practice-based Learning 3)Автор: Anne EdwardsКатегория: Образование
Размер книги: 991 Kb
|
|
|