Тест по сложности алгоритмов для 3 курса ИСПРАН — вопросы

Материал из DISCOPAL
Перейти к: навигация, поиск
12345678910
11121314151617181920
21222324252627282930
31323334353637383940
Тест по курсу «Эффективные алгоритмы»

Вариант 1880384336.


Ваше имя*:


Вопрос 1

Является ли разрешимым множество натуральных чисел, не превосходящих :

  1.  Неизвестно, поскольку ответ на этот вопрос следует из истинности\ложности гипотезы Римана;
  2.  Да
  3.  Нет

Вопрос 2

Рассмотрим две задачи разрешения, P1 и P2, такие что

  • P1 сводится полиномиально по Карпу к 3SAT
  • 3SAT сводится полиномиально по Карпу к P2

Что можно утверждать?


  1.  Обе в NP
  2.  P2 в NP, P1 в NP-hard
  3.  Обе в NP-hard
  4.  Все остальные варианты — неверны.
  5.  P1 в NP, P2 в NP-hard

Вопрос 3

Какой класс ошибок допускают алгоритмы решающие задачи из класса PP?

  1.  трехсторонние
  2.  двусторонние
  3.  односторонние
  4.  «PP»-ошибки

Вопрос 4

Пусть задача A — «есть ли цикл в ненаправленном графе». Рассмотрим набор утверждений.


  • (1) Задача A — в P
  • (2) Задача A — в NP
  • (3) Если задача A — NP-полна, то существует НМТ, решающая A за полиномиальное время.

Что верно?

  1.  1 и 3
  2.  Все остальные варианты — неверны.
  3.  2 и 3
  4.  1 и 2
  5.  1, 2 и 3

Вопрос 5

Рассмотрим модификацию задачи «Сумма размеров», разрешим даже отрицательные размеры.

Формально: Даны натуральные числа , , и число B.

Надо узнать, существует ли решение в 0/1 переменных уравнения .

Существует ли полиномиальный алгоритм для этой задачи?

  1.  Нет, полиномиального алгоритма нет
  2.  Полиномиального нет, но есть псевдополиномиальный алгоритм
  3.  Полиномиального нет, но есть квазиполиномиальный алгоритм
  4.  Да, есть полиномиальный алгоритм

Вопрос 6

С какой точностью работает «чисто» жадный алгоритм для задачи о рюкзаке («хватать предметы по убыванию удельной стоимости, пока не кончится место в рюкзаке»)?

  1.  
  2.  3
  3.  
  4.  2
  5.  Этот алгоритм не гарантирует никакой точности решения
  6.  0.878

Вопрос 7

Пусть S — задача из NPC, а Q и R — тоже задачи, но про них известно только, что Q — полиномиально сводиться по Карпу к S, а S — к R.

Что будет верно?

  1.  R — NP-трудная
  2.  Q — NP-трудная
  3.  Q — NP-полная
  4.  R — NP-полная

Вопрос 8

Предположим, открыли полиномиальный алгоритм, вычисляющий наибольшую клику в заданном графе. Что тогда будет, согласно вариантам на картинке?

NPC-GQ08.png


  1.  A
  2.  Все остальные варианты — неверны.
  3.  C
  4.  B
  5.  D

Вопрос 9

Является ли пустое множество разрешимым?

  1.  Нет;
  2.  Да;

Вопрос 10

Какой метод применялся в теме про подсчет выполняющих наборов для ДНФ?

  1.  Вероятностное округление
  2.  Монте-Карло
  3.  Дерандомизация вероятностного округления
  4.  Динамическое программирование
  5.  Полный перебор

Вопрос 11

Существует ли алгоритм, который выписывает одну за другой все машины Тьюринга, которые останавливаются, будучи запущенными на пустой ленте?

  1.  Нет
  2.  Да

Вопрос 12

Что верно для NP-полных и NP-трудных задач:

  1.  Ничего не верно.
  2.  Все варианты, кроме «ничего не верно»
  3.  Первой задачей с доказанной NP-полнотой была CircuitSAT, «the circuit satisfiability problem»
  4.  
  5.  Если мы хотим доказать, что задача X — NP-трудна, мы берем известную NP-полную задачу Y и сводим ее полиномиально по Карпу к X.

Вопрос 13

Какой алгоритм используется в алгоритме Кристофидеса?

  1.  Поиск минимального остовного дерева
  2.  Поиск минимального разреза
  3.  Поиск кратчайших путей
  4.  Рюкзак-оптимальность
  5.  Поиск минимального обхода вершин (TSP)

Вопрос 14

Существует ли биекция между классами и ?

  1.  Да, существует;
  2.  Нет, не существует;
  3.  Ответ на этот вопрос нет, т.к. нам ничего неизвестно про равенство классов и ;

Вопрос 15

Какой прием используется в FPTAS-алгоритме для рюкзака?

  1.  округление коэффициентов
  2.  вероятностное округление
  3.  метод условного спуска
  4.  дерандомизация
  5.  PTAS-апроксимация

Вопрос 16

У языков L1-L4 доказаны следующие полиномиальные сводимости по Карпу: «L1→L2», «L3→L2→L4» Рассмотрим утверждения:

I
Если L4 в P, то L2 в P
II
Если L1 или L3 в P, то L2 в P
III
L1 в P, тогда и только тогда, когда L3 в P
IV
Если L4 в P, то L1 в P и L3 в P.


  1.  Только (I)
  2.  Все остальные варианты — неверны.
  3.  Только (II)
  4.  Только (I) и (IV)
  5.  Только (III)

