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