книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Теория вероятностей

Построение алгоритмов для задач булевой логики. при помощи автоматизации, комбинированных мер сложности и запоминания дизъюнктов

Код 881305

Нет в продаже

Аннотация к книге "Построение алгоритмов для задач булевой логики. при помощи автоматизации, комбинированных мер сложности и запоминания дизъюнктов"

Интерес к доказательству экспоненциальных верхних оценок для NP-трудных задач в последние несколько десятилетий остается на стабильно высоком уровне. Одним из наиболее хорошо изученных подходов к доказательству таких оценок является метод расщепления. Впервые данный метод был предложен в 1960 году Дэвисом и Патнемом и сформулирован в более современном виде Дэвисом, Лоджеманном и Лавлэндом 1962 году. Его основная идея заключается в расщеплении входного примера задачи на несколько более простых...

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июнь 2011
ISBN: 978-3-8433-0326-2
Объём: 100 страниц
Масса: 172 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

Просмотренные товары

Просмотренные категории

Весенний марафон 2019