Вариант 1863811501.
Выберите корректное утверждение:
Задача 2SAT:
Предположим, разумеется, что Тогда что будет верно?
Существует ли алгоритм, который выписывает одну за другой все машины Тьюринга, которые не останавливаются, будучи запущенными на пустой ленте?
Пусть S — задача из NPC, а Q и R — тоже задачи, но про них известно только, что Q — полиномиально сводиться по Карпу к S, а S — к R.
Что будет верно?
Цикл, проходящий через все вершины графа, называется
Будет ли класс -полных задач замкнутым относительно сводимости по Карпу, если окажется, что ?