Еженедельный по «сложности алгоритмов» для 3 курса ИСПРАН — вопросы

Существует ли алгоритм, который выписывает одну за другой все машины Тьюринга, которые не останавливаются, будучи запущенными на пустой ленте?

Является ли разрешимым множество натуральных чисел, не превосходящих :

Пусть сводится по Карпу к . Выберите верное утверждение:

Множество S является разрешимым, тогда и только тогда, когда существует такая машина Тьюринга T, что:

Задачи 3SAT и 2SAT:

Выберите верное следствие:

У языков L1-L4 доказаны следующие полиномиальные сводимости по Карпу: «L1→L2», «L3→L2→L4» Рассмотрим утверждения:

I

Если L4 в P, то L2 в P

II

Если L1 или L3 в P, то L2 в P

III

L1 в P, тогда и только тогда, когда L3 в P

IV

Если L4 в P, то L1 в P и L3 в P.

Является ли конкатенация двух разрешимых языков перечислимой?

Аню и Колю попросили показать, что задача X — NP-полна. Аня показала полиномиальную сводимость по Карпу от 3SAT к X, а Коля показал полиномиальную сводимость по Карпу от X к 3SAT.

Что можно утверждать?

Выберите верное утверждение