Перевод названия: 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 considered. A theorem establishing the upper bounds for execution time of algorithms in the case of balanced splitting is offered.
Издание
Журнал: Прикладная дискретная математика. Приложение
Выпуск журнала: № 6
Номера страниц: 112-116
ISSN журнала: 2226308X
Место издания: Томск
Издатель: Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования Национальный исследовательский Томский государственный университет
Персоны
- Быкова Валентина Владимировна (Сибирский федеральный университет)
Вхождение в базы данных
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.