Об асимптотике решений рекуррентных соотношений в анализе алгоритмов расщепления для пропозициональной выполнимости

Описание

Перевод названия: Asymptotic solution of the recurrence relations in the analysis of splitting algorithms for sat

Тип публикации: статья из журнала

Год издания: 2013

Ключевые слова: Splitting algorithms, computational complexity, алгоритмы расщепления, сложность вычислений

Аннотация: Исследована традиционная техника анализа алгоритмов расщепления для решения задачи пропозициональной выполнимости. Предложена теорема, устанавливающая асимптотические верхние оценки времени работы алгоритмов в случае сбалансированного расщепления. The traditional technique for analysis of splitting algorithms for SAT problem is conПоказать полностьюsidered. A theorem establishing the upper bounds for execution time of algorithms in the case of balanced splitting is offered.

Ссылки на полный текст

Издание

Журнал: Прикладная дискретная математика. Приложение

Выпуск журнала: 6

Номера страниц: 112-116

ISSN журнала: 2226308X

Место издания: Томск

Издатель: Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования Национальный исследовательский Томский государственный университет

Авторы

Вхождение в базы данных