Существует ли разрешимое множество, не принадлежащее классу P (разрешимых за по- линомиальное время языков)?

задан 21 Май '17 22:58

Такие вопросы желательно сопровождать точным набором определений (или ссылками).

На уровне общей идеи: ясно, что бывают задачи любой вычислительной степени сложности -- например, растущей выше любой примитивно рекурсивной. Например, вычисление значений диагональной функции Аккермана. Если взять множество значений такой функции, то оно разрешимо, но сложность превосходит любую примтивно рекурсивную оценку (полиномиальную, экспоненциальную, и др.).

(22 Май '17 0:52) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×240

задан
21 Май '17 22:58

показан
292 раза

обновлен
22 Май '17 0:52

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru