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