|
|
libcats.org
A Survey of Lower Bounds for Satisfiability and Related ProblemsDieter Melkebeek vanNP-completeness arguably forms the most pervasive concept from computer science as it captures the computational complexity of thousands of important problems from all branches of science and engineering. The P versus NP question asks whether these problems can be solved in polynomial time. A negative answer has been widely conjectured for a long time but, until recently, no concrete lower bounds were known on general models of computation. Satisfiability is the problem of deciding whether a given Boolean formula has at least one satisfying assignment. It is the first problem that was shown to be NP-complete, and is possibly the most commonly studied NP-complete problem, both for its theoretical properties and its applications in practice. A Survey of Lower Bounds for Satisfiability and Related Problems surveys the recently discovered lower bounds for the time and space complexity of satisfiability and closely related problems. It overviews the state-of-the-art results on general deterministic, randomized, and quantum models of computation, and presents the underlying arguments in a unified framework. A Survey of Lower Bounds for Satisfiability and Related Problems is an invaluable reference for professors and students doing research in complexity theory, or planning to do so.
Скачать книгу бесплатно (pdf, 704 Kb)
Читать «A Survey of Lower Bounds for Satisfiability and Related Problems» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Genki 1: An Integrated Course in Elementary Japanese 1Автор: Eri Banno, Автор: Yutaka Ohno, Автор: Yoko Sakane, Автор: Chikako Shinagawa, Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:
Thriller 2: Stories You Just Can’t Put DownАвтор: Cussler CliveКатегория: Триллер
Размер книги: 825 Kb
Сладкие проблемы. Советы, практические рекомендации домохозяйкам, садоводам и огородникам.Автор: Данилина О., Автор: Чернов А.Категория: Дом. Быт. Досуг
Размер книги: 4.82 Mb
Введение в теорию колебаний конструкций. Часть 1: Учебное пособиеАвтор: Зиновьев Н.М., Автор: Мяснянкин Ю.М.Категория: Механика
Размер книги: 488 Kb
Early Philosophical Shiism: The Ismaili Neoplatonism of Abu Ya'qūb al-Sijistānī (Cambridge Studies in Islamic Civilization)Автор: Paul E. WalkerКатегория: Образование
Размер книги: 5.42 Mb
Scherven Brengen Geluk (An Offer You Can't Refuse)Автор: Mansell JillКатегория: fiction
Размер книги: 363 Kb
The Hedge Knight IАвтор: Martin George R R, Автор: Avery Ben, Автор: Miller Mike SКатегория: fiction
Размер книги: 230 Kb
|
|
|