Вивчено новий тип алгоритмічних звідностей, який виникає через накладання інформаційних обмежень на доступ до оракулу в m-редукціях. Установлено критерії рефлексивності та транзитивності таких відношень. Вивчено грати m-звідностей з інформаційними обмеженнями. Досліджено структуру рекурсивно перерахованих ступенів нерозв'язності відносно m-звідностей з інформаційними обмеженнями. Для структури ступенів неров'язності одержано критерій бути верхніми напівгратами. Досліджено умови існування повних множин. Одержано критерій циліндрів у термінах m-звідностей з інформаційними обмеженнями.

  Скачати повний текст