Перевод названия: 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
Место издания: Томск
Издатель: Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования Национальный исследовательский Томский государственный университет