RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



ПДМ:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


ПДМ, 2013, номер 4(22), страницы 56–66 (Mi pdm429)  

Вычислительные методы в дискретной математике

Об асимптотике решений рекуррентных соотношений специального вида и технике Кульмана–Люкхардта

В. В. Быкова

Институт математики и фундаментальной информатики Сибирского федерального университета, г. Красноярск, Россия

Аннотация: Обсуждаются проблемы решения рекуррентных соотношений, возникающих в анализе вычислительной сложности рекурсивных алгоритмов. Класс рассматриваемых алгоритмов ограничен алгоритмами расщепления, а именно DPLL-алгоритмами, предназначенными для решения задачи пропозициональной выполнимости. Исследована техника Кульмана–Люкхардта, традиционно применяемая при исследовании вычислительной сложности алгоритмов расщепления. Предложена теорема, устанавливающая верхние оценки времени выполнения DPLL-алгоритма в случае сбалансированного расщепления. Теорема расширяет возможности техники Кульмана–Люкхардта, так как учитывает неоднородность рекуррентного соотношения, описывающего время работы DPLL-алгоритма.

Ключевые слова: вычислительная сложность рекурсивных алгоритмов, алгоритмы расщепления, решение рекуррентных соотношений.

Полный текст: PDF файл (624 kB)
Список литературы: PDF файл   HTML файл
Тип публикации: Статья
УДК: 519.712

Образец цитирования: В. В. Быкова, “Об асимптотике решений рекуррентных соотношений специального вида и технике Кульмана–Люкхардта”, ПДМ, 2013, № 4(22), 56–66

Цитирование в формате AMSBIB
\RBibitem{Byk13}
\by В.~В.~Быкова
\paper Об асимптотике решений рекуррентных соотношений специального вида и технике Кульмана--Люкхардта
\jour ПДМ
\yr 2013
\issue 4(22)
\pages 56--66
\mathnet{http://mi.mathnet.ru/pdm429}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/pdm429
  • http://mi.mathnet.ru/rus/pdm/y2013/i4/p56

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Прикладная дискретная математика
    Просмотров:
    Эта страница:313
    Полный текст:101
    Литература:41
    Первая стр.:1
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020