Тайцлин, М.А. (2005) Пример полиномиального запроса, не распознаваемого в недетерминированной логарифмической памяти. Вестник ТвГУ. Серия: Прикладная математика (2). С. 5-22. ISSN 1995-0136
Предварительный просмотр
Загрузить (4MB) | Предварительный просмотр
Абстракт
Мы предлагаем некоторый запрос, лежащий в PTIME, который, как мы полагаем, не лежит в NLogSpace. К сожалению, доказательство непринадлежности этого запроса к NLogSpace неполно. Но если предполагаемый запрос действительно не лежит в NLogSpace, то это решает давно открытую пробелму Кука, поставленную еще в 1969 году в [1].
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | Тайцлин Михаил Абрамович, 170100, г. Тверь, ул. Желябова, 33 Тверской государственный университет профессор кафедры информатики. |
| Категории: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.67 Теория моделей 5 Математика. Естественные науки > 51 Математика > 519.7 Математическая кибернетика, включая теорию управляющих систем, теорию информации и математические вопросы семиотики |
| Подразделения: | Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики |
| Разместивший пользователь: | И.С. Солдатенко |
| Дата размещения: | 08 Янв 2017 08:14 |
| Последнее изменение: | 08 Янв 2017 08:14 |
| URI: | http://eprints.tversu.ru/id/eprint/1319 |
Действия (требуется вход)
- Посмотреть объект