Вариант 2991371658.
Аню и Колю попросили показать, что задача X — NP-полна. Аня показала полиномиальную сводимость по Карпу от 3SAT к X, а Коля показал полиномиальную сводимость по Карпу от X к 3SAT.
Что можно утверждать?
Рассмотрим пару задач на графах.
Для заданного графа, подтвердить или опровергнуть, что в нем есть цикл, который проходит по каждому ребру точно один раз, без исключений.
Замкнутость по какой из операций выполнена как для разрешимых, так и для перечислимых языков?
Вероятностный алгоритм A, который, получая
за время, полиномиальное от , выдает в качестве выхода , такое, что
называется:
Цикл, проходящий через все ребра графа по одному разу, называется
Какой класс ошибок допускают алгоритмы решающие задачи из класса BPP?
Для чего применяется «дерандомизация»:
Существует ли алгоритм, который выписывает одну за другой все машины Тьюринга, которые останавливаются, будучи запущенными на пустой ленте?
Пусть задача A — «есть ли цикл в ненаправленном графе». Рассмотрим набор утверждений.
Что верно?
Какой алгоритм используется в рассмотренных FPTAS-алгоритмах для рюкзака?
Предположим, открыли полиномиальный алгоритм, вычисляющий наибольшую клику в заданном графе. Что тогда будет, согласно вариантам на картинке?
Рассмотрим две задачи разрешения, P1 и P2, такие что
Задачи 3SAT и 2SAT:
Выберите корректное утверждение:
Выберите верное верное утверждение из списка ниже, если верных вариантов ответа несколько, то выберите наиболее сильный из них:
Возможно ли сконструировать алгоритм , который для произвольной машины Тюринга и входа определит, остановится ли данная М.Т. на заданном входе?
С какой точностью работает модифицированный жадный алгоритм для задачи о рюкзаке из соответствующей темы?
Какова точность, гарантируемая жадным алгоритмом в задаче о k-покрытии?
Какие из подходов к решению вычислительно трудных задач изучались в курсе?
С какой точностью работает «чисто» жадный алгоритм для задачи о рюкзаке («хватать предметы по убыванию удельной стоимости, пока не кончится место в рюкзаке»)?
Какова точность, гарантируемая жадным алгоритмом в задаче о покрытии?
Пусть S — задача из NPC, а Q и R — тоже задачи, но про них известно только, что Q — полиномиально сводиться по Карпу к S, а S — к R.
Что будет верно?
Выберите верное утверждение
Какой прием используется в FPTAS-алгоритме для рюкзака?
Найдите неверное утверждение:
Какой метод применялся в теме про подсчет выполняющих наборов для ДНФ?
Какова точность, гарантируемая гибридным вероятностным алгоритмом из темы про вероятностное округление MAX-SAT?
Предположим, разумеется, что Тогда что будет верно?
Задача 2SAT:
Какое утверждение неверно?
Какова наилучшая сложность алгоритма из темы про FPTAS-алгоритмы для рюкзака?
Рассмотрим модификацию задачи «Сумма размеров», разрешим даже отрицательные размеры.
Формально: Даны натуральные числа , , и число B.
Надо узнать, существует ли решение в 0/1 переменных уравнения .
Существует ли полиномиальный алгоритм для этой задачи?
Какова сложность вероятностного алгоритма Фрейвалда для проверки тождества AB=C для матриц ?
В работах по теории сложности алгоритм называется полиномиальным в среднем, если для входов длины n и времени работы алгоритма T, выполняется:
Какой алгоритм используется в алгоритме Кристофидеса?
Сложность алгоритма динамического программирования для задачи о рюкзаке, который «помнит» о наиболее «дорогих» допустимых решениях:
Является ли пустое множество разрешимым?
Паросочетание, покрывающее все вершины графа, называется
Для какой задачи в курсе использовался "метод условных вероятностей" с последовательным определением значения переменных:
Пусть сводится по Карпу к . Выберите верное утверждение:
Какой класс ошибок допускают алгоритмы решающие задачи из класса PP?
Метод многократного запуска вероятностного алгоритма, с целью уменьшения вероятности ошибки называется:
Паросочетание, это подмножество...
Какой алгоритм используется только в лучшем из рассмотренных в теме FPTAS-алгоритмов для рюкзака?
Выберите верное следствие:
Для чего применяется «метод условных вероятностей»:
Выберите общепринятое определение класса NPC (NP-полных задач).
тогда и только тогда, когда:
Формулировка (в виде ЦЛП) какой задачи приведена ниже:
Существует ли алгоритм, который выписывает одну за другой все машины Тьюринга, которые не останавливаются, будучи запущенными на пустой ленте?
Выберите не NP-полную задачу
Является ли конкатенация двух разрешимых языков перечислимой?
Существует ли биекция между классами и ?
Пусть X — задача из NP. Что верно?
Является ли разрешимым множество натуральных чисел, не превосходящих :
Какой класс ошибок допускают алгоритмы решающие задачи из класса ZPP?
У языков L1-L4 доказаны следующие полиномиальные сводимости по Карпу: «L1→L2», «L3→L2→L4» Рассмотрим утверждения:
Что верно для NP-полных и NP-трудных задач:
Будет ли класс -полных задач замкнутым относительно сводимости по Карпу, если окажется, что ?
Множество S является разрешимым, тогда и только тогда, когда существует такая машина Тьюринга T, что:
Вероятностные «zero-error»-алгоритмы: