А. С. Снятков, “Нижняя граница времени для разрешения теории с функцией экспоненты”, Вестник ТвГУ. Серия: Прикладная математика, 2012, выпуск 2,страницы 5

Эта публикация цитируется в 1 статье

Теоретические основы информатики

Нижняя граница времени для разрешения теории с функцией экспоненты

А. С. Снятков

Тверской государственный университет, г. Тверь

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

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

УДК: 510.665

Поступила в редакцию: 23.05.2012
Исправленный вариант: 25.05.2012