|
Эта публикация цитируется в 13 научных статьях (всего в 13 статьях)
Теорема А. А. Маркова и алгоритмически нераспознаваемые комбинаторные многообразия
М. А. Штанько
Аннотация:
Доказана теорема А. А. Маркова о существовании для любого $n\geqslant 4$ алгоритмически нераспознаваемого комбинаторного $n$-мерного многообразия. Указано конкретное многообразие, которое алгоритмически не распознается (ранее это не было сделано). Усиленная теорема Маркова доказана с помощью комбинаторных методов регулярных окрестностей и теории ручек. Доказательства одинаковы для любых $n\geqslant 4$. Используется группа Борисова [8] с неразрешимой проблемой тождества,
имеющая две образующие и двенадцать соотношений. Именно применение группы
Борисова явилось основой для доказательства усиленной теоремы Маркова (этим автор обязан С. И. Адяну).
Библиография: 26 наименований.
Поступило в редакцию: 30.01.2003
Образец цитирования:
М. А. Штанько, “Теорема А. А. Маркова и алгоритмически нераспознаваемые комбинаторные многообразия”, Изв. РАН. Сер. матем., 68:1 (2004), 207–224; Izv. Math., 68:1 (2004), 205–221
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/im471https://doi.org/10.4213/im471 https://www.mathnet.ru/rus/im/v68/i1/p207
|
Статистика просмотров: |
Страница аннотации: | 1145 | PDF русской версии: | 479 | PDF английской версии: | 46 | Список литературы: | 61 | Первая страница: | 2 |
|