LogoTver State University Repository

Пример полиномиального запроса, не распознаваемого в недетерминированной логарифмической памяти

Тайцлин, М.А. (2005) Пример полиномиального запроса, не распознаваемого в недетерминированной логарифмической памяти. Вестник ТвГУ. Серия: Прикладная математика (2). pp. 5-22. ISSN 1995-0136

[img]
Preview
PDF - Published Version
4MB

Abstract

Мы предлагаем некоторый запрос, лежащий в PTIME, который, как мы полагаем, не лежит в NLogSpace. К сожалению, доказательство непринадлежности этого запроса к NLogSpace неполно. Но если предполагаемый запрос действительно не лежит в NLogSpace, то это решает давно открытую пробелму Кука, поставленную еще в 1969 году в [1].

Abstract (en)

We propose a problem in PTIME which, we believe, is not in NLogSpace. If it is the case, it would settle a long staying open problem of Stephen A.Cook posted in 1969 (see [1]).

Item Type:Article
Additional Information:Тайцлин Михаил Абрамович, 170100, г. Тверь, ул. Желябова, 33 Тверской государственный университет профессор кафедры информатики.
Subjects:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.67 Теория моделей
5 Математика. Естественные науки > 51 Математика > 519.7 Математическая кибернетика, включая теорию управляющих систем, теорию информации и математические вопросы семиотики
Divisions:Университеты > TverSU > Faculties > PMK > Кафедра информатики
ID Code:1319
Deposited By: И.С. Солдатенко
Deposited On:08 Jan 2017 08:14
Last Modified:08 Jan 2017 08:14

Repository Staff Only: item control page