|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Об одном генерическом отношении рекурсивно перечислимых множеств
А. Н. Рыбаловab a Омский ф-л Ин-та матем. им. С. Л. Соболева СО РАН, ул. Певцова, 13, г. Омск, 644099, РОССИЯ
b Омский гос. техн. ун-т, пр. Мира, 11, г. Омск, 644050,
РОССИЯ
Аннотация:
Вводится понятие генерического отношения алгоритмических проблем, которое сохраняет свойство разрешимости проблемы для почти всех входов и обладает свойством транзитивности. В отличие от классического отношения $m$-сводимости, введённое генерическое отношение не обладает свойством рефлексивности: строится пример рекурсивно перечислимого множества, генерически несравнимого с самим собой. Строится также пример полного множества относительно этого отношения в классе рекурсивно перечислимых множеств.
Ключевые слова:
генерическое отношение, полное множество, рекурсивно перечислимое множество.
Поступило: 13.04.2016
Образец цитирования:
А. Н. Рыбалов, “Об одном генерическом отношении рекурсивно перечислимых множеств”, Алгебра и логика, 55:5 (2016), 587–596; Algebra and Logic, 55:5 (2016), 387–393
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al763 https://www.mathnet.ru/rus/al/v55/i5/p587
|
|