|
|
Дискретная математика, 1990, том 2, выпуск 1, страницы 142–154
(Mi dm844)
|
|
|
|
О нижних оценках времени вычислений
Ю. И. Янов
Аннотация:
Вводится специальное представление предикатов с помощью полных систем признаков. Для определенного класса предикатов установлена связь их представлений с временем вычисления на машинах Тьюринга. Таким путем описан класс предикатов с квадратичной нижней оценкой временной сложности. Сформулирована гипотеза, утверждающая наличие
подобной связи для существенно более широкого класса представлений. Принятие этой гипотезы дает для соответствующих предикатов экспоненциальную нижнюю оценку временной сложности.
Статья поступила: 27.06.1989
Образец цитирования:
Ю. И. Янов, “О нижних оценках времени вычислений”, Дискрет. матем., 2:1 (1990), 142–154; Discrete Math. Appl., 1:4 (1991), 391–403
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm844 https://www.mathnet.ru/rus/dm/v2/i1/p142
|
| Статистика просмотров: |
| Страница аннотации: | 426 | | PDF полного текста: | 163 | | Список литературы: | 2 | | Первая страница: | 3 |
|