Вариант 997002568.
Пусть X — задача из NP. Что верно?
Выберите верное следствие:
Выберите не NP-полную задачу
Существует ли алгоритм, который выписывает одну за другой все машины Тьюринга, которые останавливаются, будучи запущенными на пустой ленте?
Множество S является разрешимым, тогда и только тогда, когда существует такая машина Тьюринга T, что:
Замкнутость по какой из операций выполнена как для разрешимых, так и для перечислимых языков?
Пусть задача A — «есть ли цикл в ненаправленном графе». Рассмотрим набор утверждений.
Что верно?
Рассмотрим пару задач на графах.
Для заданного графа, подтвердить или опровергнуть, что в нем есть цикл, который проходит по каждому ребру точно один раз, без исключений.
Цикл, проходящий через все вершины графа, называется
Задача 2SAT: