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

Материал из DISCOPAL
Перейти к: навигация, поиск
12345678910
Еженедельный по «сложности алгоритмов» для 3 курса ИСПРАН

Вариант 2079789137.


Ваше имя*:


Вопрос 1

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

  1.  Нет;
  2.  Да;

Вопрос 2

Выберите не NP-полную задачу

  1.  TSP-выполнимость
  2.  Вершинное покрытие
  3.  2SAT
  4.  3SAT
  5.  Сумма множеств
  6.  Клика (есть ли в графе клика больше заданной)
  7.  SAT

Вопрос 3

Предположим, разумеется, что Тогда что будет верно?

  1.  
  2.  
  3.  
  4.  

Вопрос 4

Задачи 3SAT и 2SAT:

  1.  Обе NP-полны
  2.  Первая NP-полна и вторая в P.
  3.  Все остальные варианты — неверны.
  4.  Первая неразрешима и вторая — NP-полна.
  5.  Обе в P

Вопрос 5

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

NPC-GQ08.png


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

Вопрос 6

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

Вопрос 7

Возможно ли сконструировать алгоритм , который для произвольной машины Тюринга и входа определит, остановится ли данная М.Т. на заданном входе?

  1.  Да, известно чёткое описание того, как это делать;
  2.  Нет
  3.  Формально да, но никто не знает как именно это сделать (примерно как со вполне упорядочиванием );

Вопрос 8

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

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

Вопрос 9

Пусть сводится по Карпу к . Выберите верное утверждение:

  1.  Если , то ;
  2.  Если , то ;
  3.  Если , то ;

Вопрос 10

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


  1.  ;
  2.  ;
  3.