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

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

Вариант 332651867.


Ваше имя*:


Вопрос 1

С какой точностью работает модифицированный жадный алгоритм для задачи о рюкзаке из соответствующей темы?

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

Вопрос 2

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

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

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

называется:

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

Вопрос 3

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

Вопрос 4

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

Вопрос 5

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

Вопрос 6

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

Вопрос 7

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

NPC-GQ08.png


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

Вопрос 8

  1.  
  2.  
  3.  
  4.  
  5.  

Вопрос 9

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

Вопрос 10

Аню и Колю попросили показать, что задача X — NP-полна. Аня показала полиномиальную сводимость по Карпу от 3SAT к X, а Коля показал полиномиальную сводимость по Карпу от X к 3SAT.

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

  1.  X — NP-полная.
  2.  Все остальные варианты — неверны.
  3.  X — NP-трудная, но не NP-полная.
  4.  X в NP, но не NP-полная.
  5.  X — не NP-полная, и вообще не в NP.

Вопрос 11

Для какой задачи в курсе использовался "метод условных вероятностей" с последовательным определением значения переменных:

  1.  MAX-CUT
  2.  MIN-CUT
  3.  Рюкзак-выполнимость
  4.  MAX-SAT
  5.  TSP
  6.  Рюкзак-оптимизация

Вопрос 12

Паросочетание, это подмножество...


  1.  ребер
  2.  связных подграфов
  3.  вершин
  4.  циклов

Вопрос 13

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

  1.  Нет
  2.  Да

Вопрос 14

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

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

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

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

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

Вопрос 15

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

Вопрос 16

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

  1.  дерандомизация
  2.  динамическое программирование с отбором наиболее легких наборов
  3.  алгоритм Кристофидеса
  4.  жадный алгоритм для рюкзака

Вопрос 17

Рассмотрим пару задач на графах.

P1
Для заданного графа, подтвердить или опровергнуть, что в нем есть цикл, которые посещает однократно все вершины, кроме первой, в которую надо вернутся, чтобы завершить цикл.
P2

Для заданного графа, подтвердить или опровергнуть, что в нем есть цикл, который проходит по каждому ребру точно один раз, без исключений.

  1.  Все остальные варианты — неверны.
  2.  Обе в NPC
  3.  X в NP, но не NP-полная.
  4.  P2 в NPC, P1 в P.
  5.  P1 в NPC, P2 в P.
  6.  Обе в P

Вопрос 18

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

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

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


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

Вопрос 19

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

Вопрос 20

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

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

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

Вопрос 21

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

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

Вопрос 22

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

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

Вопрос 23

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

Вопрос 24

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

  1.  
  2.  
  3.  
  4.  
  5.  

Вопрос 25

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

Вопрос 26

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

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

Вопрос 27

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

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

Вопрос 28

Какое утверждение неверно?

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

Вопрос 29

В работах по теории сложности алгоритм называется полиномиальным в среднем, если для входов длины n и времени работы алгоритма T, выполняется:

  1.  
  2.  
  3.  
  4.  

Вопрос 30

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

  1.  алгоритм Беллмана-Форда
  2.  динамическое программирование с отбором наиболее легких наборов
  3.  метод условного спуска
  4.  алгоритм Немхаузера-Ульмана
  5.  динамическое программирование с отбором наиболее дорогих наборов

Вопрос 31

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

Вопрос 32

Пусть

  • — задача поиска гамильтонового цикла в графе , где V — делиться на 3.
  • — задача подтверждения наличия гамильтонового цикла в таком графе.

Что верно?

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

Вопрос 33

Какова сложность вероятностного алгоритма Фрейвалда для проверки тождества AB=C для матриц  ?

  1.  
  2.  
  3.  
  4.  

Вопрос 34

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

  1.  Нет правильного ответа
  2.  
  3.  
  4.  
  5.  

Вопрос 35

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

Вопрос 36

У языков 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) и (IV)
  2.  Только (III)
  3.  Только (I)
  4.  Только (II)
  5.  Все остальные варианты — неверны.

Вопрос 37

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

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

Вопрос 38

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

  1.  3
  2.  
  3.  
  4.  

Вопрос 39

Множество S является разрешимым, тогда и только тогда, когда существует такая машина Тьюринга T, что:

  1.  , то T останавливается и выводит 1, а если , то T зацикливается
  2.  , то T останавливается и выводит 0
  3.  , то T останавливается и выводит 1
  4.  , то T останавливается и выводит 1, а если , то T останавливается и выводит 0

Вопрос 40

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


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

Что верно?

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