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

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

Вариант 278348406.


Ваше имя*:


Вопрос 1

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

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

Вопрос 2

Пусть

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

Что верно?

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

Вопрос 3

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

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

Вопрос 4

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


  1.  ;
  2.  
  3.  ;

Вопрос 5

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

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

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

Вопрос 6

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

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

Вопрос 7

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

NPC-GQ08.png


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

Вопрос 8

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

  1.  
  2.  
  3.  

Вопрос 9

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

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

Вопрос 10

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

  1.  Да
  2.  Нет