Вариант 3027623340.
Аню и Колю попросили показать, что задача X — NP-полна. Аня показала полиномиальную сводимость по Карпу от 3SAT к X, а Коля показал полиномиальную сводимость по Карпу от X к 3SAT.
Что можно утверждать?
Множество S является разрешимым, тогда и только тогда, когда существует такая машина Тьюринга T, что:
Гамильтонов цикл в графе:
Будет ли класс -полных задач замкнутым относительно сводимости по Карпу, если окажется, что ?
У языков L1-L4 доказаны следующие полиномиальные сводимости по Карпу: «L1→L2», «L3→L2→L4» Рассмотрим утверждения:
Пусть X — задача из NP. Что верно?
Предположим, разумеется, что Тогда что будет верно?
Является ли конкатенация двух разрешимых языков перечислимой?
Задачи 3SAT и 2SAT:
Выберите верное утверждение