Б44 |
Бєляєв, В. М. m-звідність з інформаційними обмеженнями [Текст] : автореф. дис. на здобуття наук. ступеня канд. фіз.-мат. наук : спец. 01.01.08 "Математична логіка, теорія алгоритмів і дискретна математика" / Бєляєв Володимир Миколайович ; Київ. нац. ун-т ім. Тараса Шевченка. – К., 2006. – 20 с. – 17-18.
Беляев В. М. m-звіднірть з інформаційними обмеженнями. - Рукопис. Дисертація на здобуття наукового ступеня кандидата фізико-математичних наук за спеціальністю 01.01.08 - математична логіка, теорія алгоритмів і дискретна математика. - Київський національний університет імені Тараса Шевченка, м. Київ, 2005.
Работа присвячена вивченню нового типу алгоритмічних звідностей, який виникає через накладання інформаційних обмежень на доступ до оракулу в m-редукціях. Вивчаються такі пари #', класів неспадних тотальних одномісних арифметичних функцій, що визначають рефлексивні и транзитивні бінарні відношення
{(А,В)?A,B N&( з.p.фh)( f1 }. Встановлені критерії рефлексивності і транзитивності таких відношень. Вивчені ґрати m-звідностей з інформаційними обмеженнями. Досліджується структура рекурсивно перераховних ступенів нерозв'язності відносно m-звідностей з інформаційними обмеженнями. Для структури ступенів нерозв'язності отримано критерій бути верхніми напів-ґратами. Досліджуються умови існування повних множин. Отримано критерій циліндрів в термінах m-звідностей з інформаційними обмеженнями.
Ключові слова: рекурсивна функція, обмежені звідності, ступені нерозв'язності, мажоранта, класи інформаційних обмежень
|