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

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

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



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






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


ПДМ. Приложение, 2013, выпуск 6, страницы 112–116 (Mi pdma76)  

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

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

В. В. Быкова

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

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

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

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

Образец цитирования: В. В. Быкова, “Об асимптотике решений рекуррентных соотношений в анализе алгоритмов расщепления для пропозициональной выполнимости”, ПДМ. Приложение, 2013, № 6, 112–116

Цитирование в формате AMSBIB
\RBibitem{Byk13}
\by В.~В.~Быкова
\paper Об асимптотике решений рекуррентных соотношений в анализе алгоритмов расщепления для пропозициональной выполнимости
\jour ПДМ. Приложение
\yr 2013
\issue 6
\pages 112--116
\mathnet{http://mi.mathnet.ru/pdma76}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/pdma76
  • http://mi.mathnet.ru/rus/pdma/y2013/i6/p112

    ОТПРАВИТЬ: 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
  • Прикладная дискретная математика. Приложение
    Просмотров:
    Эта страница:112
    Полный текст:59
    Литература:24
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020