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

Является ли пустое множество разрешимым?

Предположим, разумеется, что Тогда что будет верно?

Выберите общепринятое определение класса NPC (NP-полных задач).

тогда и только тогда, когда:

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

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

Рассмотрим две задачи разрешения, P1 и P2, такие что

• P1 сводится полиномиально по Карпу к 3SAT
• 3SAT сводится полиномиально по Карпу к P2

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

Пусть X — задача из NP. Что верно?

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

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

Выберите верное верное утверждение из списка ниже, если верных вариантов ответа несколько, то выберите наиболее сильный из них: