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

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

Вариант 3769544441.

Ваше имя*:

Вопрос 1

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


  1.  Верного ответа нет
  2.  Из сводимости по Карпу следует сводимость по Куку
  3.  Из сводимости по Куку следует сводимость по Карпу

Вопрос 2

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

Вопрос 3

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

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

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

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

Вопрос 4

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

  1.  
  2.  
  3.  

Вопрос 5

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

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

Вопрос 6

Задача 2SAT:

  1.  разрешима за полиномиальное время, но не за константное время.
  2.  разрешима за константное время, т.к. любой вход для такой задачи выполним.
  3.  Все остальные варианты — неверны.
  4.  NP-полна
  5.  NP-трудна, но не NP-полна.

Вопрос 7

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

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

Вопрос 8

Выберите верное верное утверждение из списка ниже, если верных вариантов ответа несколько, то выберите наиболее сильный из них:

  1.  Перечислимые и разрешимые множества никак не пересекаются;
  2.  Из разрешимости множества следует его перечислимость;
  3.  Нет верного ответа;
  4.  Из перечислимости множества следует его разрешимость;

Вопрос 9

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


  1.  
  2.  ;
  3.  ;

Вопрос 10

Гамильтонов цикл в графе:

  1.  проходит через все вершины по одному разу
  2.  проходит через все вершины и ребра по одному разу
  3.  проходит через все ребра по одному разу
Источник — «https://discopal.ispras.ru/Служебная:MediawikiQuizzer/Algs-3-course-ispras-weekly»