Вопрос 17

  1.  PP
  2.  coRP
  3.  RP
  4.  coZPP
  5.  PSPACE
  6.  BPP
  7.  ZPP
  8.  NP

Вопрос 18

Найдите неверное утверждение:

  1.  
  2.  
  3.  
  4.  
  5.  
  6.  

Вопрос 19

Вероятностный алгоритм A, который, получая

  • вход I
  • вещественное

за время, полиномиальное от , выдает в качестве выхода , такое, что

называется:

  1.  Полиномиальной рандомизированной аппроксимационной схемой
  2.  Полностью полиномиальной аппроксимационной схемой
  3.  -полной рандомизированной аппроксимационной схемой
  4.  Полностью полиномиальной рандомизированной аппроксимационной схемой

Вопрос 20

Какой алгоритм используется в алгоритме Кристофидеса?

  1.  Поиск максимального разреза
  2.  Рюкзак-выполнимость
  3.  Поиск эйлерова обхода
  4.  Алгоритм Немхаузера-Ульмана
  5.  Поиск кратчайших путей

Вопрос 21

  1.  BPP
  2.  PSPACE
  3.  RP
  4.  NP
  5.  coRP
  6.  coZPP
  7.  ZPP
  8.  PP

Вопрос 22

Выберите верное утверждение


  1.  ;
  2.  ;
  3.  

Вопрос 23

Какой алгоритм используется в алгоритме Кристофидеса?

  1.  Алгоритм Флойда-Уоршелла
  2.  Рюкзак-оптимальность
  3.  Поиск минимального разреза
  4.  Поиск кратчайших путей
  5.  Поиск совершенного паросочетания

Вопрос 24

  1.  RP
  2.  coRP
  3.  PP
  4.  coZPP
  5.  NP
  6.  BPP
  7.  ZPP
  8.  PSPACE

Вопрос 25

Какова точность, гарантируемая гибридным вероятностным алгоритмом из темы про вероятностное округление MAX-SAT?


  1.  
  2.  
  3.  
  4.  
  5.  

Вопрос 26

Формулировка (в виде ЦЛП) какой задачи приведена ниже:

  1.  MAX-SAT
  2.  MIN-SAT
  3.  MAX-CUT
  4.  MIN-CUT
  5.  MAX-3SAT

Вопрос 27

Выберите общепринятое определение класса NPC (NP-полных задач).

тогда и только тогда, когда:

  1.  
  2.  
  3.  
  4.  
  5.  
  6.  
  7.  
  8.  

Вопрос 28

Существует ли алгоритм, который выписывает одну за другой все машины Тьюринга, которые не останавливаются, будучи запущенными на пустой ленте?

  1.  Да
  2.  Нет

Вопрос 29

Выберите корректное утверждение:

  1.  
  2.  
  3.  

Вопрос 30

Найдите неверное утверждение:

  1.  
  2.  
  3.  
  4.  
  5.  
  6.  

Вопрос 31

  1.  coRP
  2.  PP
  3.  NP
  4.  PTAS
  5.  RP
  6.  ZPP
  7.  ALL
  8.  BPP

Вопрос 32

Метод многократного запуска вероятностного алгоритма, с целью уменьшения вероятности ошибки называется:

  1.  «отладка вероятности»
  2.  «дерандомизация»
  3.  «антирандомизация»
  4.  «вероятностная амплификация»

Вопрос 33

Замкнутость по какой из операций выполнена как для разрешимых, так и для перечислимых языков?

  1.  Декартово произведение;
  2.  Разность множеств;
  3.  Дополнение;

Вопрос 34

Сложность алгоритма динамического программирования для задачи о рюкзаке, который «помнит» о наиболее «дорогих» допустимых решениях:

  1.  
  2.  
  3.  
  4.  
  5.  

Вопрос 35

  1.  
  2.  
  3.  
  4.  
  5.  

Вопрос 36

Будет ли класс -полных задач замкнутым относительно сводимости по Карпу, если окажется, что ?

  1.  Да;
  2.  Нет;

Вопрос 37

Для чего применяется «дерандомизация»:

  1.  Построение детерминированных приближенных алгоритмов
  2.  Построение вероятностных алгоритмов, полиномиальных "для почти всех исходных данных"
  3.  Построение вероятностного алгоритма с меняющимися "плохими входами"
  4.  Для оценки снизу возможной точности для данной задачи
  5.  Построение вероятностных алгоритмов, полиномиальных в среднем
  6.  Для оценки сложности в среднем

Вопрос 38

  1.  PSPACE
  2.  BPP
  3.  coRP
  4.  NP
  5.  coZPP
  6.  RP
  7.  ZPP
  8.  PP

Вопрос 39

  1.  RP
  2.  PP
  3.  BPP
  4.  FPTAS
  5.  coRP
  6.  
  7.  coZPP
  8.  ZPP

Вопрос 40

Пусть X — задача из NP. Что верно?

  1.  Все остальные варианты — неверны.
  2.  Если X можно решить за полиномиальное время на ДМТ, то P=NP
  3.  Нет полиномиального алгоритма для X
  4.  X может быть неразрешима
  5.  Если X — NP-hard, то она NP-полная
  6.  X — NP-трудная